다중 클라이언트 빔 체인 증명

안녕하세요 팀들, 많은 분들이 알고 계시듯이 저는 최근에 Lita에 합류했습니다. 우리는 ZK 증명을 가능한 한 저렴하게 만드는 것을 목표로 하는 고성능 zkVM인 Valida를 구축하고 있습니다. 우리의 주요 장점 중 하나는 우리의 증명 최적화 ISA입니다. 지난 주에 Rust 지원을 출시했고 초기 벤치마크에 따르면 우리의 맞춤형 ISA와 컴파일러 기술 덕분에 (동일한 Plonky3 백엔드를 사용하는 zkVM과 비교하여) 1 order of magnitude의 이점이 있습니다. 우리는 이더리움(ETH) 로드맵을 지원하고 현재 클라이언트 다양성이 Beam 체인의 최전선에 있도록 하며 Rust 클라이언트만 5개 이상 가지지 않도록 하고 싶습니다. Valida는 LLVM을 사용하므로 LLVM 컴파일러 툴체인이 있는 모든 언어를 합리적으로 지원할 수 있습니다. 우리는 기존의 EL 및 CL 팀 대부분과 이야기를 나누었고 현재 이 언어 지원 로드맵을 가지고 있습니다: - Nim (C를 통해, 컴파일 명령 구성만 필요) - WASM - Go - Zig - 자바스크립트 (WASM을 통해) C#과 Java로 된 EL 및 CL 클라이언트도 있다는 것을 알고 있지만, 이들을 지원하는 것은 더 까다로울 수 있습니다. 귀하의 계획을 듣고 싶습니다. 우리는 Grandine, Lighthouse, Nimbus 및/또는 Grandine의 상태 전환 함수에 대한 벤치마크를 게시할 계획입니다.