從這個例子中你可以看出還原函數只定義了如何轉換輸入,但是當你仔細看的時候(或者閱讀完如何完成一個可用的還原證據之后)你就會知道如何將一個可用 witness 和 輸入一起轉換。在我們的例子中,我們只定義了如何將函數轉換為多項式,但是不知道如何將我們解釋的證據轉換成滿足賦值的 witness。這個 witness 在同一時間轉換對于交易來說不是必要的,但是通常都會包含。而這對于 zkSNARKs 來說是至關重要的,因為對于證明者來說他唯一的任務就是讓驗證者相信有這樣一個 witness 存在,并且還不會暴露任何有關 witness 的信息。
(未完待續)
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。