Vitalik 說，讓 ZK 證明“易於理解”對於以太坊來說是必要的

以太坊聯合創始人 Vitalik Buterin 於 26 月 XNUMX 日在推特上表示，讓人們“可以理解和訪問”零知識證明 (ZKP) 是保持以太坊生態系統對沒有數學學位的人“開放和歡迎”的必要條件。

ZKP 因其複雜性而通常被稱為“月球數學”。

我很高興以太坊擁有如此強大的文化，努力讓我們所有的月球數學盡可能地被人們理解和理解。 https://t.co/o9n2Xms4Zw

-vitalik.eth（@VitalikButerin） 2022 年 10 月 26 日

Buterin 補充說：“去中心化需要不要放棄並揮舞著博士學位說“這是一個黑匣子，我們很聰明，相信我們”。

Scroll，一種零知識第 2 層以太坊擴展解決方案，在 博客 多項式承諾方案是幾個 ZKP 的關鍵部分，如何工作以及它們如何幫助擴展以太坊。

多項式是表示兩個以上代數項的數學表達式。 根據 Scroll 博客，多項式可以幫助有效地表示大數據。

承諾方案是一種加密協議，其中一個人承諾一條消息並將其隱藏，但稍後可以顯示該消息。 但是，提交者一旦提交了消息，就無法更改消息，這使得提交方案具有約束力。

在多項式承諾方案中，人們承諾多項式而不是消息。 多項式承諾方案滿足正態承諾方案的所有性質。 但它還有一個額外的功能，使提交者能夠證明他提交了滿足所需屬性的某個多項式，而不會透露多項式本身。

KZG 在擴展以太坊

雖然有不同的多項式承諾方案， 凱特-扎維魯查-戈德堡 (KZG) 在區塊鏈領域很流行，並被 Scroll 的證明系統使用。 KZG 也將通過 Proto-Danksharding 集成到以太坊中，通過 EIP-4844，於 2022 年 XNUMX 月提出。

Proto-Danksharding 是一個權宜之計，直到 Danksharding 可以降低使用匯總的成本，可以實施。 Proto-Danksharding 引入了一種稱為“blob-carrying transaction”的新交易類型。 這些交易攜帶 128kb 的數據塊，無法從以太坊執行層訪問。 相反，只有對數據塊的承諾才能從以太坊訪問。

數據塊表示為多項式，多項式承諾方案 KZG 用於創建對數據的承諾。 這允許驗證數據 blob 的屬性，而無需透露整個數據 blob。

因此，使用 KZG 可以啟用數據可用性採樣 (DAS)，這將在通往完整 Danksharding 的道路上實施。 DAS 本質上使驗證器能夠確保數據 blob 可用且正確，而無需讀取整個數據 blob。

反過來，這可以極大地幫助增強以太坊的可擴展性，因為驗證者需要處理更少的數據。