smsunarto / daedalus
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
☆34Updated last year
Alternatives and similar repositories for daedalus:
Users that are interested in daedalus are comparing it to the libraries listed below
- ☆39Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 9 months ago
- an introduction to noir, with simple examples☆43Updated last year
- A graph library built with Cairo☆28Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- ☆31Updated 11 months ago
- Groth16 verifier in EVM☆20Updated last year
- Rust implementation of KZG point evaluation☆30Updated last month
- ☆34Updated last year
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Updated 2 years ago
- RLN circuits in Circom☆29Updated 7 months ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated last year
- ☆2Updated 11 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆16Updated this week
- ☆33Updated last year
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Iterated prisoner's dilemma tournaments implemented with Cairo☆27Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆32Updated 8 months ago
- ☆33Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 5 months ago