AztecProtocol / aztec3-circuitsLinks
Circuit infrastructure for Aztec 3.0
☆13Updated 2 years ago
Alternatives and similar repositories for aztec3-circuits
Users that are interested in aztec3-circuits are comparing it to the libraries listed below
Sorting:
- A collection of works discussing the security aspects of StarkNet☆40Updated 11 months ago
- Polynomials Identity Language☆68Updated last year
- ☆35Updated 2 years ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Bridge aTokens to Starknet☆46Updated 2 years ago
- halo2 ecc circuit☆116Updated 2 years ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Cairo STARK proof verifier for Starknet☆74Updated 3 weeks ago
- bn254 pairing library for Cairo Zero☆26Updated 3 years ago
- ☆105Updated 3 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A toolkit for DAO-like governance on Starknet☆30Updated 10 months ago
- A repo of example Noir projects.☆72Updated 2 weeks ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Technical documentation of the zkEVM☆91Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- ☆70Updated last year
- Carbon Starknet Protocol written in Cairo.☆54Updated last year
- Carmine options protocol☆33Updated 2 years ago
- ☆25Updated last month
- 🐺 Starknet Rust types 🦀☆77Updated 2 weeks ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- ☆94Updated last year
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Email verification circuit in halo2☆68Updated last year
- The PSE website☆23Updated last week
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆49Updated last year