thor314 / circuit-examples
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
☆75Updated 6 months ago
Alternatives and similar repositories for circuit-examples:
Users that are interested in circuit-examples are comparing it to the libraries listed below
- Export Circom verifier to Cairo☆49Updated 3 years ago
- A monorepo of reusable Noir circuits.☆40Updated 2 weeks ago
- Resources for learning Noir from ZKCamp's Aztec Course☆54Updated last year
- A repo of example Noir projects.☆51Updated last month
- ☆54Updated last year
- barretenburg in rust (here we go)☆98Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- My personal notebook for various zk-related topics☆48Updated 3 months ago
- ☆65Updated 9 months ago
- an introduction to noir, with simple examples☆45Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 3 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- ☆40Updated 6 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- ☆79Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago
- Basic Noir private proof of membership☆89Updated last month
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Solidity contracts for a next-gen rollup system.☆65Updated 5 months ago
- Email verification circuit in halo2☆68Updated 10 months ago
- Poseidon hash function implemented in Solidity☆50Updated 8 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Smart contracts for onchain verification of SP1.☆89Updated this week
- Cairo STARK proof verifier for Starknet☆71Updated 2 weeks ago
- Noir implementation of RSA-verify☆43Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Ethereum stateless tools☆46Updated 2 weeks ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- Provides tools for testing circom circuits.☆59Updated this week