0xPolygonHermez / zkasmcom

Related projects ⓘ

Alternatives and complementary repositories for zkasmcom

• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated this week
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 3 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆77Updated 2 weeks ago
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• 0xPolygonHermez / zkevm-testvectors
  ☆28Updated 2 weeks ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• vacp2p / zk-explorations
  ☆32Updated 7 months ago
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆30Updated 8 months ago
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 8 months ago
• DoHoonKim8 / stark-verifier
  ☆46Updated 8 months ago
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Updated last month
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆35Updated last week
• 0xPolygonHermez / zisk
  ☆34Updated this week
• agglayer / agglayer-go
  ☆19Updated 3 months ago
• DelphinusLab / halo2-gpu-specific
  ☆38Updated 3 weeks ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated last week
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆39Updated last year
• 0xPolygonHermez / zkevm-aggregator
  Aggregator for the zkEVM network that uses a stateless prover.
  ☆18Updated last month
• yetanotherco / zkRust
  ☆30Updated 3 weeks ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• AztecProtocol / aztec3-circuits
  Circuit infrastructure for Aztec 3.0
  ☆12Updated last year
• tekkac / cairo-alt_bn128
  bn254 pairing library for Cairo Zero
  ☆26Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 7 months ago