-
零知識證明與區塊鏈擴展
因此，在深入研究可擴展性解決方案之前，我們需要對零知識證明技術有個基本的了解。零知識證明（簡稱 ZK）是密碼學的分支，是區塊鏈社區近年來追逐的熱點之一。通過零知識證明，一方（證明者）可以向另一方（驗證者）證明他擁有一些知識，但是無需透露知識本身及其它可以用來破解這些知識的信息。
-
Tokamak Network正全力投入零知識證明研發
一年一度的ETHCON KOREA 2020於上周末舉行，Tokamak Network受邀於19日下午進行了兩場主題演講，為Tokamak Network這個按需的Layer2平臺劃出重要知識點——技術團隊目前正全力投入，推動研發下一代安全技術——零知識證明。
-
區塊鏈零知識證明運用的原理是怎樣的
打開APP 區塊鏈零知識證明運用的原理是怎樣的 挖鏈網 發表於 2019-09-27 14:40:11 什麼是零知識證明？
-
雲中「秘密」:構建非交互式零知識證明——探索零知識證明系列(五...
系列一：初識「零知識」與「證明」系列二：理解「模擬」系列三：尋找「知識」系列四：隨機「挑戰」追到這裡的讀者想必已對零知識證明有了一個大概的認識。你是否想過這個問題：零知識證明為何可行？因為驗證者直接可以在多項式時間內根據「輸出」求解出「秘密輸入」，雖然驗證者能夠求解，但是「證明」本身並沒有額外為驗證者提供更多的「知識」。換句話說，不需要證明者出示證明，驗證者就知道命題為真，於是證明過程也是零知識的。因此，當我們討論「零知識證明」時，要考慮帶「知識」的 NP 類問題。
-
一文看懂可驗證隨機函數VRF | 小明學習筆記
在 BFTF 的分享沙龍上，黃祺解釋，可驗證隨機函數可以看作是一個隨機預言機（Random Oracle，RO），就是可以通過任意的一個輸入，獲得一個隨機數輸出。可驗證隨機函數比隨機預言機多了一個非交互的零知識證明，可以用來該隨機數輸出的正確性，表明這個隨機數的確是某個人生成的。
-
從GB到KB,零知識證明如何打造簡潔的區塊鏈?
他在文章中通過簡單的描述說明了零知識證明對區塊鏈可擴展性的意義。很多人都寫過關於零知識證明（ZKP）的技術文章。我最近也在文章中對比了新的通用zk-SNARKs。我發現科普ZKP應用的文章很少。ZKP的用途不僅僅是保護隱私，其功能多樣，可以重新定義區塊鏈的運作方式。
-
區塊鏈研習 | 詳解零知識證明的四大基礎技術,如何與以太坊發生反應
B) 簡單隨機抽樣驗證者會選擇一個私密評估點 s 來將多項式乘法和驗證多項式函數相等的問題簡化成簡單乘法和驗證等式 t(s)h(s) = w(s)v(s) 的問題。這樣做不但可以減小證明的大小，還可以大量地減少驗證所需的時間。
-
一文了解零知識證明:背景與起源
和以往的課程不同的是，今年的課程新添加了一個章節，叫做零知識證明。萌萌的Dan和他的大神phd Ben Fisch給我們輪流上課，花了兩周時間講完了零知識的起源、概念和zkSNARK的實現。這兩天考完期末考試，複習的過程中在腦海中再三回味整堂課，覺得最精彩的部分還是零知識證明。想著最近趁著假期總結一下，分享給大家。
-
DeFi中的預言機是什麼 新發布的零知識證明預言機Zoracles又有什麼...
Zoracles新發布的零知識證明預言機區塊鏈領域技術進步飛速，其中的大熱的預言機項目自然也是如此。雖然預言機能夠促進交易數據和智能合約之間的連接，但目前這些主流的預言機很少能夠提供隱私保證，用於保護來自數據源的信息流，從而去減少預言機操縱的風險。
-
Chainlink 可驗證隨機函數詳解
我們正式宣布上線Chainlink可驗證隨機函數（下文稱Chainlink VRF），開發者可以用這個工具生成隨機數，並在鏈上進行驗證。Chainlink VRF將為眾多優秀的智能合約項目帶來巨大價值，尤其能證明智能合約使用的隨機數不可被篡改和操控。
-
Comunion 區塊鏈深度學習系列｜零知識證明原理
在引入零知識證明是什麼的時候？我們通過一個例子一起來摸索一下。使用紅、黃、藍（r，y，b）三種顏色對下圖中的點著色，使得任意兩個相連的點的顏色不一樣？首先這個問題肯定是可解的，下圖是其中一種著色結果。在這裡會用到零知識證明的知識，即證明的時候不透露最終結果。比如：將紅色變成藍色，將藍色變成黃色，將黃色變成紅色。
-
全球首個基於EOS的形式化驗證項目正式落地
2019年9月23日，Starteos與電子科技大學共建的區塊鏈技術研究與應用聯合實驗室開展「 全球首個基於EOS智能合約的形式化驗證」項目驗收及成果匯報工作。歷時一年零5個月，在數十名電子科技大學的博士生導師、博士研究生夜以繼日的努力之下，項目克服種種技術難關正式落地。
-
zero-knowledge proof 零知識證明是什麼?|金色百科
金色財經-區塊鏈12月13日消息 zero-knowledge proof，中文名為零知識證明，是零幣(Zcoin)使用的共識算法，由S.Goldwasser、S.Micali及C.Rackoff在20世紀80年代初提出的。它指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。
-
零知識證明(Zero-Knowledge Proof)原理詳解:非交互式證明實現自動...
老錢覺得原文是零知識證明方面寫的最好最接地氣的科普類的文章。所以想要翻譯一下，順便在原文基礎上加上一些自己的解讀。想要了解零知識證明，或者匿名性極強的區塊鏈加密貨幣ZCash的朋友不妨讀一讀。小明，小紅，小剛三個好朋友很喜歡玩數獨。平日裡他們三個也會互相出題給對方做。有時候他們會出一些非常變態的數獨題互相挑戰。
-
零知識證明(ZKPs)關於區塊鏈技術保護隱私成新熱點
密碼學裡的零知識證明成為了區塊鏈隱私的發展趨勢，它更能消除企業在區塊鏈應用實景中在隱私方面的後顧之憂。 什麼是零知識證明零知識證明（ZKPs）並非新鮮事物。他們的概念初見於1985年的論文「互動證明系統的知識複雜性」。
-
什麼是可驗證隨機函數VRF
在基於 POW 共識的區塊鏈系統中，礦工通過不斷的嘗試來計算得出一個隨機數，若能使得這個隨機數小於指定的難度值便可獲得記帳權。有沒有可能在沒有挖礦的前提下，生成一個全網可驗證的隨機數呢？VRF 就是幹這個事兒的。VRF 全稱可驗證的隨機函數(verifiable random function)，可以說是哈希函數與非對稱加密結合的產物。
-
基於阿里雲原生構建遷移即服務
遷移可驗證，失敗可回退為了保障遷移後的穩定性，在正式將業務切換到雲平臺前，需要進行必要的驗證工作。驗證過程中，不能影響原有業務的運行狀態。如果遷移失敗，需要快速的將系統回滾至原有系統。第四步：對修復好的磁碟再次進行快照，重組用於啟動的遷移主機鏡像。第五步：進行主機啟動，完成遷移驗證或啟動流程。用戶可以登錄修復後的主機，進行驗證。此時，源端主機仍然處於運行狀態。
-
「區塊鏈知識講堂」零知識證明（ZKP, Zero Knowledge Proofs）
前言：零知識證明是一種特殊的交互式證明，其中證明者知道問題的答案，他需要向驗證者證明「他知道答案」這一事實，但是要求驗證者不能獲得答案的任何信息。「零知識」就是這樣一個熱詞，受盡追捧。可太過受歡迎也未必是件好事，俗話說，人怕出名豬怕壯，因為「零知識」的概念如此吸引眼球，以至於導致了許多的錯誤理解和誤用。許多人將零知識和「非常非常安全」劃上了等號，還將它與加密系統或匿名網絡聯繫起來——這些東西實上與真正的零知識協議毫無關係。零知識證明是密碼學家設計出來的最強大的工具之一，但同時，理解它的人也不多。
-
比特幣如何將安全性、隱私性與零知識證明結合
所以如果我們可以判斷交易帳戶的個人信息，則他們交易的比特幣就是可追蹤的。使用假名是一種折中的方法，使得系統足夠私密，讓個人感到安全，同時留下不可改變的證據線索，如果出現問題可以遵循。但有些加密貨幣對比特幣的假名交易隱私級別並不滿意，於是他們採用匿名交易的加密技術被稱為「零知識證明
-
淺談零知識證明之二:簡短無交互證明(SNARK)
第三步：轉換為可證明數學運算電路當我們有了數字運算電路這個概念之後，我們就可以把不同的電路模塊拼接起來，生成一個可以用作證明的運算電路出來。驗證算法Verify：驗證算法也非常的直白，驗證方會用Verify這個算法驗證我們收到的證明。這個算法會返回一個1/0的數值，代表驗證是否通過。驗證的過程中除了需要對方提供的證明，我們還需要預處理數據，還有公有輸入x。