Alternatives and similar repositories for collidervm_toy

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

• succinctlabs / sp1-tee
  ☆26Updated 4 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆23Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆37Updated this week
• personaelabs / merkle-tree
  ☆30Updated last year
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Updated 2 years ago
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆14Updated last year
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Updated last year
• zksecurity / stark-book
  STARK book
  ☆20Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆33Updated 2 years ago
• yetanotherco / zkRust
  ☆43Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated 2 years ago
• crate-crypto / rust-eth-kzg
  ☆31Updated 3 months ago
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆30Updated last year
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Updated 7 months ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Updated 3 years ago
• Zauktion / zauktion-core
  repository for core circom and smart contract
  ☆13Updated 2 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆30Updated 2 years ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Updated 2 years ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆23Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆92Updated 3 years ago