ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
☆19Apr 24, 2026Updated 5 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 months ago
- ☆29Oct 8, 2024Updated 2 years ago
- A curated list of awesome projects using STWO.☆38Jun 27, 2025Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆11Feb 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 last year
- 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 3 months ago
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- ☆16Feb 22, 2023Updated 3 years ago
- Validator software for Starknet stakers written in Go☆15Oct 2, 2026Updated last week
- ☆15Nov 8, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 4 years ago
- Utreexo in rust☆65Oct 1, 2026Updated last week
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- Profiler for Cairo programming language & Starknet☆37Oct 1, 2026Updated last week
- Abi parser for Cairo smart contracts, based on wagmi abitype☆62Dec 13, 2024Updated last year
- Competitive art canvas on Starknet☆37Sep 2, 2025Updated last year
- Nostr x STARKs exploration project.☆11Apr 17, 2025Updated last year
- 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.
- ☆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 3 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆18Oct 2, 2024Updated 2 years ago
- Bitcoin ZK client written in Cairo.☆114Dec 1, 2025Updated 10 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 last year
- Tool for installing all the Starknet essentials for development.☆36Sep 24, 2026Updated 2 weeks ago
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 3 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 last year