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

You can create a project with jolt by running "jolt new <name>" and we'll automatically create a template project for you. You'll notice that there is a main project which we refer to as the host, and another package called guest which is where your provable code goes.

Let's jump into the guest to see what's going on.

This is just a normal fibonacci function with #[jolt::provable] above it. This tells Jolt that we want to prove this function. Users can add as many provable functions into the guest as they'd like.

Now let's take a look at the host to see how to generate a proof.

The provable macro automatically generates a build_function_name function for each provable function in the guest. This returns a prove and verify function.

The prove function takes in the same inputs as the original function, but modifies the output to additionally return a proof.

Calling prove_fib is almost the same as calling fib itself!

The verifier function takes in a proof and returns a boolean indicating validity.

And of course, shoutout to Justin Thaler @arasu @samrags @moodlezoup and Srinath Setty who did most of the heavy lifting on Jolt!

Supercast didn't like my images so here' the code for the guest and host:

If you want to try out Jolt, head over to our quickstart guide!

If you want to try out Jolt, head over to our quickstart guide!
https://jolt.a16zcrypto.com/usage/quickstart.html

The provable macro is probably the strangest bit of Rust I've ever written, and you should definitely check it out to see all the tricks we made use of.

Regardless, the outcome is simple. Jolt has the best DevEx of any zkVM.

We're excited to see what you build with Jolt!