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
Explore this link on the map →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
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Aleo: Can You Keep a Secret?notboring.co
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com