tokamak-network / circom-ethereum-opcodes

Related projects: ⓘ

• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 weeks ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆56Updated 2 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Updated last year
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆29Updated 2 months ago
• jasonmorton / halo2-examples
  Include halo2 example circuits
  ☆10Updated 2 years ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• summa-dev / circuits-circom
  Circuits, written in circom, for Proof Of Solvency
  ☆26Updated last year
• vocdoni / zk-franchise-proof-circuit
  zk-Snarks circuit for franchise proof
  ☆12Updated 9 months ago
• tokamak-network / Tokamak-ZkEVM
  A new type of zk-EVM for L2 rollup
  ☆9Updated 3 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆69Updated 4 months ago
• DoHoonKim8 / stark-verifier
  ☆44Updated 6 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• weijiekoh / poseidon-encryption-circom
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆14Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆51Updated this week
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆47Updated 5 months ago
• BrianSeong99 / plonky3_fibonacci
  ☆14Updated 2 weeks ago
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆48Updated this week
• vplasencia / zkSudoku
  zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
  ☆43Updated 10 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆48Updated 2 years ago
• DelphinusLab / zkWasm-host-circuits
  ☆22Updated 2 weeks ago
• DanTehrani / storyform
  ☆18Updated last year
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 9 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 9 months ago
• ingonyama-zk / zkctf-2023-writeups
  Write-ups submitted by CTF participants
  ☆34Updated last year
• hermeznetwork / hermez-docs
  Hermez documentation
  ☆9Updated 2 years ago
• axiom-crypto / axiom-apps
  ☆33Updated last year