personaelabs / heyanon-circuits
Circuits used by heyanon
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for heyanon-circuits
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated 11 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- Enabling credibly pseudonymous posting @ heyanon.xyz☆31Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 6 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Axiom smart contracts☆27Updated last year
- ☆39Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated last year
- ☆18Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year
- noise implementations in Cairo☆16Updated 2 years ago
- Privacy preserving governance mechanism using zero knowledge for proof of merkle inclusion.☆20Updated 2 years ago
- ☆34Updated last year
- ☆30Updated 2 years ago
- ETHPrague☆31Updated last year
- Cellophane is a proof-of-concept counterfactual ERC721 token wrapper☆18Updated last year
- ☆28Updated last year
- ☆30Updated last year
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆16Updated last year
- ☆17Updated last year
- Demo of optimal Ate pairing implemented inside a zk-snark☆12Updated 2 years ago
- wipppp☆17Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆26Updated last year
- Behold the almighty 🗿totem🗿☆17Updated last month
- Base64 encoding for Aztec's noir language☆14Updated 10 months ago
- A minimal example of recursion in Noir.☆11Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 2 years ago