Lev-Stambler / bulletproof-cairoLinks
☆40Updated 2 years ago
Alternatives and similar repositories for bulletproof-cairo
Users that are interested in bulletproof-cairo are comparing it to the libraries listed below
Sorting:
- an introduction to noir, with simple examples☆44Updated last year
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆33Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- ☆31Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 3 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 3 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆46Updated 3 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- A graph library built with Cairo☆28Updated 3 years ago
- ☆42Updated last year
- Curta CTF #12☆20Updated last year
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 4 months ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- ☆28Updated 2 years ago
- Groth16 verifier in EVM☆21Updated 2 years 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
- A Brainfuck zkVM with Circom.☆59Updated last year
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- A minimal example of recursion in Noir.☆11Updated last year