Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

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

Bitcoin ZK client written in Cairo.
https://github.com/keep-starknet-strange/raito

bitcoin cairo stark zero-knowledge-proofs

Last synced: about 2 months ago
JSON representation

Bitcoin ZK client written in Cairo.

Awesome Lists containing this project

README 

        


    raito-logo



   ***Bitcoin ZK client written in Cairo.***



GitHub Workflow Status

 Bitcoin

 Cairo

Exploration Team




## Overview



Shinigami is a zero-knowledge Bitcoin client implemented in Cairo. It aims to provide trustless validation of the Bitcoin blockchain through STARK proof verification. It is heavily inspired by [ZeroSync](https://github.com/ZeroSync/ZeroSync) project.



> **Disclaimer:** This project is in the early stages of development and should not be used in production. It will evolve rapidly, expect breaking changes.





  client




At its core, consensus client accepts two inputs: a batch of consecutive blocks n to m and a STARK proof of the state of the chain up to block nβˆ’1. It ensures that the historical chain state is valid by verifying the STARK proof. Then, it produces a new chain state by applying the new blocks on top of the historical state. As a result, a proof of the new state is generated.



## Applications



Although this is a highly experimental project without immediate plans for deployment, there are many potential applications:



* light clients

* IBD speedup

* non custodial bridges

* layer 2s



## Roadmap





  components




### Milestone 1 - Block header validation



Implement a reduced light client that can verify a range of blocks starting at genesis.  

It does not have to validate execution, just check that the block header fields follow the protocol.



Tasks:



* [x] block hash computation

* [x] proof-of-work validation/computation

* [x] block time validation/computation

* [x] block difficulty adjustment

* [x] script for fetching arbitrary block data

* [x] script for preparing program arguments

* [x] script for running the program e2e for multiple blocks



### Milestone 2 - Partial transaction validation



Extend light client with partial transaction validation, but without UTXO checks.



Tasks:



* [x] reassess validation check list (analyze Bitcoin core codebase)

* [x] generate & run integration tests e2e instead of Cairo codegen

* [x] transaction ID calculation

* [x] transaction root computation

* [x] validate transaction fee

* [x] validate coinbase transaction

* [x] validate that transaction can be mined (locktime, sequence, coinbase maturity)

* [x] validate segwit specific data (wtxid commitment)

* [x] validate block weight

* [x] script that fetches blocks extended with references UTXOs

* [x] script that runs the program e2e for a span of blocks



### Milestone 3 - Bitcoin script validation



Try to run script validation with external Cairo crate.



Tasks:



* [x] Integrate Shinigami-script



### Milestone 4 - UTXO set verification



Add inclusion proofs for the UTXOs included in the block.



Tasks:



* [x] isolate unspendable outputs (OP_RETURN, etc)

* [x] implement cache for UTXOs spent in the same block they are created (*)

* [x] implement transaction outpoint hashing

* [x] implement Utreexo accumulator (addition)

* [x] Utreexo backend that maintains utxo set and Utreexo roots

* [x] implement Utreexo single inclusion proof verification

* [x] implement Utreexo single output removal

* [x] implement Utreexo bridge node that generates individual inclusion proofs

* [x] implement script that runs the program e2e for a span of blocks

* [x] implement Utreexo accumulator version compatible with [rustreexo](https://github.com/mit-dci/rustreexo)



### Milestone 5 - Full consensus validation



Validate full block execution over large number of blocks, including the Bitcoin scripts checks and Utreexo proofs.



* [x] consensus logic

* [ ] consensus logic + utreexo proofs  

* [ ] consensus logic + utreexo proofs + scripts



### Milestone 6 - Proving



Recursively verify STARK proofs of chain state updates. Still largely tbd. From initial observations it is clear that a series of optimizations will be necessary.



* [ ] sha256 optimization

* [ ] don't use ByteArray when serializing data

* [ ] blocklevel recursion

* [ ] consider using garaga msm to batch signature verifications

* [ ] identify other Cairo code botlenecks



# Contact



* [Telegram](https://t.me/ShinigamiStarknet)

* [OnlyDust](https://app.onlydust.com/p/raito---bitcoin-zk-client)



## Usage



This will compile all the packages:



```bash

scarb build

```



This will run tests for all the packages:



```bash

scarb test

```



## Build dependencies



Install necessary packages required by Python scripts:



```bash

pip install -r scripts/data/requirements.txt

```



## References



* [Data processing notes](./docs/data.md)

* [Utreexo implementation notes](./docs/utreexo.md)

* [ZeroSync](https://github.com/ZeroSync/ZeroSync)

* [Shinigami Script](https://github.com/keep-starknet-strange/shinigami)

* [STWO](https://github.com/starkware-libs/stwo)

* [Cairo](https://www.cairo-lang.org/)

* [Circle STARK paper](https://eprint.iacr.org/2024/278)



## Contributors ✨



Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/docs/en/emoji-key)):



  

    

      Aβ‚Ώdel ∞/21M 🐺 - 🐱
Aβ‚Ώdel ∞/21M 🐺 - 🐱
πŸ’»

      Maciej KamiΕ„ski @ StarkWare
Maciej KamiΕ„ski @ StarkWare
πŸ’»

      Brandon R
Brandon R
πŸ’»

      Tristan
Tristan
πŸ’»

      Jean-Michel
Jean-Michel
πŸ’»

      lomasson
lomasson
πŸ’»

      Michael Zaikin
Michael Zaikin
πŸ’»

    

    

      Harsh Pratap Singh
Harsh Pratap Singh
πŸ’»

      Xavek
Xavek
πŸ’»

      Olufemi Olumaiyegun
Olufemi Olumaiyegun
πŸ’»

      MSG
MSG
πŸ’»

      Mubarak Muhammad Aminu
Mubarak Muhammad Aminu
πŸ’»

      oluwapeski
oluwapeski
πŸ’»

      Steven
Steven
πŸ’»

    

    

      Yusuf Habib
Yusuf Habib
πŸ’»

      Gerson
Gerson
πŸ’»

      PavitraAgarwal21
PavitraAgarwal21
πŸ’»

      Nguyen Dao
Nguyen Dao
πŸ’»

      Hunter001
Hunter001
πŸ’»

      feltroid Prime
feltroid Prime
πŸ’»

      Mexes
Mexes
πŸ’»

    

    

      BlockyJ
BlockyJ
πŸ’»

      Maksim Strebkov
Maksim Strebkov
πŸ’»

      Herbie Wildwood
Herbie Wildwood
πŸ’»

      Fishon Amos
Fishon Amos
πŸ’»

      Wolf
Wolf
πŸ’»

      Ilia Batii
Ilia Batii
πŸ’»

      Thomas Marchand
Thomas Marchand
πŸ’»

    

  



This project follows the [all-contributors](https://github.com/all-contributors/all-contributors) specification. Contributions of any kind welcome!