• <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>
     找回密碼
     立即注冊

    掃一掃,登錄網站

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

    零知識證明:區塊鏈隱私保護利器

    2018-7-21 05:58

    來源: 簡書 作者: 哈希未來

    區塊鏈中的零知識證明應用


    區塊鏈上的交易中,如比特幣以太坊網絡網絡,除了使用地址來替換交易雙方的真實身份,使得交易具有部分匿名性以外,發送、接收地址和金額都是已知的,別人有可能通過網絡上的各種信息、和現實世界發生的交互記錄等將比特幣地址和真實身份對應起來,也因此具有隱私暴露的隱患。

    Zerocoin設計了一種全新的思路,無法通過交易歷史分析來獲得用戶真實身份。

    Zerocoin里需要消耗一定價值的要交易的貨幣,以生成具有獨特序列號的一枚零幣。零知識證明可以在不透露花費了具體哪個貨幣的基礎上,驗證出你的確花了這筆錢。為了將這筆錢轉給他人,邏輯上需要我們使得這枚零幣不能再被別人花費,零幣的辦法是大家共同維護一個作廢列表,存著所有已經花費的零幣的序列號。

    礦工在驗證這筆花費交易時運用零知識證明的方法,不需要知道具體花掉哪一個零幣,也可以驗證零幣的序列號是否在作廢列表里。由于花費交易并沒有輸入地址和簽名的信息,整個交易過程中,礦工也并不知道這個零幣的來源,因此也就難以對交易歷史進行分析而獲取用戶身份。 

    在零幣里,交易的金額是可以知道的,而采用zkSNARKs技術的Zerocash連交易金額都可以隱密,賬本唯一公開記錄的唯一內容就是交易的存在性。可以證明對于NP中的所有問題存在zkSNARKs。它引入了多項創新技術,使它們可以在區塊鏈中使用。最重要的是,zkSNARKs減少了證明的大小和驗證它們所需的計算量。它的過程可以簡述為。

    1. 將要驗證的程序拆解成一個個邏輯上的驗證步驟,將這些邏輯上的步驟拆解成由加減乘除構成的算數電路。

    2.通過一系列的變換將需要驗證的程序轉換成驗證多項式乘積是相等的,如證明t(x)h(x)= w(x)v(x)。

    3.為了使得證明更加簡潔,驗證者預先隨機選擇幾個檢查點s,檢查在這幾個點上的等式是否成立。

    4.通過同態編碼/加密的方式使得驗證者在計算等式時不知道實際的輸入數值,但是仍能進行驗證。

    5.在等式左右兩邊可以同時乘上一個不為0的保密的數值k,那么在驗證(t(s)h(s)k)等于(w(s)v(s)k)時,就無法知道具體的t(s)、h(s)、w(s)、v(s),因此可以使得信息得到保護。

    不同于Zerocoin的密碼學原語RSA累加器,zkSNARKs技術較新,未經廣泛驗證,存在風險,同時由于更強的匿名性,Zerocash的漏洞也更難發現,和Zerocoin相比,Zerocash由于交易金額信息也是未知的,所以如果有攻擊者無限制地發行零鈔,這樣的情況是無法檢測的。

    除此以外Zerocoin 和Zerocash均需要提前內置生成參數,用戶在使用這些網絡的時候必須信任這些參數沒有被泄露,但是一旦這些參數被泄露,整個網絡將面臨毀滅性打擊。復雜的信任設置使得Zerocash存在爭議,即使他們設計了一套“儀式”(例如錄下砸壞存有密鑰電腦的過程)來證明自己。

    可能的解決辦法包括利用像英特爾SGX和ARM TrustZone這樣的現代“可信執行環境”。就英特爾的SGX技術而言,即使應用程序、操作系統、BIOS或VMM遭到了破壞,私鑰也是安全的。除此以外,最新提出的zkSTARKs技術不需要進行信任設置。

    根據zkSTARKs白皮書中所述,zkSTARKs是首次實現既可以不依賴任何信任設置來完成區塊鏈驗證,同時計算速度隨著計算數據量的增加而指數級加速的系統。它不依賴公鑰密碼系統,更簡單的假設使得它理論上更安全,因為它唯一的加密假設是散列函數(如SHA2)是不可預測的(這一假設也是比特幣挖掘穩定性的基礎),因此也使其具有抗量子性。作為一種新穎的技術,和zkSTARKs一樣,它也需要經過時間的檢驗。

    參考文獻

    1. Zcoin中文社區,《Zcoin和Zcash: 相似性和不同處》.http://www.zcoinchina.org/zcoin-and-zcash/

    2.  Zcash團隊,《What are zk-SNARKs?》https://z.cash/technology/zksnarks.html.

    3. 零幣技術白皮書《一種通過使用零幣協議(zerocoin protocol)來保障賬務隱私的加密貨幣

    4. Christian Reitwiessner,《zkSNARKs in a nutshell》,https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/

    5. Matthew Green,《Zero Knowledge Proofs: An illustrated primer》,https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/

    6. 老錢,《一個數獨引發的慘案:零知識證明(Zero-Knowledge Proof)》,http://www.sohu.com/a/224915382_117959
    版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。
    123
    相關新聞
    發表評論

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

      回頂部
    • <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>
      妖精视频