Zero‑Knowledge horsepower for Bitcoiners.
No bullshit, just code.
Fix the money, fix the world. Bitcoin: A Peer‑to‑Peer Electronic Cash System
Integrity is doing the right thing, even when no one is watching. Scalable, transparent, and post‑quantum secure computational integrity
| Project | Scope | Tech | Status |
|---|---|---|---|
| Raito | ZK Bitcoin client in Cairo | ⚙️ Cairo | 🟡 Pending |
| Shinigami | Bitcoin Script VM in Cairo | 🧰 Cairo | 🟡 Pending |
| Stratum × STARKs | Trustless block‑template verification | 🛠️ Rust + Cairo | 🟡 Pending |
| s2morrow | STARK-based signature aggregation for the Post Quantum world | 🔒 Cairo | 🟡 Pending |
| Mikan | ZK‑friendly DA layer for L2s | 🌐 Rust | 🟡 Pending |
| Project | Scope | Tech | Status |
|---|---|---|---|
| Simply | Command line tool for SimplicityHL | 🎶 Simplicity | 🟡 Pending |
| Stark Symphony | STARK verifier in SimplicityHL for Liquid | 🎶 Simplicity | 🟡 Pending |
| Project | Scope | Tech | Status |
|---|---|---|---|
| MSSMT | Merkle‑Sum Sparse Merkle Tree | 🦀 Rust | 🟢 PoC |
| Cashubrew | Cashu mint | ✨ Elixir | 🟢 PoC |
| Coconut | Cashu mint | 🥥 Zig | 🟢 PoC |
| Project | Scope | Tech | Status |
|---|---|---|---|
| Askeladd | Verifiable computation for Nostr DVMs | ⛓️ Rust + Cairo | 🟢 PoC |
| starkstr | Nostr × STARKs | 🌟 Rust + Cairo | 🟡 Pending |
Pull requests welcome. Brave experiments encouraged.
If you want to change the world, don't protest. Write code!