证明多客户端 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状态转换函数的基准测试,以获得基线。