Chứng minh một chuỗi chùm tia đa máy khách

Xin chào các đội, Như nhiều bạn đã biết, tôi vừa gia nhập Lita. Chúng tôi xây dựng Valida, một zkVM có hiệu suất cao nhằm mục đích làm cho các bằng chứng ZK rẻ nhất có thể. Một trong những lợi thế chính của chúng tôi là ISA được tối ưu hóa cho các bằng chứng. Chúng tôi đã phát hành hỗ trợ Rust vào tuần trước và các bản đánh giá sơ bộ cho thấy một lợi thế lớn đến từ ISA tùy chỉnh và công nghệ trình biên dịch của chúng tôi (so với một zkVM với cùng backend Plonky3). Chúng tôi muốn hỗ trợ lộ trình Ethereum và đảm bảo rằng sự đa dạng của khách hàng hiện tại vẫn ở đầu tiên của chuỗi Beam và chúng tôi không kết thúc với chỉ 5+ khách hàng Rust. Valida sử dụng LLVM và bất kỳ ngôn ngữ nào có chuỗi công cụ biên dịch LLVM đều tương đối dễ dàng để hỗ trợ. Chúng tôi đã nói chuyện với hầu hết các nhóm EL và CL hiện có và đây là lộ trình hỗ trợ ngôn ngữ hiện tại của chúng tôi: - Nim (thông qua C, chỉ cần cấu hình lệnh biên dịch) - WASM - Go - Zig - Javascript (thông qua WASM) Chúng tôi biết rằng cũng có các khách hàng EL và CL bằng C# và Java, điều này có thể khó hơn để hỗ trợ. Chúng tôi sẽ quan tâm đến kế hoạch của bạn. Chúng tôi dự định sẽ công bố các bản đánh giá hiệu suất của hàm chuyển trạng thái của Grandine, Lighthouse, Nimbus và/hoặc Grandine để có một mức cơ sở.