以太坊虛擬機是建立在以太坊區塊鏈上的代碼運行環境，合約代碼可對外完全隔離並在EVM 內部運行，其主要作用是處理以太坊系統內的智能合約。之所以說以太坊是圖靈完備，是因為開發者可

不同的零知識證明算法本質的不同在於不同程度的計算代理，高度的代理雖然會使驗證的計算容易，但是卻可能使得證明的複雜度高，從而導致證明耗時長，或是生成的證明大小較大，反之低

密碼學當中的零知識證明技術在Web3世界有著廣泛的應用，包括進行隱私計算、zkRollup等等。

如果密碼學家沒有發現張量積（Tensor Product）和多項式取值之間的聯繫，那就很難出現多項式承諾協議Brakedown，也就不可能誕生基於Brakedown 的Orion、以及FOAKS 這類全新的快速算法。

本文梳理了sum-check協議的具體流程，以及討論了協議的複雜度，同時展示了其在許多證明系統當中的應用。

Layer 3是以太坊擴容生態系統的一項偉大工程創新，如果說Layer 2的出現解決了通用型擴容問題，那麼Layer 3的出現則解決了更加高速、更加低成本、定制化的擴容問題。

零知識證明無疑是Web3領域中最具創新性的技術之一，零知識證明也提供了構建Trustless產品的絕佳技術手段。