Alternatives and similar repositories for learner

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

• TheMesocarp / aika
  an agentic simulator framework in Rust.
  ☆27Updated last week
• pluto / edge
  client side proving
  ☆30Updated 2 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆60Updated last week
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆19Updated this week
• DaniPopes / zevm
  Zig EVM
  ☆32Updated 5 months ago
• worldfnd / ProveKit
  Client side zero-knowledge proving.
  ☆68Updated this week
• ithacaxyz / metrics-derive
  Procedural macro for automatically implementing metrics description and initialization.
  ☆22Updated last month
• DaniPopes / keccak-asm
  ☆14Updated 8 months ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆26Updated 5 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆30Updated last week
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 7 months ago
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆35Updated 3 weeks ago
• succinctlabs / rsp-subblock
  ☆19Updated 2 weeks ago
• primitivefinance / aika
  Discrete event simulator built in Rust 🦀
  ☆13Updated last year
• personaelabs / merkle-tree
  ☆31Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆52Updated 2 months ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated 2 years ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆21Updated last month
• shuklaayush / chip0
  The first CHIP-8 zkvm
  ☆20Updated last year
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated 2 years ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• davebryson / revmup
  A smart-contract api and client for revm
  ☆18Updated last year
• yetanotherco / zkRust
  ☆40Updated 7 months ago
• warlock-labs / sylow
  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve
  ☆45Updated 2 months ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated last week
• op-rs / hilo
  A suite of portable, extensible `std` components for the superchain.
  ☆21Updated 4 months ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆31Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆60Updated last year
• succinctlabs / hypercube-verifier
  ☆34Updated 2 weeks ago