Brandon Roberts demos Shinigami, a Bitcoin script implementation designed to scale Bitcoin using STARK proofs. Shinigami uses Starkware’s Cairo for provable programming and is currently working towards Stark client development. Oh, it’s also named after the titular character of Deathnote, “Shinigami”.
- Shinigami creates STARK proofs capable of verifying Bitcoin Script Execution
- Rust-like, battle tested, Cairo is “ready to go”
- Use cases: Fast initial block downloads, Bitcoin-like rollups (requires OP_CAT), zkThreads, integrations with Lightning Network, cross-chain verification
- Shinigami includes execution & consensus libraries
- Project is fully open source and Starkware pays people to contribute