3.零知識證明
ZCash采用了名為zk-SNARK的零知識證明技術,來保證交易的發送者、接受者和交易金額的機密性。
在ZCash里,發送者通過向全網廣播承諾(commitment)和廢棄值(nullifier)來進行轉賬交易。zk-SNARK用于向網絡證明承諾和廢棄值的合法性,同時又不揭露發送者的身份。
zk-SNARK具有兩個特點:簡潔性(Succinct),即驗證者只需要少量計算就可以完成驗證;非交互性(Noninteractive),即證明者和驗證者只需要交換少量的信息即可。
zk-SNARK可以證明所有的多項式驗證問題。它提供了一個系統化的方法,可以把任何驗證程序轉化成一個名為 Quadratic Span Program (QSP)的多項式驗證問題。
因此,任意復雜的驗證問題都可以由zk-SNARK來證明。zk-SNARK的缺點在于計算驗證數據時,需要一定的計算量。此外,zk-SNARK還有一個初始參數設置階段,來生成一個“絕對機密”的隨機信息。使用這些初始化的隨機信息可以欺騙驗證者,因此需要保證該過程的絕對機密與安全。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。