Add initial seed to PotConfig just like initial key

crates/sc-proof-of-time/src/lib.rs

@@ -9,7 +9,7 @@ mod time_keeper;
 use crate::state_manager::{init_pot_state, PotProtocolState};
 use core::num::{NonZeroU32, NonZeroU8};
 use std::sync::Arc;
-use subspace_core_primitives::{BlockNumber, PotKey, SlotNumber};
+use subspace_core_primitives::{BlockNumber, PotKey, PotSeed, SlotNumber};
 use subspace_proof_of_time::ProofOfTime;
 
 pub use state_manager::{
@@ -21,8 +21,10 @@ pub use time_keeper::TimeKeeper;
 // TODO: CLean up unused fields
 #[derive(Debug, Clone)]
 pub struct PotConfig {
+    /// PoT seed used initially when PoT chain starts.
+    pub initial_seed: PotSeed,
+
     /// PoT key used initially when PoT chain starts.
-    // TODO: Also add seed field here
     pub initial_key: PotKey,
 
     /// Frequency of entropy injection from consensus.
@@ -53,6 +55,10 @@ pub struct PotConfig {
 /// Components initialized during the new_partial() phase of set up.
 #[derive(Debug)]
 pub struct PotComponents {
+    /// PoT seed used initially when PoT chain starts.
+    // TODO: Remove this from here, shouldn't be necessary eventually
+    pub(crate) initial_seed: PotSeed,
+
     /// PoT key used initially when PoT chain starts.
     // TODO: Remove this from here, shouldn't be necessary eventually
     pub(crate) initial_key: PotKey,
@@ -76,10 +82,12 @@ impl PotComponents {
         let proof_of_time = ProofOfTime::new(config.pot_iterations, config.num_checkpoints)
             // TODO: Proper error handling or proof
             .expect("Failed to initialize proof of time");
+        let initial_seed = config.initial_seed;
         let initial_key = config.initial_key;
         let (protocol_state, consensus_state) = init_pot_state(config, proof_of_time);
 
         Self {
+            initial_seed,
             initial_key,
             is_time_keeper,
             proof_of_time,

crates/sc-proof-of-time/src/state_manager.rs

@@ -337,13 +337,18 @@ impl InternalState {
         let tip = match self.chain.tip() {
             Some(tip) => tip.clone(),
             None => {
+                if proof.seed != self.config.initial_seed {
+                    return Err(PotProtocolStateError::InvalidSeed {
+                        expected: self.config.initial_seed,
+                        actual: proof.seed,
+                    });
+                }
                 if proof.key != self.config.initial_key {
                     return Err(PotProtocolStateError::InvalidKey {
                         expected: self.config.initial_key,
                         actual: proof.key,
                     });
                 }
-                // TODO: Check initial seed
                 // Chain is empty, possible first proof.
                 return Ok(());
             }
@@ -659,7 +664,17 @@ impl StateManager {
                     }
                 })?;
             } else {
-                // TODO: This is ugly, but we need initial key here right now
+                // TODO: This is ugly, but we need initial seed and key here right now
+                let initial_seed = self.state.lock().config.initial_seed;
+                if proof.seed != initial_seed {
+                    return Err(PotVerifyBlockProofsError::UnexpectedSeed {
+                        summary: summary.clone(),
+                        block_number,
+                        slot: slot_number,
+                        parent_slot: parent_slot_number,
+                        error_slot: proof.slot_number,
+                    });
+                }
                 let initial_key = self.state.lock().config.initial_key;
                 if proof.key != initial_key {
                     return Err(PotVerifyBlockProofsError::UnexpectedKey {
@@ -670,7 +685,6 @@ impl StateManager {
                         error_slot: proof.slot_number,
                     });
                 }
-                // TODO: Check initial seed
             }
             to_add.push(proof.clone());
             prev_proof = Some(proof.clone());

crates/sc-proof-of-time/src/time_keeper.rs

@@ -25,6 +25,8 @@ const PROOFS_CHANNEL_SIZE: usize = 12; // 2 * reveal lag.
 
 /// The time keeper manages the protocol: periodic proof generation/verification, gossip.
 pub struct TimeKeeper<Block, Client> {
+    // TODO: Remove this from here, shouldn't be necessary eventually
+    initial_seed: PotSeed,
     // TODO: Remove this from here, shouldn't be necessary eventually
     initial_key: PotKey,
     proof_of_time: ProofOfTime,
@@ -51,6 +53,7 @@ where
         gossip_sender: mpsc::Sender<PotProof>,
     ) -> Self {
         Self {
+            initial_seed: components.initial_seed,
             initial_key: components.initial_key,
             proof_of_time: components.proof_of_time,
             pot_state: Arc::clone(&components.protocol_state),
@@ -115,7 +118,7 @@ where
                 //  proofs to exist
                 // No proof of time means genesis block, produce the very first proof
                 let proof = self.proof_of_time.create(
-                    PotSeed::from_genesis_block_hash(best_hash.into()),
+                    self.initial_seed,
                     self.initial_key,
                     0,
                     best_hash.into(),

crates/subspace-service/src/lib.rs

@@ -82,7 +82,7 @@ use std::marker::PhantomData;
 use std::num::{NonZeroU32, NonZeroU8};
 use std::sync::Arc;
 use subspace_core_primitives::crypto::kzg::{embedded_kzg_settings, Kzg};
-use subspace_core_primitives::PotKey;
+use subspace_core_primitives::{PotKey, PotSeed};
 use subspace_fraud_proof::verifier_api::VerifierClient;
 use subspace_networking::libp2p::multiaddr::Protocol;
 use subspace_networking::libp2p::Multiaddr;
@@ -398,6 +398,7 @@ where
             // CPU and take less than 1 sec to produce per proof
             // during the initial testing.
             PotConfig {
+                initial_seed: PotSeed::from_genesis_block_hash(client.info().genesis_hash.into()),
                 initial_key: pot_config.initial_key,
                 randomness_update_interval_blocks: 18,
                 injection_depth_blocks: 90,