Building Jolt: A fast, easy-to-use zkVM - a16z crypto
Today, a16z crypto research and engineering teams released an initial implementation of Jolt, a new approach to SNARK design that is already up to 2x faster than the state of the art, with more improvements still to come. See this post for a high-level overview to this body of work, as well as this post on SNARK design today and how Jolt breaks the mold; as well as this FAQ for technical specifics about Jolt’s architecture and performance compared to existing zkVMs. Verifiable computing (colloquially mis-termed ZK) is an incredibly powerful technology, with applications to both blockchain and non-blockchain uses. It enables one computer (the verifier) to delegate computation to another, more powerful computer (the prover) and efficiently verify that the computation was performed correctly. In the crypto industry, applications of verifiable computing (specifically SNARKs, or Succinct Non-interactive Arguments of Knowledge) include: Before and after Jolt | source: a16z crypto There are m
Building Jolt: A fast, easy-to-use zkVM - a16z crypto { Alpine.store('searchHistory')?.hide() }, 150)" @keydown.enter.prevent="saveToHistory()" @keydown.escape="closeModal()" autocomplete="off" :value="searchQuery" type="text" placeholder="Search a16zcrypto" class="w-full bg-white dark:bg-black h-12 md:h-[51px] lg:h-[53px] xl:h-[58px] outline-none pl-xs pr-[120px] py-2xs text-body--md md:rounded-t-2xl"> Results 0"> 0"> Bios 0"> 0"> Pages 0"> 0 || pageResults.length > 0"> Tags 0"> 0 || pageResults.length > 0 || tagResults.length > 0"> Content / No matches We couldn't find any matches for " ". D
related reading
- Understanding Jolt: Clarifications and reflections - a16z cryptoa16zcrypto.com
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoa16zcrypto.com
- Understanding Lasso and Jolt, from theory to code - a16z cryptoa16zcrypto.com
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM.blog.succinct.xyz
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- Succinct raises $55M led by Paradigm to make zero-knowledge proofs accessible to any developerblog.succinct.xyz
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- 0xPARC0xparc.org