thor314 / circuit-examples
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
☆72Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for circuit-examples
- Resources for learning Noir from ZKCamp's Aztec Course☆43Updated last year
- ☆60Updated 3 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 6 months ago
- ☆50Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆92Updated 2 months ago
- A repo of example Noir projects.☆40Updated last week
- Solidity contracts for a next-gen rollup system.☆63Updated 2 weeks ago
- Basic Noir anonymous proof of membership☆88Updated last year
- Email verification circuit in halo2☆62Updated 4 months ago
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 9 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 9 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆45Updated 2 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- barretenburg in rust (here we go)☆97Updated 9 months ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- Poseidon hash function implemented in Solidity☆40Updated 2 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- Contracts for onchain verification of SP1.☆59Updated last week
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆66Updated last month
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆91Updated this week