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 last year
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆11Updated last year
- noise implementations in Cairo☆16Updated 2 years ago
- ☆39Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆34Updated last year
- Privacy preserving governance mechanism using zero knowledge for proof of merkle inclusion.☆20Updated 2 years ago
- Enabling credibly pseudonymous posting @ heyanon.xyz☆31Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- Axiom smart contracts☆27Updated last year
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 2 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 7 months ago
- compiler tooling for Stark-based zkVMs☆15Updated last year
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated last year
- wipppp☆17Updated 2 years ago
- ☆30Updated 2 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆23Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- Demo of optimal Ate pairing implemented inside a zk-snark☆12Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- ☆18Updated 2 years ago
- ☆17Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated last year
- ☆32Updated last year
- ☆30Updated 2 years ago
- ☆12Updated 10 months ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago