smsunarto / daedalusLinks
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
☆33Updated 2 years ago
Alternatives and similar repositories for daedalus
Users that are interested in daedalus are comparing it to the libraries listed below
Sorting:
- ☆40Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- Axiom smart contracts☆26Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆31Updated last year
- ☆34Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- ☆42Updated last year
- ☆33Updated last year
- ☆17Updated 2 years ago
- ☆46Updated 3 years ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 3 years ago
- xoroshiro PRNG implementation in Cairo☆37Updated 10 months ago
- ☆17Updated 2 years ago
- A minimal example of recursion in Noir.☆11Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 3 years ago
- Groth16 verifier in EVM☆21Updated 2 years ago
- Cairo Merkle Mountain Range☆37Updated last year
- A graph library built with Cairo☆28Updated 3 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 3 years ago
- Behold the almighty 🗿totem🗿☆18Updated 9 months ago
- Noir implementation of RSA-verify☆43Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year