yourbuddyconner / succinct-bootcamp
This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof technology with a focus on our ZKVM, 0-SP1.
☆38Updated 4 months ago
Alternatives and similar repositories for succinct-bootcamp:
Users that are interested in succinct-bootcamp are comparing it to the libraries listed below
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- ☆51Updated this week
- PoC of Revm execution in SGX☆79Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- ☆61Updated 11 months ago
- A repo of example Noir projects.☆47Updated last week
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- A Noir circuit that mimics Solidity's ecrecover☆49Updated 2 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆2Updated 11 months ago
- A monorepo of reusable Noir circuits.☆31Updated this week
- Smart contracts for onchain verification of SP1.☆78Updated this week
- ☆65Updated 7 months ago
- My personal notebook for various zk-related topics☆48Updated last month
- A Brainfuck zkVM with Circom.☆58Updated last year
- ☆36Updated last year
- Like Safe... but secret 🥷🏽☆57Updated last month
- ☆31Updated 11 months ago
- Honk Verifier in Solidity☆49Updated 4 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 3 months ago
- ☆35Updated 3 months ago
- Poseidon hash function implemented in Solidity☆47Updated 6 months ago
- barretenburg in rust (here we go)☆97Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- Provides tools for testing circom circuits.☆58Updated 7 months ago