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
Sorting:
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 2 years ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Dec 4, 2024Updated last year
- Example templates using the Swing API, SDK, and Widget☆14Sep 2, 2025Updated 6 months ago
- ☆29Oct 8, 2024Updated last year
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated 10 months ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 5 months ago
- Ring signatures (SAG, BLSAG) for Nostr, written in Rust 🦀☆16Apr 6, 2025Updated 10 months ago
- Utreexo in rust☆59Updated this week
- Integration of IBC with Starknet☆21Sep 16, 2025Updated 5 months ago
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated last year
- Trading strategy documentaiton☆22Updated this week
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated 5 months ago
- All we want is revm and commonware. Leave everything else at the door.☆45Feb 2, 2026Updated last month
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Implementation for https://eprint.iacr.org/2025/1300☆42Sep 2, 2025Updated 6 months ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- Helm charts for blockscout and other services☆26Feb 17, 2026Updated 2 weeks ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆25Nov 24, 2025Updated 3 months 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 Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Feb 18, 2023Updated 3 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
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- Abi parser for Cairo smart contracts, based on wagmi abitype☆63Dec 13, 2024Updated last year
- ZPiE: Zero-knowledge Proofs in Embedded systems☆31Dec 5, 2025Updated 2 months ago
- ☆29Apr 7, 2021Updated 4 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆70Jun 6, 2022Updated 3 years ago
- 📃 List of articles and materials about Modular Blockchain☆22May 24, 2022Updated 3 years ago
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- ☆43Feb 24, 2026Updated last week
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- Competitive art canvas on Starknet☆37Sep 2, 2025Updated 6 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆54Nov 3, 2025Updated 4 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Oct 13, 2024Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated 2 months ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆34Jan 19, 2021Updated 5 years ago