From 44b21f3a91ef50a1bd50ea911a65dc36993943b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Kami=C5=84ski?= Date: Fri, 2 Aug 2024 18:50:00 +0200 Subject: [PATCH] wip 7 --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 4d26b6c1..8be5a67d 100644 --- a/README.md +++ b/README.md @@ -39,14 +39,16 @@ style Vb fill:gold Raito, at its core, 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 +* layer 2s ## Roadmap -- [ ] verify block header (block hash, previous block hash, Merkle root, proof-of-work, median time, and difficulty adjustment) + +- [ ] verify block header (block hash, previous block hash, Merkle root, proof-of-work, median time, and difficulty adjustment) - [ ] verify transactions - [ ] integrate with Shinigami and verify scripts - [ ] verify previous chain proofs @@ -63,19 +65,20 @@ Raito is a reference to Light Yagami (夜ē„žęœˆ, Yagami Raito) from the manga/an ![Raito and Raito](./docs/img/memes/raito_shinigami_fusion.jpg) ## Usage + This will compile all the components: ```bash scarb build ``` + This will run the test-suite: ```bash scarb test ``` - ## References - [STWO](https://github.com/starkware-libs/stwo)