Jolt Alpha it out and it's crazy fast with more optimization opportunities remaining than any other zkVM. Since uses a many-round polynomial IOP based on sum-check + a commitment scheme for multilinear polynomials, it hasn't had all the eyes on it (like other methods). Lots of low-hanging fruit to PROVE FAST.

Today we released Jolt, our new zkVM! While we've highlighted its performance characteristics, I want to show off its incredible developer experience. Using Jolt is as simple as adding #[jolt::provable] to your Rust functions.

Today we released Jolt, our new zkVM! While we've highlighted its performance characteristics, I want to show off its incredible developer experience. Using Jolt is as simple as adding #[jolt::provable] to your Rust functions.

https://warpcast.com/eddy/0xae744eee

building open source public goods @a16zcrypto

Looks like this’ll play well with all existing rust tooling ? Risc0 atm breaks thinks like clippy