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

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.

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!

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

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.

Web3 developer • ZK • Security researcher • Privacy • /ʲustɑs/ • https://linktr.ee/ustas.eth

Yeah we've noticed some strangeness when installing the target. This is actually what jolt install-target does but for some reason it doesn't seem to always take. Mind sharing what system you are using?

Glad you were able to get it up and running with no issues! Hoping to see some cool stuff get built on top of Jolt!

Just tried it! Works great even on my laptop, good work 👍 

A little note, I had to run `rustup target add riscv32i-unknown-none-elf` because I got some errors during the compilation

Investing and Engineering @a16z crypto. 

Did my time in big tech, since recovered.

Congrats @samrags, can’t wait to check it out

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

I think I have a crush on you and Jolt 🫢