Hello teams,
As many of you know, I have recently joined Lita. We build Valida, a high-performance zkVM that aims to make ZK proofs as cheap as possible.
One of our main advantages is our proof-optimized ISA. We released Rust support last week and early benchmarks show an order of magnitude advantage coming from our custom ISA and compiler tech (compared to a zkVM with the same Plonky3 backend).
We want to support the Ethereum roadmap and make sure current client diversity is still at the forefront of the Beam chain and we don’t end up with just 5+ Rust clients. Valida uses LLVM and any language with a LLVM compiler toolchain is reasonably easy to support. We talked to most of the existing EL and CL teams and this is our current language support roadmap:
- Nim (through C, should just be compile command configuration)
- WASM
- Go
- Zig
- Javascript (through WASM)
We know there are EL and CL clients in C# and Java as well, that might be trickier to support. We would be interested to hear your plans.
We plan to publish benchmarks of the state transition function of Grandine, Lighthouse, Nimbus and/or Grandine to get a baseline.
