Shinigami, Cairo and STARKs with Brandon Roberts

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

Related Episodes

Want to do more with bitcoin? Bitcoin miner MARA has a sidechain for you!
Nov 18, 2024
Weikeng Chen of L2 Iterative walks us through the use of STARKs on Bitcoin, plus some talk on OP_CAT!
Nov 18, 2024
What if we created Bitcoin covenants using fancy encryption? That's the idea behind Bitcoin PIPEs!
Nov 18, 2024
Miner extractable value is a fundamental problem when it comes to Bitcoin's scaling choices. How do we limit or eliminate MEV is a pretty difficult ask, however.
Nov 18, 2024
Ark picks up where on-chain Bitcoin and Lightning drops off.
Nov 14, 2024
Bitcoin is going to break at some point. It's just in the math. But how do we stop that from happening beforehand? Hunter takes us into quantum proofing Bitcoin.
Nov 14, 2024
How can we get better safety and security around storing Bitcoin? There's an OP_CODE for that!
Nov 14, 2024
Have we really hit a block size limit with the Bitcoin L1? Lightning Network co-inventor Tadge Dryja thinks not.
Nov 12, 2024
Can we do more with Bitcoin script? Well, we used to be able too! And maybe we can in the future, with the Great Script Restoration.
Nov 12, 2024
Subscribe To read the content

By subscribing, you agree to the Blockspace Privacy Policy and Terms and Conditions.