ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
☆19Apr 24, 2026Updated 6 months ago
Alternatives and similar repositories for collidervm
Users that are interested in collidervm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated 2 years ago
- ☆12Sep 24, 2025Updated last year
- Powering Verifiable Computation for Nostr Data Vending Machines.☆26Jul 28, 2026Updated 3 months ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- A curated list of awesome projects using STWO.☆38Jun 27, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆30Oct 8, 2024Updated 2 years ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆58Nov 3, 2025Updated 11 months ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆11Feb 26, 2024Updated 2 years ago
- Step by step Storage Proofs with Herodotus || Workshop/tutorial showcasing YAB <> Herodotus integration☆10Aug 25, 2026Updated 2 months ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated last year
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 3 years ago
- Celestia -> Starknet bridge☆47May 22, 2024Updated 2 years ago
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Feb 22, 2023Updated 3 years ago
- Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.☆13Sep 18, 2024Updated 2 years ago
- Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers☆18Aug 1, 2025Updated last year
- Proving System For VEX☆14Nov 17, 2025Updated 11 months ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 4 years ago
- A GPU-accelerated Stwo prover by AntChain OpenLabs.☆13Mar 20, 2026Updated 7 months ago
- Validator software for Starknet stakers written in Go☆15Updated this week
- MosaicMem in Rust - Hybrid Spatial Memory for Video World Models☆19Mar 26, 2026Updated 7 months ago
- Fractal scaling without fragmentation, powered by the Starknet stack 🐺☆12Mar 11, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CLI to verify your starknet contracts classes on block explorers!☆45Jun 30, 2026Updated 4 months ago
- ☆15Nov 8, 2023Updated 2 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Dec 8, 2023Updated 2 years ago
- RPC server and client to run the Stone Prover on the Madara sequencer.☆11Oct 16, 2024Updated 2 years ago
- ☆16Apr 16, 2024Updated 2 years ago
- Abi parser for Cairo smart contracts, based on wagmi abitype☆62Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- Tool for installing all the Starknet essentials for development.☆36Oct 13, 2026Updated 2 weeks ago
- Bitcoin ZK client written in Cairo.☆114Dec 1, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 3 years ago
- Competitive art canvas on Starknet☆37Sep 2, 2025Updated last year
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated last year
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 3 years ago
- Utreexo in rust☆65Oct 9, 2026Updated 3 weeks ago
- Example templates using the Swing API, SDK, and Widget☆14Sep 2, 2025Updated last year
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated last year