DelphinusLab / zkWasm-rust

Related projects ⓘ

Alternatives and complementary repositories for zkWasm-rust

• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated 3 weeks ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆94Updated 3 weeks ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated 2 months ago
• scroll-tech / revm
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
  ☆19Updated this week
• DelphinusLab / zkwasm-book
  ☆10Updated last month
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated 2 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆18Updated last week
• 0xPolygonHermez / zkevm-aggregator
  Aggregator for the zkEVM network that uses a stateless prover.
  ☆18Updated last month
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated 7 months ago
• succinctlabs / starkyx
  ☆60Updated 6 months ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆12Updated 6 months ago
• succinctlabs / plonky3
  ☆24Updated 7 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆20Updated this week
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• DelphinusLab / halo2ecc-s
  A re-implemented ECC circuits with halo2.
  ☆27Updated last month
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆30Updated this week
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 2 weeks ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 3 months ago
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆13Updated 2 weeks ago
• jtguibas / halo2-merkle-tree
  ☆17Updated last year
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 3 months ago
• matter-labs / eravm-spec
  EraVM specification.
  ☆15Updated this week
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆15Updated 3 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week