0xPolygonHermez / zkevm-techdocs

Related projects: ⓘ

• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 6 months ago
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆110Updated last year
• succinctlabs / gnark-plonky2-verifier
  ☆85Updated last month
• axiom-crypto / axiom-eth
  ☆93Updated last month
• 0xPolygonHermez / pil-stark
  Generates a stark from a pil
  ☆94Updated last month
• privacy-scaling-explorations / snark-verifier
  ☆144Updated 6 months ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆93Updated last year
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆81Updated this week
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆183Updated this week
• EspressoSystems / HotShot
  ☆119Updated this week
• tanpx12 / zk-rollup-tutorial
  A guild to build simple zk rollup
  ☆42Updated 2 years ago
• anton-rs / kona
  A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
  ☆114Updated this week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆81Updated last month
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆94Updated 3 weeks ago
• tarassh / zkSNARK-under-the-hood
  Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
  ☆68Updated 8 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated last year
• 0xPolygonZero / zk_evm
  ☆79Updated this week
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆77Updated 2 weeks ago
• privacy-scaling-explorations / halo2wrong
  ☆116Updated this week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆61Updated this week
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆95Updated 5 months ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆77Updated 5 months ago
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆76Updated last week
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆95Updated last month
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆53Updated this week
• succinctlabs / sp1-reth
  A performant, type-1 zkEVM written in Rust & SP1.
  ☆124Updated this week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆135Updated 4 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆126Updated last year
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Updated last year
• privacy-scaling-explorations / zkevm-chain
  zkevm-chain: Deprecated
  ☆86Updated last year