✳flâneur — a map of the web's best reading

Understanding Jolt: Clarifications and reflections - a16z crypto

a16zcrypto.com · 2,741 words · saved by 1 readers

We’ve been making steady progress on Lasso and Jolt – our new, simple, performant lookup argument and zkVM — starting with the theory papers and Lasso implementation last summer, and since releasing a fully open source implementation of Jolt last month. The implementation has shown Jolt’s promise relative to existing technology and challenged much of the conventional wisdom in SNARK design. Since its release, we have added support for the Rust standard library, incorporated improvements from over 10 contributors and merged nearly 50 pull requests, and improved the modularity and extensibility of the codebase. While we continue to enhance Jolt, I wanted to address questions, clarify misconceptions, and share my perspective on key issues. The four areas I explore here are (1) the relationship between the sum-check protocol and the Binius commitment scheme, (2) the role of sum-check and lookups in Jolt, (3) elliptic curves versus hashing, and (4) precompiles as they relate to zkVMs. Commi

Understanding Jolt: Clarifications and reflections - 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

Explore this link on the map →

saved by

related reading