Starting a new
#Bitcoin exploration project: Raito - a Bitcoin ZK client written in Cairo.
github.com/keep-starknet-str…
It aims to provide trustless validation of the Bitcoin blockchain through STARK proof verification.
Yes, it's similar to
@ZeroSync_ but in the new version of Cairo language.
Design goals:
- Usability: One-click install and run. WebAssembly compatibility for browser-based execution.
- Maintainability: Emphasis on simplicity and clean code structure.
- Performance: Optimized for speed and efficiency, leveraging STWO's next-generation prover.
It will work well in tandem with Shinigami (
github.com/keep-starknet-str…), the other recent exploration project we started.
Basically when you combine the two you have:
- Raito: Verification of Consensus Rules.
- Shinigami: Verification of Execution of Bitcoin Script programs.
Verifiable Computation is going to change the world.