Vitalik Buterin 談論如何提高 zk 證明的效率

以太坊聯合創始人 Vitalik Buterin 發佈了一篇新博文，討論了一種可以使零知識證明更高效的新加密證明系統。

該證明系統名為 Binius，旨在直接在計算機上對二進制代碼進行操作。二進制代碼是一種計算機可以理解的語言，它用於存儲信息並使用符號零和一（也稱為位）表示數據。

儘管 STARK 和 Binius 之間存在一些相似之處，但 Buterin 解釋說，實現這些不同證明系統的數學技巧非常不同。

總體來說，STARKs 是一種能夠輕鬆通過密碼驗證複雜語句的技術。它被設計成當數值較小時可以輕鬆計算數字，當數值較大時，STARKs 會生成額外的值，這會導致效率低下。

與將語句“算術化”為多項式方程（一種對塊中變量之間關係進行建模的數學表達式）的 STARK 不同，Binius 將數據視為超立方體和網格，並使用多線性多項式執行加密證明。

Binius 將單個值轉換為位，並將它們放在超立方體和正方形中。然後，將此超立方體轉換為網格並執行計算以接收輸出矩陣。

然後，驗證者將執行自己的計算，以確保信息本身匹配，並確保計算列返回證明者聲稱的值。

“我強烈鼓勵大家去理解和探索！最近 ZK 證明領域出現了很多創新。我預計很快還會有更多創新出現，”Buterin 在X 帖子中寫道。

以 David Canellis 和 Katherine Ross 的頂級加密貨幣見解開啟您的一天。訂閱 Empire 時事通訊。