thor314 / circuit-examples

Related projects ⓘ

Alternatives and complementary repositories for circuit-examples

• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆93Updated 3 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• aragonzkresearch / noir-trie-proofs
  ☆60Updated 4 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆82Updated last year
• ZKCamp / aztec-noir-course
  Resources for learning Noir from ZKCamp's Aztec Course
  ☆43Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆46Updated 2 years ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆40Updated this week
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated last week
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated last year
• RareSkills / noir-puzzles
  ☆50Updated last year
• nullity00 / zk-blockchain-ideas
  A collection of all the project ideas involving zk, blockchains & what not
  ☆24Updated last year
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆91Updated last year
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• Ethan-000 / halo2_backend
  ☆37Updated 10 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated last year
• colinnielsen / ecrecover-noir
  A Noir circuit that mimics Solidity's ecrecover
  ☆43Updated 9 months ago
• yourbuddyconner / succinct-bootcamp
  This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…
  ☆39Updated last month
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated this week
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆56Updated 7 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• enitrat / cairo1-template
  ☆43Updated last year