tokamak-network / circom-ethereum-opcodes

Related projects ⓘ

Alternatives and complementary repositories for circom-ethereum-opcodes

• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 months ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆56Updated 4 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• dcbuild3r / ptau-deserializer
  .ptau deserializer for gnark groth16 bn254 trusted setup
  ☆25Updated 5 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• 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
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆18Updated last week
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• summa-dev / circuits-circom
  Circuits, written in circom, for Proof Of Solvency
  ☆26Updated last year
• BrianSeong99 / Plonky3_Intro_and_Fibonacci
  A Plonky3 implementation example of Fibonacci program
  ☆24Updated last month
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• DoHoonKim8 / stark-verifier
  ☆46Updated 8 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆28Updated 6 months ago
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆34Updated last year
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆25Updated this week
• jasonmorton / halo2-examples
  Include halo2 example circuits
  ☆10Updated 2 years ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• privacy-scaling-explorations / zk-kit.circom
  A monorepo of reusable Circom circuits.
  ☆21Updated 4 months ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆29Updated 4 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• moven0831 / fraud-proof-groth16
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Updated last year
• personaelabs / heyanoun
  nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
  ☆17Updated last year
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year