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進行反饋。
