teddav / halo2-starter

Related projects ⓘ

Alternatives and complementary repositories for halo2-starter

• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated last week
• ret2basic / Groth16
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆12Updated 5 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆82Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 7 months ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated 6 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• yetanotherco / zkRust
  ☆30Updated last month
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• nullity00 / zk-blockchain-ideas
  A collection of all the project ideas involving zk, blockchains & what not
  ☆24Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆93Updated 3 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• ZK-University / ZKU
  Zero-Knowledge University
  ☆31Updated 3 months ago
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Updated last month
• RareSkills / noir-puzzles
  ☆50Updated last year
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• ZKCamp / aztec-noir-course
  Resources for learning Noir from ZKCamp's Aztec Course
  ☆43Updated last year
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆66Updated 2 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆49Updated 5 months ago
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆42Updated 3 months ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆35Updated 2 weeks ago
• privacy-scaling-explorations / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆82Updated last year
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆71Updated this week
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆55Updated this week
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago