Persistent mode for saya using mock of SNOS (#2253)

* updated celestia and publishing proof

* merging all if end block specified

* running checker on calls

* feat: Cairo 1 checker program update

* added contract checkr

* choosing saya mode

* fragmented proof verification

* batcher input and output parsing

* working piltover

* passing piltover from cli

* saya flow script

* fixes after rebase and new felts

* clippy, formatter and warning

* Update bin/saya/README.md

Co-authored-by: glihm <[email protected]>

* fixes after rebase and new felts

* fixed failing build

* saya.sh small fix

* readme update

* saya script using tags and sozo from source

* readme update for spawn and move example

* minor test comments

* clippy and fixes after rebase

* fixed test

* minor debugging

* updated saya contracts

* just an unused import

* fixed consecutive proofs

* removed merger program

* limited wait time between transactions

* renamed shard file to settlement

* updates serialized args file

* fix: refacto README + add new scripts + fix sozo issues with migration on sepolia

* fix: migrate to new prover sdk

* fix: add some comment and fix cairo 1 arguments

* adapt saya to new prover, new batcher and checker

* updated fact registry to herodotus

* retries on onchain contracts

* piltover class hash update

* refactor part1

* errrors refactor, sharp prover

* updated celestia and json upload

* publishing to celestia

* errors, update script

* added a header to celestia data

* height and commitment calculated values

* piltover update

* Readme

* fmt

* post merge fix

* fmt

* fmt and dependency

* fmt again

* fmt

* removed unused variable

* rebuild test artefacts

* test fix

* db files update

---------

Co-authored-by: tejks <[email protected]>
Co-authored-by: glihm <[email protected]>
Co-authored-by: Mateusz Chudkowski <[email protected]>
Co-authored-by: Mateusz Chudkowski <[email protected]>

Cargo.toml

@@ -118,41 +118,40 @@ sozo-ops = { path = "crates/sozo/ops" }
 sozo-signers = { path = "crates/sozo/signers" }
 sozo-walnut = { path = "crates/sozo/walnut" }
 
-anyhow = "1.0.80"
+anyhow = "1.0.89"
 assert_fs = "1.1"
 assert_matches = "1.5.0"
 async-trait = "0.1.82"
 auto_impl = "1.2.0"
 base64 = "0.21.2"
 bigdecimal = "0.4.1"
 bytes = "1.6"
-cairo-lang-compiler = "=2.7.0"
-cairo-lang-debug = "=2.7.0"
-cairo-lang-defs = "=2.7.0"
-cairo-lang-diagnostics = "=2.7.0"
-cairo-lang-filesystem = "=2.7.0"
-cairo-lang-formatter = "=2.7.0"
-cairo-lang-language-server = "=2.7.0"
-cairo-lang-lowering = "=2.7.0"
-cairo-lang-parser = "=2.7.0"
-cairo-lang-plugins = { version = "=2.7.0", features = [ "testing" ] }
-cairo-lang-project = "=2.7.0"
-cairo-lang-semantic = "=2.7.0"
-cairo-lang-sierra = "=2.7.0"
-cairo-lang-sierra-generator = "=2.7.0"
-cairo-lang-sierra-to-casm = "=2.7.0"
-cairo-lang-starknet = "=2.7.0"
-cairo-lang-starknet-classes = "=2.7.0"
-cairo-lang-syntax = "=2.7.0"
-cairo-lang-test-plugin = "=2.7.0"
-cairo-lang-test-runner = "=2.7.0"
-cairo-lang-test-utils = "=2.7.0"
-cairo-lang-utils = "=2.7.0"
-cairo-proof-parser = { git = "https://github.com/cartridge-gg/cairo-proof-parser", branch = "v0.3.0/new-felt" }
+cairo-lang-compiler = "2.7.0"
+cairo-lang-debug = "2.7.0"
+cairo-lang-defs = "2.7.0"
+cairo-lang-diagnostics = "2.7.0"
+cairo-lang-filesystem = "2.7.0"
+cairo-lang-formatter = "2.7.0"
+cairo-lang-language-server = "2.7.0"
+cairo-lang-lowering = "2.7.0"
+cairo-lang-parser = "2.7.0"
+cairo-lang-plugins = { version = "2.7.0", features = [ "testing" ] }
+cairo-lang-project = "2.7.0"
+cairo-lang-semantic = "2.7.0"
+cairo-lang-sierra = "2.7.0"
+cairo-lang-sierra-generator = "2.7.0"
+cairo-lang-sierra-to-casm = "2.7.0"
+cairo-lang-starknet = "2.7.0"
+cairo-lang-starknet-classes = "2.7.0"
+cairo-lang-syntax = "2.7.0"
+cairo-lang-test-plugin = "2.7.0"
+cairo-lang-test-runner = "2.7.0"
+cairo-lang-test-utils = "2.7.0"
+cairo-lang-utils = "2.7.0"
 cairo-vm = "1.0.0-rc4"
 camino = { version = "1.1.2", features = [ "serde1" ] }
 chrono = { version = "0.4.24", features = [ "serde" ] }
-clap = { version = "4.5.4", features = [ "derive" ] }
+clap = { version = "4.5.16", features = [ "derive", "env" ] }
 clap-verbosity-flag = "2.0.1"
 clap_complete = "4.3"
 console = "0.15.7"
@@ -179,7 +178,7 @@ pretty_assertions = "1.2.1"
 rand = "0.8.5"
 rayon = "1.8.0"
 regex = "1.10.3"
-reqwest = { version = "0.12", features = [ "blocking", "json", "rustls-tls" ], default-features = false }
+reqwest = { version = "0.12.7", features = [ "blocking", "json", "rustls-tls" ], default-features = false }
 rpassword = "7.2.0"
 rstest = "0.18.2"
 rstest_reuse = "0.6.0"

bin/saya/Cargo.toml

@@ -9,6 +9,8 @@ version.workspace = true
 [dependencies]
 anyhow.workspace = true
 clap.workspace = true
+clap-verbosity-flag.workspace = true
+clap_complete.workspace = true
 console.workspace = true
 dojo-utils.workspace = true
 katana-primitives.workspace = true
@@ -23,5 +25,4 @@ tracing-subscriber.workspace = true
 url.workspace = true
 
 [dev-dependencies]
-cairo-proof-parser.workspace = true
 starknet-crypto.workspace = true