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