Alternatives and similar repositories for collidervm_toy

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

• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 8 months ago
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆28Updated 7 months ago
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆14Updated 7 months ago
• succinctlabs / sp1-tee
  ☆19Updated this week
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆35Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆40Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• he-cairo / paillier.cairo
  Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo
  ☆15Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 3 months ago
• personaelabs / merkle-tree
  ☆31Updated last year
• vacekj / air-fried-gyatt
  Breathe air
  ☆24Updated last year
• yetanotherco / zkRust
  ☆40Updated 7 months ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated last week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• pluto / edge
  client side proving
  ☆30Updated 2 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆21Updated last month
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆23Updated 2 years ago
• keep-starknet-strange / nori
  RPC request router and proxy for Starknet, forked from Optimism proxyd.
  ☆11Updated last year
• delendum-xyz / starkvm-compiler
  compiler tooling for Stark-based zkVMs
  ☆16Updated 2 years ago
• Maddiaa0 / high-orbit-sonic-cannon
  CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
  ☆16Updated last year
• iden3 / circom-witnesscalc
  ☆15Updated last week
• nullity00 / zk-blockchain-ideas
  A collection of all the project ideas involving zk, blockchains & what not
  ☆24Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year