Abdel on Nostr: Starting a new #Bitcoin exploration project: Raito - a Bitcoin ZK client written in ...

Starting a new #Bitcoin exploration project: Raito - a Bitcoin ZK client written in Cairo.

https://github.com/keep-starknet-strange/raito

It aims to provide trustless validation of the Bitcoin blockchain through STARK proof verification.
Yes, it's similar to ZeroSync (for those who are familiar with this project) 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 (https://github.com/keep-starknet-strange/shinigami), 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.