• <option id="cacee"><noscript id="cacee"></noscript></option>
  • <table id="cacee"><noscript id="cacee"></noscript></table>
  • <td id="cacee"></td>
  • <option id="cacee"></option>
  • <table id="cacee"></table>
  • <option id="cacee"><option id="cacee"></option></option>
  • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
    <option id="cacee"><option id="cacee"></option></option>
     找回密碼
     立即注冊

    掃一掃,登錄網站

    首頁 百科 查看內容
    • 15905
    • 0
    • 分享到

    學術向 | 深入淺出zkSNARKs

    2019-2-9 16:14

    來源: 格密鏈

    Witness preserving


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

    請先 注冊/登錄 后參與評論

      回頂部
    • <option id="cacee"><noscript id="cacee"></noscript></option>
    • <table id="cacee"><noscript id="cacee"></noscript></table>
    • <td id="cacee"></td>
    • <option id="cacee"></option>
    • <table id="cacee"></table>
    • <option id="cacee"><option id="cacee"></option></option>
    • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
      <option id="cacee"><option id="cacee"></option></option>
      妖精视频