zkEVM 背后的技術發展：從多項式承諾到硬件加速_比特幣

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

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

1多項式承諾

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

加密友好銀行Silvergate Capital 2022年第4季度虧損10億美元:1月17日消息，專注于加密貨幣的銀行 Silvergate Capital (SI) 報告稱，在截至 2022 年 12 月 31 日的三個月中，歸屬于股東的凈虧損為 10 億美元。相比之下，2021 年同期的凈收入為 1800 萬美元，上一季度的凈收入為 4060 萬美元。第四季度的虧損最終導致全年虧損約 9.49 億美元，而 2021 年的凈收入為 7550 萬美元。

Silvergate 本季度的業績在 1 月初就已有所預示，當時該公司表示第四季度資金流出 81 億美元，并裁員 40%。關于裁員，該公司預計將產生 810 萬美元的重組費用，其中大部分將在本季度支付。此外，Silvergate 記錄了 1.345 億美元的減值費用，這與其預計本季度出售的約 17 億美元證券有關，因為它試圖應對去年年底出現的巨額資金外流。

?

?[2023/1/17 11:16:59]

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

英國對使用本地經紀商的外國人實施加密稅收減免:金色財經報道，從2023年1月1日起，英國將對任用當地經紀商或投資經理投資加密貨幣的外國投資者實施免稅政策。此外，英國稅務海關總署表示，“這項免稅政策是吸引全球投資者的一個重要因素，這意味著外國投資者不會僅僅因為通過任命英國投資經理就被納入英國稅收。為了鞏固英國作為投資管理中心的地位，這項免稅政策已擴大到包括加密資產，這樣加密資產相關基金就不會推遲任命英國經理人”。[2023/1/1 22:19:45]

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

摩根大通報告：比特幣生產成本一個月以來下降50%至1.3萬美元:7月14日消息，摩根大通最近發布的一份報告顯示，比特幣的生產成本在過去一個月下降了50%。目前，其生產成本從2022年6月初的2.4萬美元下降到1.3萬美元。

以Nikolaos Panigirtzoglou為首的摩根大通策略師寫道，根據劍橋比特幣用電量指數的數據，這一下降正值用電量下滑之際。報告指出，這是礦企保護盈利能力和部署高效礦機的努力。然而，它也可能成為比特幣價格上漲的一個主要障礙：“雖然這明顯有助于礦企的盈利能力，并可能減輕礦企出售比特幣以提高流動性或去杠桿化的壓力，但生產成本的下降可能被視為對比特幣未來價格前景的負面影響。一些市場參與者認為，生產成本是熊市中比特幣價格區間的下限。”（Coin Gape）[2022/7/14 2:12:57]

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

Twitter正式推出其長篇內容“筆記”功能:金色財經報道，Twitter宣布，已經開始測試“Notes”，這是一種在社交媒體平臺上編寫和發布長篇內容的方式。作為初始測試階段的一部分，美國、加拿大、加納和英國的一小部分作者現在可以訪問 Notes。Twitter 表示，大多數國家/地區的人們都可以在 Twitter 內外閱讀 Notes。處于測試階段的用戶將可以訪問新的“寫入”選項卡，他們可以在其中編寫和訪問所有筆記。這些用戶的個人資料中還將有一個新的“注釋”選項卡，其中包含他們已發布的作品，以便他們的追隨者輕松找到他們的長篇內容。[2022/6/23 1:25:13]

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

查找表和自定義小組件是可用于優化某些類型計算機程序性能的技術。這些技術最初是在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：比特幣PROProofROO納世幣值錢還是比特幣值錢pros幣垃圾項目方0XPROOF幣Groovy Finance

聚幣