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.

This post has links to write-ups with more info, starting from the basics all the way to an in-the-weeds cryptography Q&A with Justin Thaler from our research team.

CTO @a16zcrypto, lover of https://github.com/a16z/awesome-farcaster

This post has links to write-ups with more info, starting from the basics all the way to an in-the-weeds cryptography Q&A with Justin Thaler from our research team.

https://a16zcrypto.com/posts/article/accelerating-the-world-computer-implementing-jolt