{"repo":"starkware-bitcoin/raito","free":true,"listed":false,"github":"https://github.com/starkware-bitcoin/raito","clone":"git clone https://github.com/starkware-bitcoin/raito.git","description":"Bitcoin ZK client written in Cairo.","language":"Cairo","stars":114,"topics":["bitcoin","cairo","stark","zero-knowledge-proofs"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Bitcoin ZK client written in Cairo. Overview Raito is a Bitcoin consensus client written in Cairo: it implements the same block validation logic as Bitcoin Core but in a provable language. What that means is after you run block validation you can present the result (e.g. chain state) and a succinct proof of execution correctness. The key is that the other party is no longer required to re-run the validation to ensure the chain state is correct, it is enough to just verify the proof. Raito is heavily inspired by 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. 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 Bootstrapping full nodes Raito essentially \"compresses\" the block validation and hence its primary application is enabling quick node synchronization (aka initial block download — IBD). Currently if you are bootstrapping a new full node from scratch there are two options: - Fetch all the block headers and transaction from P2P and then apply them one by one, computing the state and accumulating the UTXO set (There is an o","default_branch":null,"files":null,"tree":[],"storefront":"/r/starkware-bitcoin","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/starkware-bitcoin/raito/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}