matter-labs / zksync-crypto

Related projects ⓘ

Alternatives and complementary repositories for zksync-crypto

• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated last month
• DelphinusLab / zkWasm-prover
  ☆20Updated this week
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆18Updated last month
• Consensys / corset
  ☆14Updated this week
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 2 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆16Updated 4 months ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆33Updated this week
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated last year
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆33Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• halo2-ce / halo2
  ☆28Updated last year
• succinctlabs / plonky3
  ☆23Updated 7 months ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆29Updated 3 months ago
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated 2 months ago
• w3f / fflonk
  ☆25Updated 5 months ago
• Lagrange-Labs / mapreduce-plonky2
  ☆13Updated this week
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year