matter-labs / zksync-crypto

Related projects ⓘ

Alternatives and complementary repositories for zksync-crypto

• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated 2 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆12Updated 6 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago
• DelphinusLab / zkWasm-prover
  ☆20Updated this week
• Lagrange-Labs / mapreduce-plonky2
  ☆13Updated this week
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆16Updated 4 months ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 3 months ago
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• succinctlabs / plonky3
  ☆24Updated 7 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated last year
• Consensys / corset
  ☆14Updated last week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆18Updated 9 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• clvv / rcc
  ☆24Updated last year
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆15Updated last week
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated 3 weeks ago
• Orbis-Tertius / MVlookups
  A note on multivariate lookup arguments
  ☆10Updated last year
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆33Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 2 weeks ago
• Sladuca / plonky2-ecgfp5
  Plonky2 gadgets for EcGFp5 curve and base field arithmetic
  ☆18Updated last year