SNARK Security and Performance - a16z crypto

This post compares the security properties of different SNARKs, and also explores the tension between verification costs and security in practical post-quantum-secure SNARKs.

SNARK Security and Performance - 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 " ". Double che

related reading

• 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
• Flock: Fast Proving for Batch Boolean Computationseprint.iacr.org
• ZK-Friendly Hash Functions | Zellic — Researchzellic.io
• Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
• thesis.pdfaayushg.com
• Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
• ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
• Zinc+: SNARKs for Polynomial Ringseprint.iacr.org
• Collaborative zkSNARKseprint.iacr.org
• 370.pdfeprint.iacr.org
• Marlin: Preprocessing zkSNARKs with Universal and Updatable SRSeprint.iacr.org
• 1043.pdfeprint.iacr.org