Alternatives and similar repositories for corset:

Users that are interested in corset are comparing it to the libraries listed below

• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 2 months ago
• matter-labs / eravm-spec
  EraVM specification.
  ☆16Updated this week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆26Updated this week
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated last month
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework.
  ☆33Updated this week
• succinctlabs / zkvm-perf
  ☆19Updated 3 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• Layr-Labs / rust-kzg-bn254
  ☆14Updated this week
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last month
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated this week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated 3 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆23Updated this week
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆27Updated 2 months ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 5 months ago
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated 2 weeks ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆28Updated last month
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆52Updated last year
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 6 months ago
• megaeth-labs / reth-perf-utils
  ☆15Updated 7 months ago
• 0xPolygonHermez / zkevm-aggregator
  Aggregator for the zkEVM network that uses a stateless prover.
  ☆19Updated 3 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 10 months ago
• clvv / rcc
  ☆24Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆29Updated this week
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 4 months ago
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆31Updated 10 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆68Updated this week
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 5 months ago