thor314 / circuit-examples
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
☆73Updated 3 months ago
Alternatives and similar repositories for circuit-examples:
Users that are interested in circuit-examples are comparing it to the libraries listed below
- Resources for learning Noir from ZKCamp's Aztec Course☆47Updated last year
- A repo of example Noir projects.☆45Updated this week
- My personal notebook for various zk-related topics☆47Updated last week
- ☆64Updated 5 months ago
- ☆48Updated this week
- PoC of Revm execution in SGX☆80Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated last month
- Export Circom verifier to Cairo☆49Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- ☆51Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- ream: an Ethereum Beam client written in Rust☆45Updated this week
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- barretenburg in rust (here we go)☆97Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆48Updated last month
- A Brainfuck zkVM with Circom.☆58Updated 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☆39Updated last week
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- Like Safe... but secret 🥷🏽☆57Updated last week
- Email verification circuit in halo2☆66Updated 6 months ago
- ZK Email in Noir☆57Updated this week
- Basic Noir anonymous proof of membership☆88Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆95Updated 4 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Provides tools for testing circom circuits.☆56Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- Cross-zk-rollup aggregation☆59Updated last year