PRO:zkEVM 背后的技術發展：從多項式承諾到硬件加速_cardano

大家好，新年快樂。2023年是zk-rollups的一年，零知識技術將取得重大進步。本周我們將探索零知識技術的各個方面。不光本周，今年我的內容都將重點關注零知識技術，因為這是圣杯。

在上一篇文章中，我們研究了zkEVM面臨的挑戰。在本文中，我們將研究使zkEVM成為可能的技術進展。我將盡量簡化以使其易于理解。以下是推動zkEVM進步的四項技術進展：

1多項式承諾

在零知識證明中，多項式承諾方案被用來靈活有效地反映證明的約束條件。使用零知識證明協議時，證明者必須向驗證者證明他們知道特定數據，但不透露該數據是什么。這通常是通過構建數學論證或「證明」來實現的，該論證或「證明」以某種方式依賴于見證，但并不直接揭示見證。

馬斯克：SBF在民主黨選舉上花費超過10億美元:金色財經報道，特斯拉創始人馬斯克聲稱，SBF為民主黨選舉貢獻了超過10億美元。他想知道SBF為什么隱瞞了準確的數字，如果總數是準確的，剩余的資金去了哪里。[2022/12/4 21:20:42]

一種方法是使用一種稱為「帶有特定于應用可信設置中編碼的PCP查詢的R1CS」的方法。。

上述會涉及構造一個電路對證明的約束進行編碼，然后使用稱為「PCP查詢」的特殊類型的查詢來檢查電路是否正確。然而，這種方法的一個限制是電路尺寸可能變得非常大，從而使證明效率低下。此外，它只能使用雙線性配對來編碼約束，這限制了可以使用的優化種類。

Grit Capital CEO：FTX用表情符號批復報銷款項，從未召開過董事會議:金色財經報道，Grit Capital 首席執行官、特許金融分析師 Genevieve Roch-Decter 在社交媒體發文稱，在閱讀了 FTX 破產法庭文件后發現該公司的內部控制存在九大問題：1、員工通過聊天應用提交費用報銷申請，經理會用表情符號批準或拒絕報銷款項；2、Alameda Research 向 SBF 提供 10 億美元個貸，向工程總監 Nishad Singh 提供 5.43 億美元個貸；3、保存的記錄很少，大多數決定都是通過聊天做出的，消息會在一定時間后自動刪除；4、FTX 從未召開過董事會會議，大多數子公司也沒有；5、FTX沒有現金管理系統。管理層不知道在任何給定時間手頭有多少現金，甚至不知道他們所有的現金在哪里；6、FTX 沒有妥善記錄他們雇用的人員，員工和承包商在不同的公司混雜在一起，無法找到某些員工，意味著某些員工可能是假的；7、企業資金用于購買自用房地產；8、客戶存入的加密貨幣沒有記錄在 FTX 資產負債表上；9、SBF 不代表公司發言，但卻經常發布誤導性的公開聲明。[2022/11/19 13:23:30]

多項式承諾方案可以以更靈活和有效的方式來表示證明的約束。使用多項式承諾方案，可以將約束「提升」到任意階數。這使得可以使用的優化種類具有更大的靈活性，并且還可以通過減小電路尺寸來提高證明的效率。此外，多項式承諾方案可以與「通用設置」或「透明設置」一起使用，后者指的是方案的實現方式。

數據：Cardano Plutus智能合約超3000個，ADA錢包突破350萬:8月5日消息，據Cardano Blockchain Insights數據顯示，Cardano Vasil 硬分叉前達到兩個里程碑，截至目前基于 Plutus 腳本的 Cardano 智能合約數量達到 3031 個，該指標展示了 Cardano 允許用戶編寫與區塊鏈交互的應用程序的能力。此外，ADA 錢包已突破 350 萬，截至最新 8 月 4 日數據為 3,505,141 個。

此前消息，原本計劃于 7 月底進行的 Cardano 主網 Vasil 硬分叉升級再次推遲，延遲或將打到數周時間。[2022/8/6 12:05:43]

2查找表證明和自定義小組件

尼日利亞證券交易所將在2023年之前采用區塊鏈進行交易結算:6月10日消息，尼日利亞交易所有限公司計劃明年啟動一個支持區塊鏈的交易平臺，以深化貿易并吸引年輕投資者進入市場。尼日利亞交易所有限公司首席執行官Temi Popoola在接受采訪時表示，該交易所希望在資本市場交易結算中部署區塊鏈技術。尼日利亞交易所將與一家技術公司合作，并在2023年推出之前獲得監管機構的批準。（彭博社）[2022/6/11 4:17:43]

查找表和自定義小組件是可用于優化某些類型計算機程序性能的技術。這些技術最初是在Arya和Plookup系統中提出的，后來在TurboPlonk和UltraPlonk中得到完善。查找表對于優化執行按位運算的程序特別有用，并且可以使用自定義小組件來有效地實現高階約束。總之，這些技術可以幫助減少以太坊虛擬機(EVM)電路的開銷并提高其效率。

查找表和自定義小組件等技術可用于通過減小電路尺寸和提高某些類型操作的效率來優化zkEVM。這有助于使zkEVM更加實用和可擴展。

3遞歸證明

遞歸證明是一種通過將計算分解為更小的部分并獨立證明每個部分來證明計算正確性的方法。在零知識證明系統中，這個過程可能涉及證明一個證明，且多個證明可以聚合成一個證明。過去，配對友好的循環橢圓曲線用于支持遞歸證明，但這些可能在計算上很昂貴。然而，已經開發出更新的方法，可以用更少的計算量實現遞歸證明。例如，Halo可以使用內積證明這一特定類型的數學概念來降低遞歸成本，而Aztec可以使用查找表來降低非原生域操作的成本并提高驗證過程的效率。這些方法可以通過提高方法的效率來增加方法的可擴展性。以后的帖子中會進一步解釋這一點。

?4硬件加速器

ASIC、GPU和FPGA等硬件加速器可以幫助提高零知識證明系統中證明者的計算性能。在零知識證明系統場景下，硬件加速器可用于加速生成和驗證證明結構的過程，這是計算密集型的。

總之，多項式承諾、查找表證明和自定義小組件、遞歸證明和硬件加速等技術發展都對zkEVM的進步和更廣泛的零知識技術領域發揮了至關重要的作用。這些創新為構建和驗證零知識證明提供了更高效和可擴展的方法，并為在各種應用中使用zkEVM開辟了新的可能性。隨著零知識技術領域的不斷發展和演變，這些和其他技術進步很可能會繼續推動進步并推動新的和令人興奮的應用的開發。

資源：https://scroll.io/blog/zkEVMhttps://coingeek.com/recursive-zero-knowledge-proofs-proof-of-a-proof-of-a-proof/https://www.zeroknowledgeblog.com/index.php/the-pinocchio-protocol/r1cshttps://en.m.wikipedia.org/wiki/Probabilistically_checkable_proof

Tags：PRODANcardanoFTXRigel Protocolcardano幣五個階段Cardano KidzANIME Vault (NFTX)

Luna