smsunarto / daedalus
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for daedalus
- ☆39Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- xoroshiro PRNG implementation in Cairo☆36Updated 2 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- A graph library built with Cairo☆28Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Axiom smart contracts☆27Updated last year
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- ☆31Updated 8 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago
- Sidecar to Enable Rollup Extensions☆55Updated this week
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- ☆32Updated 10 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- ☆34Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 2 months ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆29Updated this week
- storage proof made by sp1☆24Updated 2 months ago
- Rust implementation of KZG point evaluation☆27Updated 2 months ago
- ☆13Updated last week
- Cairo Merkle Mountain Range☆37Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- RLN circuits in Circom☆29Updated 4 months ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆15Updated 6 months ago