Alternatives and similar repositories for mini-zkvm

Users that are interested in mini-zkvm are comparing it to the libraries listed below

• YtzBeno / elliptic-curve-noir
  Elliptic Curve arithmetic operations written in Noir
  ☆16Updated 2 years ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• AmanGotchu / RandaoZKP
  ☆22Updated 2 years ago
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆16Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆15Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old
  ☆17Updated 2 years ago
• DanTehrani / storyform
  ☆17Updated 2 years ago
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆22Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated 9 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago
• JernKunpittaya / zk-github
  Proof contribute to github using zk
  ☆25Updated 2 years ago
• personaelabs / merkle-tree
  ☆31Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated last year
• vacekj / air-fried-gyatt
  Breathe air
  ☆25Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 4 months ago
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆24Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆34Updated 7 months ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated 2 years ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆30Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year