Alternatives and similar repositories for zk-language-comparison:

Users that are interested in zk-language-comparison are comparing it to the libraries listed below

• succinctlabs / zkvm-perf
  ☆23Updated 2 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆35Updated 2 weeks ago
• Consensys / corset
  ☆17Updated 2 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆64Updated 2 years ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆24Updated this week
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• sedaprotocol / bn254
  ☆15Updated 10 months ago
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆27Updated this week
• Veridise / Coda
  ☆47Updated last year
• Layr-Labs / rust-kzg-bn254
  ☆14Updated 2 weeks ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆24Updated 2 weeks ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆29Updated this week
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 9 months ago
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆15Updated last week
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated 2 years ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 2 weeks ago
• clvv / rcc
  ☆24Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 9 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• noir-lang / acvm
  ☆46Updated last year
• Lagrange-Labs / mapreduce-plonky2
  ☆19Updated this week
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆54Updated this week
• Yoii-Inc / zk-mpc
  ☆26Updated 2 weeks ago
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆15Updated last year
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆20Updated 2 years ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆33Updated 2 years ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆29Updated last week