Merge branch 'nightly' into filippo/seq-registry-docs

adapters/celestia/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "jupiter"
+name = "celestia"
 version = { workspace = true }
 edition = { workspace = true }
 license = { workspace = true }

adapters/celestia/src/lib.rs

@@ -1,6 +1,6 @@
 pub mod celestia;
 pub mod shares;
-pub use celestia::*;
+pub use crate::celestia::*;
 
 #[cfg(feature = "native")]
 pub mod da_service;

examples/demo-prover/host/Cargo.toml

@@ -19,7 +19,7 @@ tokio = { workspace = true }
 tracing = "0.1.37"
 tracing-subscriber = "0.3.16"
 
-jupiter = { path = "../../../adapters/celestia", features = ["native","bench"] }
+celestia = { path = "../../../adapters/celestia", features = ["native","bench"] }
 demo-stf = { path = "../../demo-stf" }
 sov-rollup-interface = { path = "../../../rollup-interface" }
 risc0-adapter = { path = "../../../adapters/risc0" }

examples/demo-prover/host/benches/prover_bench.rs

@@ -7,14 +7,14 @@ use std::str::FromStr;
 use std::sync::{Arc, Mutex};
 
 use anyhow::Context;
+use celestia::da_service::CelestiaService;
+use celestia::types::{FilteredCelestiaBlock, NamespaceId};
+use celestia::verifier::address::CelestiaAddress;
+use celestia::verifier::{ChainValidityCondition, RollupParams};
+use celestia::BlobWithSender;
 use const_rollup_config::{ROLLUP_NAMESPACE_RAW, SEQUENCER_DA_ADDRESS};
 use demo_stf::app::{App, DefaultPrivateKey};
 use demo_stf::genesis_config::create_demo_genesis_config;
-use jupiter::da_service::CelestiaService;
-use jupiter::types::{FilteredCelestiaBlock, NamespaceId};
-use jupiter::verifier::address::CelestiaAddress;
-use jupiter::verifier::{ChainValidityCondition, RollupParams};
-use jupiter::BlobWithSender;
 use log4rs::config::{Appender, Config, Root};
 use methods::ROLLUP_ELF;
 use regex::Regex;

examples/demo-prover/host/src/main.rs

@@ -2,13 +2,13 @@ use std::env;
 use std::str::FromStr;
 
 use anyhow::Context;
+use celestia::da_service::{CelestiaService, DaServiceConfig};
+use celestia::types::NamespaceId;
+use celestia::verifier::address::CelestiaAddress;
+use celestia::verifier::{CelestiaSpec, RollupParams};
 use const_rollup_config::{ROLLUP_NAMESPACE_RAW, SEQUENCER_DA_ADDRESS};
 use demo_stf::app::{App, DefaultPrivateKey};
 use demo_stf::genesis_config::create_demo_genesis_config;
-use jupiter::da_service::{CelestiaService, DaServiceConfig};
-use jupiter::types::NamespaceId;
-use jupiter::verifier::address::CelestiaAddress;
-use jupiter::verifier::{CelestiaSpec, RollupParams};
 use methods::{ROLLUP_ELF, ROLLUP_ID};
 use risc0_adapter::host::{Risc0Host, Risc0Verifier};
 use serde::Deserialize;

examples/demo-prover/methods/guest/Cargo.toml

@@ -11,7 +11,7 @@ anyhow = "1.0.68"
 risc0-zkvm = { version = "0.16", default-features = false, features = ["std"] }
 risc0-zkvm-platform = "0.16"
 borsh = { version = "0.10.3", features = ["bytes"] }
-jupiter = { path = "../../../../adapters/celestia", default-features = false }
+celestia = { path = "../../../../adapters/celestia", default-features = false }
 demo-stf = { path = "../../../demo-stf", default-features = false }
 sov-rollup-interface = { path = "../../../../rollup-interface", default-features = false}
 risc0-adapter = { path = "../../../../adapters/risc0", default-features = false }
@@ -52,4 +52,4 @@ lto = true
 opt-level = 3
 
 [features]
-bench=["jupiter/bench", "sov-modules-stf-template/bench", "sov-state/bench", "sov-modules-api/bench", "sov-sequencer-registry/bench"]
+bench=["celestia/bench", "sov-modules-stf-template/bench", "sov-state/bench", "sov-modules-api/bench", "sov-sequencer-registry/bench"]

examples/demo-prover/methods/guest/src/bin/rollup.rs

@@ -4,13 +4,13 @@
 
 use std::str::FromStr;
 
+use celestia::types::NamespaceId;
+use celestia::verifier::address::CelestiaAddress;
+use celestia::verifier::{CelestiaSpec, CelestiaVerifier, ChainValidityCondition};
+use celestia::{BlobWithSender, CelestiaHeader};
 use const_rollup_config::{ROLLUP_NAMESPACE_RAW, SEQUENCER_DA_ADDRESS};
 use demo_stf::app::create_zk_app_template;
 use demo_stf::ArrayWitness;
-use jupiter::types::NamespaceId;
-use jupiter::verifier::address::CelestiaAddress;
-use jupiter::verifier::{CelestiaSpec, CelestiaVerifier, ChainValidityCondition};
-use jupiter::{BlobWithSender, CelestiaHeader};
 use risc0_adapter::guest::Risc0Guest;
 use risc0_zkvm::guest::env;
 use sov_rollup_interface::crypto::NoOpHasher;
@@ -19,7 +19,6 @@ use sov_rollup_interface::services::da::SlotData;
 use sov_rollup_interface::stf::StateTransitionFunction;
 use sov_rollup_interface::zk::{StateTransition, ZkvmGuest};
 
-
 // The rollup stores its data in the namespace b"sov-test" on Celestia
 const ROLLUP_NAMESPACE: NamespaceId = NamespaceId(ROLLUP_NAMESPACE_RAW);
 
@@ -33,7 +32,6 @@ risc0_zkvm::guest::entry!(main);
 //  5. Call end_slot
 //  6. Output (Da hash, start_root, end_root, event_root)
 pub fn main() {
-
     env::write(&"Start guest\n");
     let guest = Risc0Guest;
 
@@ -57,15 +55,13 @@ pub fn main() {
     let witness: ArrayWitness = guest.read_from_host();
     env::write(&"Witness have been read\n");
 
-
     env::write(&"Applying slot...\n");
     let result = app.apply_slot(witness, &header, &mut blobs);
 
     env::write(&"Slot has been applied\n");
 
-
     // Step 3: Verify tx list
-    let verifier = CelestiaVerifier::new(jupiter::verifier::RollupParams {
+    let verifier = CelestiaVerifier::new(celestia::verifier::RollupParams {
         namespace: ROLLUP_NAMESPACE,
     });
 
@@ -92,7 +88,10 @@ pub fn main() {
 
     #[cfg(feature = "bench")]
     {
-        let tuple = ("Cycles per block".to_string(), (end_cycles - start_cycles) as u64);
+        let tuple = (
+            "Cycles per block".to_string(),
+            (end_cycles - start_cycles) as u64,
+        );
         let mut serialized = Vec::new();
         serialized.extend(tuple.0.as_bytes());
         serialized.push(0);

examples/demo-rollup/Cargo.toml

@@ -27,7 +27,7 @@ futures = "0.3"
 tokio = { workspace = true }
 tracing-subscriber = "0.3.17"
 
-jupiter = { path = "../../adapters/celestia" }
+celestia = { path = "../../adapters/celestia" }
 demo-stf = { path = "../demo-stf", features = ["native"] }
 sov-rollup-interface = { path = "../../rollup-interface" }
 sov-db = { path = "../../full-node/db/sov-db" }