Alternatives and similar repositories for corset

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

• succinctlabs / zkvm-perf
  ☆27Updated 11 months ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 9 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 2 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆38Updated 3 weeks ago
• ghiliweld / sszb
  High Performance SSZ Implementation
  ☆14Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆35Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆76Updated 10 months ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆33Updated last month
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆33Updated 2 years ago
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆23Updated 3 weeks ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆43Updated 2 months ago
• shuklaayush / chip0
  The first CHIP-8 zkvm
  ☆21Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆79Updated 3 weeks ago
• matter-labs / eravm-spec
  EraVM specification.
  ☆18Updated 2 weeks ago
• NethermindEth / Catalyst
  The preconfer sidecar for Taiko Alethia preconfirmations 🥁
  ☆43Updated last week
• noir-lang / acvm
  ☆49Updated 2 years ago
• pluto / edge
  client side proving
  ☆39Updated 9 months ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 9 months ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆37Updated 3 years ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆42Updated 3 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• lita-xyz / valida-vm
  The Valida execution engine, prover, and verifier
  ☆28Updated 3 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆35Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Updated 8 months ago
• DaniPopes / keccak-asm
  ☆17Updated last year
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆15Updated 9 months ago
• vuvoth / ccls
  circom language server
  ☆21Updated 7 months ago
• fe-lang / sonatina
  ☆53Updated 3 weeks ago
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆18Updated 3 weeks ago
• geometryxyz / wgsl-poseidon
  ☆33Updated 2 years ago