證明多客戶端 Beam Chain

各位團隊成員, 正如你們許多人所知,我最近加入了Lita。我們正在開發Valida,這是一個高效能的zkVM,旨在儘可能降低ZK證明的成本。 我們的主要優勢之一是我們針對證明進行最佳化的ISA。我們上週釋出了Rust支援,早期基準測試顯示,得益於我們的定製ISA和編譯器技術,我們的效能優勢達到了一個數量級(與使用相同Plonky3後端的zkVM相比)。 我們希望支援以太坊路線圖,並確保當前客戶端的多樣性仍然是Beam鏈的前沿,而不會最終只有5個以上的Rust客戶端。Valida使用LLVM,任何擁有LLVM編譯器工具鏈的語言都可以相對容易地得到支援。我們已經與大多數現有的EL和CL團隊進行了交談,以下是我們當前的語言支援路線圖: - Nim(透過C,應該只需要編譯命令配置) - WASM - Go - Zig - JavaScript(透過WASM) 我們知道C#和Java也有EL和CL客戶端,可能會更加棘手。我們很樂意聽取你們的計劃。 我們計劃釋出Grandine、Lighthouse、Nimbus和/或Grandine狀態轉換函式的基準測試,以獲得基線。