✳flâneur — a map of the web's best reading
privacy-scaling-explorations/chiquito: DSL for Halo2 circuits
github.com · 1,134 words · saved by 1 readers
DSL for Halo2 circuits. Contribute to privacy-scaling-explorations/chiquito development by creating an account on GitHub.
# THIS PROJECT HAS BEEN SUNSET AND IT IS NOT ACTIVELY MAINTAINED ANYMORE Chiquito Chiquito is a high-level structured language for implementing zero knowledge proof applications. Chiquito is being implemented in the DSL Working Group of PSE, Ethereum Foundation. Why is chiquito different from other ZKP DSLs? Most ZKP DSLs are based on writing constraints, witness generation and some abstraction for DRY like templates or gadgets. Chiquito allows the developer to think in more high-level and structured abstractions that most ZKP DSLs, while not sacrificing performance. What is the chiquito progr
Explore this link on the map →related reading
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Go smol or go home | Harm de Vriesharmdevries.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- From Theory to Practicezeroknowledgeblog.com
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Background in ZK - Circom 2 Documentationdocs.circom.io
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Chips - The halo2 Bookzcash.github.io
- A Succinct Story of Zero Knowledgenibnalin.me