ARTH:從簡單和實用出發，一文讀懂零知識證明_EARTHSHIB價格

作者：benlaw.eth

你之前是否閱讀過一些零知識證明的文章，但仍一頭霧水？這些文章可能：

只以故事和童話作例子來論述ZKP，無法深入其本質。

內含大量密碼學術語，數學公式，學術論文等，對初學者而言過于復雜。

本文提供了對ZKP簡明扼要的概述，并從數學、密碼學和編程角度進一步闡述ZKP的核心要素。

向色盲提供顏色證明

如何向色盲患者證明兩個球的顏色確實是不同的？這其實并不復雜：

讓他在手里握住兩個球，背到背后，然后隨機選擇交換或不交換兩個球的位置，再展示給你看，你告訴他這兩個球的位置是否有變化。

在他看來，你可以通過瞎蒙來完成一次證明。不過，如果成千上萬次地重復這個過程：如果你總是能說出正確答案，那么靠純蒙的方式來保持一直正確的概率，是小到可以忽略的。因此可以通過這種方式來向色盲患者證明：兩個球的顏色確實不一樣，并且我們也有感知和區分的能力。

Tim Beiko：最新一次以太坊核心開發者執行會議決定將推遲發布Devnet #8:8月4日消息，以太坊核心開發者 Tim Beiko 在 Discord 中總結最新一次以太坊核心開發者執行會議。其中，開發者同意繼續使用帶有系統寫入交易的常規合約，而非預編譯。在周一的測試調用之前，開發者將嘗試：（1）商定部署方案（作為分叉的一部分或在分叉前手動部署）；（2）商定第一個要使用的合約實現；（3）向 4788 規范提交一份反映此情況的 PR。一旦開發者就合約達成一致，將啟動審計 / 正式驗證流程。

本次會議決定將推遲發布 Devnet #8，直到實現了新的 4788 規范。關于 EIP-6780，將繼續合并添加對 EIP-6780 的說明。關于 Engine API，同意將 blobGasUsed 與 blobGasPrice 添加到 4844 交易的收據中。開發者還將修改該 PR，提及 Dencun 升級必須使用 forkChoiceUpdateV3，然后將其合并到「澄清早期 API 對 Cancun payloads 的處理；重新排序檢查 #426」中。關于大型驗證器測試網，EF 開發團隊啟動了一個擁有 210 萬個驗證器的開發網，客戶端分布與主網類似，將與客戶端團隊合作，在 Holesky 啟動前檢查并修復關于最終確認（finalization）與區塊 Gossip 問題。Holesky 計劃擁有約 150 萬個驗證器。

此外，開發者還介紹并討論了兩個賬戶抽象 EIP 提案，即 EIP 5806 與 7377。Guillaume Ballet 與 josh rudolf 介紹了關于 Verkle 的最新情況。[2023/8/4 16:17:55]

顏色證明

2023年第二季度，火幣銷毀1,950,555枚HT:金色財經報道，火幣發布2023年Q2 HT銷毀數據。2023年第二季度，火幣銷毀1,950,555枚HT。截至2023年7月15日，共計銷毀298,940,224枚HT。本季度循環通貨緊縮率為0.9066%。當前流通量：159,153,756枚HT。現有供應量：201,050,000枚HT。[2023/7/16 10:57:32]

上述證明過程是典型的零知識證明：

驗證者無法在證明過程中獲得任何關于顏色的知識，因為經過驗證過程后他依然沒有區分顏色的能力。

該驗證過程是概率性的而非決定性的。

該過程是交互式的，需要多輪交互。不過，零知識證明中也有許多協議，通過高級技巧將證明過程轉化成了非互動式的。

掌握知識的證明

我們已經分享了一種現實世界中的零知識證明的例子，接下來再來看一下在二進制世界中如何實現零知識證明。

Arthur是Elon的朋友，并且知道對方的手機號。Betty不知道Elon的號碼。如果Arthur想要向Betty證明他知道，但又不想泄露號碼，應該怎么實現呢？

MicroStrategy：支持FASB提議的加密貨幣會計規則:金色財經報道，MicroStrategy 周一表示，它支持財務會計標準委員會（FASB）的一項提議，該提議允許公司對其資產負債表上持有的加密貨幣使用公允價值會計。按照 FASB 的建議，在公允價值模型下報告加密資產持有量，將使我們能夠為投資者提供更相關的財務狀況和我們持有的比特幣經濟價值的觀點，這反過來將促進投資者的能力做出明智的投資和資本配置決策。

FASB 去年對該提案進行了表決，目前正處于公眾意見征詢期。[2023/5/23 15:19:39]

知識證明

一種不成熟的方案是，Elon發布自己電話號碼的哈希，Arthur通過一個程序輸入哈希的原像，程序進行運算并檢查結果。這個方法有一些致命的缺陷：

根據哈希，Betty可以通過暴力破解的方式得到原像，能破解出來的概率是不可忽略的，而且得到的結果幾乎是確定性的。

Arthur必須向該程序輸入原像。如果程序在Arthur的電腦上，Betty就會對此有疑問：我怎么知道你有沒有作弊，你的電腦也許會一直聲稱你的證明是對的？

微信支付正式加入數字人民幣受理網絡:金色財經報道，數字人民幣App（試點版）“錢包快付管理”中的“支付平臺”已于3月4日新增“微信支付”。此前，支付寶已支持。財付通的《數字人民幣錢包快付支付平臺服務協議》顯示，用戶可通過微信支付服務頁面跳轉至數字人民幣應用申請開通相應數字人民幣運營機構的錢包快付功能，也可通過數字人民幣應用錢包快付功能頁面選擇“支付平臺”進行開通。在微信錢包中，點擊“數字人民幣”進入后，也可添加任意運營機構錢包快付。[2023/3/6 12:44:25]

如果程序在Betty的電腦上運行，Arthur也會擔心，自己輸入的信息會不會被竊取，即使程序肉眼可見的代碼中并沒有竊取信息的命令。

因為無法將程序分開在不同的環境中運行，這個信任問題是難以解決的。

常規的方法在這里碰壁了，是時候讓零知識證明出場了！

基于密碼學的零知識證明的實現方案

在此我會用零知識證明中的SigmaProtocol來解決問題，因為它比較簡單。并且，為了簡潔和易于理解，這里不會使用嚴格的密碼學和數學中的定義、術語及推導過程等。

Azuki空投項目Beanz Official地板價升至1.9 ETH:金色財經報道，Azuki空投NFT項目Beanz Official地板價升至1.9 ETH，24小時漲幅達31%，24小時交易量達2113.76 ETH，漲幅達165%。當前項目總市值達51713.24 ETH。[2023/1/5 10:22:58]

核心流程

使用零知識證明證明一個人有特定的知識，我們采取如下辦法：

Sigma協議

定義一個P階的有限群及其生成元g。我們可以暫時忽略這些奇怪的名詞具體什么意思。

根據上面的定義，某個擁有知識或能接觸到知識的第三方，將知識通過h=g^w(modP)的方式加密后，將h發布出去。

證明者啟動零知識證明流程。生成一個隨機數r，計算a=g^r，并將a發送給驗證者。

驗證者生成一個隨機數e并發送給證明者。

證明者計算z=r+ew并發送給驗證者。

驗證者檢查g^z==a·h^e(modP)。如果為真，則驗證者確實掌握其聲稱的知識。

好啦，該證明協議到此就結束了！非常簡短，但你仍可能對上面的一些數學運算感到困惑，但這不要緊，我們先有個大概印象再深入理解。

數學原理

這套流程背后的核心數學原理是離散對數難題：當P是一個很大的質數時，對于給定的h，很難找到滿足h=g^w(modP)的w。該原理適用于上面所有類似的式子。

我們來一步一步解析下：

經過加密的知識h=g^w(modP)，是難以被暴力破解的。由于求余運算的特點，即使被破解了也不具備單一確定解。這意味著對證明者而言，通過暴力破解來作弊，欺騙驗證者，是不可行的。

然后我們將3，4，5步作為一個整體來看一下他們為什么要交換這些隨機數：

I.證明者并不想暴露其秘密，所以他必須用隨機數包裹一下將其隱藏起來。而驗證者也需要通過添加一些隨機數，讓該知識可被自己驗證的同時防止證明者作弊，而且不會窺探到證明者的秘密。

II.如果驗證者先發送了隨機數e，很明顯，證明者可以通過編造a=g^z·h^-e來在最終檢查中欺騙驗證者，即使沒有知識也可以通過。所以證明者必須先手發送一個承諾(a=g^r)，但非r本身，來避免可作弊場景，同時不讓驗證者通過w=(z-r)/e提取到秘密。

III.在收到承諾后，驗證者向證明者發送隨機數e。由于其本身或者其衍生物無法泄露任何一方的信息，這個數不需要加密。之后證明者計算z=r+ew并將z發送給驗證者。驗證者最終通過檢查g^z=g^(r+ew)=g^r·(gw)^e=a·h^e來確定證明者是否掌握知識。

通過這種往返交錯的結構，我們收獲了三個性質：

完備性:當且僅當證明者輸入正確知識，驗證才能通過。

可靠性:當且僅當證明者輸入錯誤知識，驗證才會失敗。

零知識性:驗證者無法在驗證過程中獲取任何知識。

上述三點即零知識證明的核心特性。通過數學和密碼學，我們構建出了一套光怪陸離的證明體系。恭喜你一路走了這么遠，現在應該已經可以說正式邁入了富麗堂皇又奧妙無窮的ZKP圣殿。

Havefun!

進一步了解

模擬器和零知識性

我們現在來考慮一些魔幻場景。如果一個證明者具有預言或篡改驗證者生成的隨機數的超能力，我們稱其為模擬器。

模擬器vs驗證者

設想，模擬器在驗證者的隨機數e生成前就對其進行了篡改，確保其生成后是自己預設的值。根據上面II所說，這種能力使模擬器能編造承諾a來欺騙驗證者。不論模擬器的輸入是什么，驗證者總會得出結論模擬器具有知識，然而實際上他并沒有。

顯然，經過這種思想實驗我們可以得出結論，驗證者無法在該零知識證明協議中獲取任何知識，也即其零知識性是成立的：

零知識性<==?模擬器S，使得S(x)與真實的協議執行不可區分，其中S(x)：選擇隨機的z和e，令a=g^z·h^-e，其中(a,e,z)的分布與真實的隨機數環境一致并滿足g^z=a·h^e。

抽取器和可靠性

再來想象一下另一種超能力者——抽取器，具有時光倒流的能力。不過這次是抽取器作為驗證者，面對一個正常的證明者。

當協議結束時，抽取器發起時間倒流，回到協議的起點，并持有上一輪得到的(z,e,a)。現在，協議重新執行一遍。由于證明者沒有超能力無法進行時間旅行只能在固定的時間線上做確定的事，他又生成了一個一模一樣的隨機數r以及承諾a=g^r，而抽取器則可以生成新的隨機數e'給證明者。

證明者vs抽取器

現在，抽取器獲得了：g^z=a·h^e,g^z'=a·h^e=>g^(z-z')=h(e-e')=>加密后的知識h=g^((z-z')/(e-e'))=>知識w=(z-z')/(e-e').

顯然，只要證明者真的掌握了知識，抽取器總是可以將其抽取出來，也即完備性成立：完備性<==?抽取器E，對給定的任何h，在掌握(a,e,z),(a,e',z')且e≠e'的情況下，都能輸出ws.t.(h,w)∈R.

完備性

完備性不需要任何特殊角色來證明，因為：g^z=g^r+ew=g^r·(g^w)^e=a·h^e.

Tags：數字人HURRTHARTH數字人民幣20元紅包怎么支付不了CHURCH幣ARTHUREARTHSHIB價格

Gate.io