ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
☆18Apr 24, 2026Updated 3 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
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Jul 28, 2026Updated 2 weeks ago
- ☆29Oct 8, 2024Updated last year
- A curated list of awesome projects using STWO.☆39Jun 27, 2025Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 9 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.
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 3 years ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 10 months ago
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- CLI to verify your starknet contracts classes on block explorers!☆45Jun 30, 2026Updated last month
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- ☆16Feb 22, 2023Updated 3 years ago
- Validator software for Starknet stakers written in Go☆15Jul 28, 2026Updated last week
- ☆15Nov 8, 2023Updated 2 years ago
- 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.
- Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers☆18Aug 1, 2025Updated last year
- RPC server and client to run the Stone Prover on the Madara sequencer.☆11Oct 16, 2024Updated last year
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- Utreexo in rust☆64Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- Profiler for Cairo programming language & Starknet☆37Aug 3, 2026Updated last week
- Abi parser for Cairo smart contracts, based on wagmi abitype☆62Dec 13, 2024Updated last year
- Competitive art canvas on Starknet☆38Sep 2, 2025Updated 11 months ago
- Nostr x STARKs exploration project.☆11Apr 17, 2025Updated last year
- 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.
- ☆16Apr 16, 2024Updated 2 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Dec 8, 2023Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Bitcoin ZK client written in Cairo.☆114Dec 1, 2025Updated 8 months ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated 10 months ago
- Tool for installing all the Starknet essentials for development.☆35Updated this week
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of cryptographic and zero-knowledge algorithms explained simply and implemented from scratch in Python and Rust☆44Jul 18, 2024Updated 2 years ago
- Infrastructure related stuff for Madara.☆16Sep 26, 2023Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- ☆15Jan 10, 2025Updated last year
- WadRay library for Cairo and Starknet☆21Apr 24, 2025Updated last year
- Example templates using the Swing API, SDK, and Widget☆14Sep 2, 2025Updated 11 months ago