ColliderVM / collidervm_toyLinks
ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
☆18Updated 6 months ago
Alternatives and similar repositories for collidervm_toy
Users that are interested in collidervm_toy are comparing it to the libraries listed below
Sorting:
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated 2 years ago
- ☆26Updated 2 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- STARK book☆20Updated last year
- ☆31Updated last month
- KZG commitments over BLS12-381☆37Updated 3 years ago
- ☆42Updated last year
- Cryptographic protocols☆38Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 10 months ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆31Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Delve into low-level RISC Zero machine☆29Updated last year
- ☆50Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆33Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated 2 years ago
- Ethereum stateless tools☆45Updated 8 months ago
- ☆30Updated last year
- Web Proofs using zk-SXG☆30Updated last year
- Verifying Cairo Programs in SP1☆14Updated last year
- RLN on KZG☆21Updated 2 years ago