flâneur

Putting the zk in zkVM: Jolt now supports zero knowledge - a16z crypto

a16zcrypto.com · 1,333 words · saved by 1 readers

Jolt — our open-source, state-of-the-art zkVM — now supports zero knowledge, rendering it suitable for privacy applications. This advance does not require any SNARK recursion or “wrapping,” nor does it sacrifice transparency. And perhaps most surprisingly, proof size increased by only 3KB, with essentially no increase in prover time. This post explains how. But first, a note on terminology: Most zkVMs are not actually zero knowledge — unless an expensive “wrapping” procedure is applied. (Most people have been using “zk” to refer to the property of succinctness, which refers to proofs that are short and fast to verify.) This wrapping typically involves recursively proving the verification of the zkVM proof inside another proof system that is ZK, which is both computationally costly and often requires giving up transparency (i.e., it introduces a trusted setup). As the community’s focus on privacy grows — requiring true zero knowledge, which is about privacy of the prover’s sensitive dat

Putting the zk in zkVM: Jolt now supports zero knowledge - 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 m

saved by

related reading