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
related reading
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Go smol or go home | Harm de Vriesharmdevries.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- From Theory to Practicezeroknowledgeblog.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- 370.pdfeprint.iacr.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Background in ZK - Circom 2 Documentationdocs.circom.io
- DIZK: A Distributed Zero Knowledge Proof Systemusenix.org