ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
☆19Jun 5, 2025Updated 9 months ago
Alternatives and similar repositories for collidervm_toy
Users that are interested in collidervm_toy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 2 years ago
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated last year
- ☆29Oct 8, 2024Updated last year
- All we want is revm and commonware. Leave everything else at the door.☆45Feb 2, 2026Updated last month
- Utreexo in rust☆60Mar 17, 2026Updated last week
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Dec 4, 2024Updated last year
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated 11 months ago
- Ring signatures (SAG, BLSAG) for Nostr, written in Rust 🦀☆16Apr 6, 2025Updated 11 months ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 5 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated 5 months ago
- Integration of IBC with Starknet☆21Sep 16, 2025Updated 6 months ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Example templates using the Swing API, SDK, and Widget☆14Sep 2, 2025Updated 6 months ago
- Implementation for https://eprint.iacr.org/2025/1300☆42Sep 2, 2025Updated 6 months ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆25Nov 24, 2025Updated 4 months ago
- Trading strategy documentaiton☆22Updated this week
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- I like to learn new things☆11Feb 28, 2026Updated 3 weeks ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Aug 7, 2024Updated last year
- Tool for installing all the Starknet essentials for development.☆36Updated this week
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- Poseidon Rust library☆39Mar 13, 2023Updated 3 years ago
- Abi parser for Cairo smart contracts, based on wagmi abitype☆63Dec 13, 2024Updated last year
- Helm charts for blockscout and other services☆26Updated this week
- ☆45Feb 24, 2026Updated last month
- A Go HTTP logger middleware, for babies☆16Jun 1, 2023Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆48Dec 18, 2025Updated 3 months ago
- ☆42Oct 26, 2024Updated last year
- ☆11Apr 28, 2022Updated 3 years ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆56Nov 3, 2025Updated 4 months ago
- OTIS Code☆13Mar 19, 2023Updated 3 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Feb 18, 2023Updated 3 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- A pokemon app that let's you explore a large libarary of pokemons, view their strenghts and save your favorite pokemons!. (Built using fr…☆11Apr 29, 2022Updated 3 years ago