Vitalik Buterin 分享了新ZKP 模型Binius 的詳細信息


Vitalik_Buterin 維塔利克‧布特林

以太坊聯合創始人Vitalik Buterin 討論了Binius(一種新的零知識證明(ZKP)系統)的好處。

該技術的主要目標是與zk-SNARK 等傳統模型相比,性能顯著提高。

根據Buterin 的說法,Binius 透過直接對各個二進位位元(零和一)執行計算來實現更高的效率。相較之下,SNARK 和STARK 系統可處理64 位元和256 位元整數。

二元資料處理的想法是由Benjamin Diamond 和Jim Posehn 在2023 年提出的。以太坊的共同創辦人提到了他們的研究。

處理的底層資訊通常由計數器、索引和布林標誌等小值組成。然而,開發人員表示,透過直接使用位,Binius 可以更有效地處理這些數據。

Vitalik Buterin 分享了新ZKP 模型Binius 的詳細信息比尼烏斯如何工作。資料:Buterin 的部落格。

Buterin 解釋說,新的驗證系統將它們作為多維「超立方體」進行處理,並使用二元「有限域」來提供高效的算術運算。

Binius 也採用編碼和解碼過程,將位元級資料轉換為適合「多項式」處理和Merkle 證明的形式。因此,該模型確保了處理區塊鏈中的信息時的可擴展性,程式設計師補充道。

他澄清,ZKP模型中也使用了多項式(多項式)系統進行編碼和計算,但沒有透露有關操作的基本資訊。

Buterin 透過一個例子示範了「簡單的Binius」是如何運作的。為此,他將「超立方體」轉變為正方形,然後轉變為默克爾樹。

「Full Binius」是一個更複雜的代數函數,可讓您配置協定以處理二進位欄位並修復各個位元。

以太坊聯合創始人澄清說,許多問題仍然懸而未決。例如,Binius需要建立高效率的演算法和算術化,並研究其對現有SNARK機制的影響。

早些時候,Buterin 表示,工作量證明共識演算法只是該專案通往權益證明之路上的一個臨時階段。

回想一下,三月他稱未來五年對於以太坊的大規模採用及其被「現實世界」的採用「至關重要」。

四月,開發商分享了該專案路線圖下一階段的詳細資訊– The Purge。其目的是簡化網路結構,減輕節點負載。

在社群網路上訂閱ForkLog

發現文本中有錯誤?選擇它並按CTRL+ENTER

ForkLog 電子報:隨時掌握比特幣產業的脈動

資訊來源:由0x資訊編譯自FORKLOG。版權所有,經作者Василий Смирнов所有,未經許可,不得轉載

Total
0
Shares
Related Posts