fix(maat): proofs

Cargo.toml

@@ -209,6 +209,7 @@ frame-benchmarking = { git = "https://github.com/paritytech/polkadot-sdk", tag =
 frame-benchmarking-cli = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2" }
 frame-executive = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }
 frame-support = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }
+frame-support-test = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }
 frame-system = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }
 frame-system-benchmarking = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }
 frame-system-rpc-runtime-api = { git = "https://github.com/paritytech/polkadot-sdk", tag = "polkadot-stable2409-2", default-features = false }

cli/polka-storage-provider/client/Cargo.toml

@@ -21,6 +21,7 @@ bls12_381 = { workspace = true }
 cid = { workspace = true, features = ["std"] }
 clap = { workspace = true, features = ["derive"] }
 codec = { workspace = true }
+hex = { workspace = true }
 jsonrpsee = { workspace = true, features = ["http-client", "macros", "server", "ws-client"] }
 sc-cli = { workspace = true }
 serde = { workspace = true }

cli/polka-storage-provider/client/src/commands/proofs.rs

@@ -5,6 +5,7 @@ use std::{
     str::FromStr,
 };
 
+use codec::Encode;
 use mater::CarV2Reader;
 use polka_storage_proofs::{
     porep::{self, sealer::Sealer},
@@ -16,7 +17,11 @@ use primitives_commitment::{
     piece::{PaddedPieceSize, PieceInfo},
     Commitment,
 };
-use primitives_proofs::{derive_prover_id, RegisteredPoStProof, RegisteredSealProof};
+use primitives_proofs::{
+    derive_prover_id,
+    randomness::{draw_randomness, DomainSeparationTag},
+    RegisteredPoStProof, RegisteredSealProof, SectorNumber,
+};
 use storagext::multipair::{MultiPairArgs, MultiPairSigner};
 use subxt::tx::Signer;
 
@@ -72,6 +77,15 @@ pub enum ProofsCommand {
         /// Directory where the proof files and the sector will be put. Defaults to the current directory.
         #[arg(short, long)]
         output_path: Option<PathBuf>,
+        /// Sector number
+        #[arg(long)]
+        sector_id: u32,
+        /// The height at which we draw the randomness for deriving a sealed cid.
+        #[arg(long)]
+        seal_randomness_height: u64,
+        /// Precommit block number
+        #[arg(long)]
+        pre_commit_block_number: u64,
     },
     /// Generates PoSt verifying key and proving parameters for zk-SNARK workflows (submit windowed PoSt)
     #[clap(name = "post-params")]
@@ -203,17 +217,42 @@ impl ProofsCommand {
                 commp,
                 output_path,
                 cache_directory,
+                sector_id,
+                seal_randomness_height,
+                pre_commit_block_number,
             } => {
                 let Some(signer) = Option::<MultiPairSigner>::from(signer_key) else {
                     return Err(UtilsCommandError::NoSigner)?;
                 };
-                let prover_id = derive_prover_id(signer.account_id());
 
-                // Those are hardcoded for the showcase only.
-                // They should come from Storage Provider Node, precommits and other information.
-                let sector_id = 77.into();
-                let ticket = [12u8; 32];
-                let seed = [13u8; 32];
+                let sector_number = SectorNumber::try_from(sector_id)
+                    .map_err(|_| UtilsCommandError::InvalidSectorId)?;
+
+                let entropy = signer.account_id().encode();
+                println!("Entropy: {}", hex::encode(&entropy));
+
+                let ticket = get_randomness(
+                    DomainSeparationTag::SealRandomness,
+                    seal_randomness_height,
+                    &entropy,
+                );
+                println!(
+                    "[{seal_randomness_height}] Ticket randomness: {}",
+                    hex::encode(ticket)
+                );
+
+                // The number added is configured in runtime:
+                // https://github.com/eigerco/polka-storage/blob/18207759d7c6c175916d5bed70246d94a8f028f4/runtime/src/configs/mod.rs#L360
+                let interactive_block_number = pre_commit_block_number + 10;
+                let seed = get_randomness(
+                    DomainSeparationTag::InteractiveSealChallengeSeed,
+                    interactive_block_number,
+                    &entropy,
+                );
+                println!(
+                    "[{interactive_block_number}] Seed randomness: {}",
+                    hex::encode(seed)
+                );
 
                 let output_path = if let Some(output_path) = output_path {
                     output_path
@@ -273,14 +312,17 @@ impl ProofsCommand {
                     .create_sector(vec![(piece_file, piece_info)], unsealed_sector)
                     .map_err(|e| UtilsCommandError::GeneratePoRepError(e))?;
 
+                let prover_id = derive_prover_id(signer.account_id());
+                println!("Prover ID: {}", hex::encode(prover_id));
+
                 println!("Precommitting...");
                 let precommit = sealer
                     .precommit_sector(
                         &cache_directory,
                         unsealed_sector_path,
                         &sealed_sector_path,
                         prover_id,
-                        sector_id,
+                        sector_number,
                         ticket,
                         &piece_infos,
                     )
@@ -293,7 +335,7 @@ impl ProofsCommand {
                         &cache_directory,
                         &sealed_sector_path,
                         prover_id,
-                        sector_id,
+                        sector_number,
                         ticket,
                         Some(seed),
                         precommit,
@@ -310,8 +352,10 @@ impl ProofsCommand {
                     .clone()
                     .try_into()
                     .expect("converstion between rust-fil-proofs and polka-storage-proofs to work");
-                proof_scale_file.write_all(&codec::Encode::encode(&proof_scale))?;
+                let scale_encoded_proof = codec::Encode::encode(&proof_scale);
+                proof_scale_file.write_all(&scale_encoded_proof)?;
 
+                println!("Proof as HEX: {}", hex::encode(scale_encoded_proof));
                 println!("Wrote proof to {}", proof_scale_filename.display());
             }
             ProofsCommand::GeneratePoStParams {
@@ -446,6 +490,8 @@ pub enum UtilsCommandError {
     InvalidPieceCommP(String, cid::Error),
     #[error("invalid piece type")]
     InvalidPieceType(String, &'static str),
+    #[error("invalid sector id")]
+    InvalidSectorId,
     #[error("file {0} is invalid CARv2 file {1}")]
     InvalidCARv2(PathBuf, mater::Error),
     #[error("no signer key was provider")]
@@ -465,3 +511,13 @@ fn file_with_extension(
         .map_err(|e| UtilsCommandError::FileCreateError(new_path.clone(), e))?;
     Ok((new_path, file))
 }
+
+fn get_randomness(
+    personalization: DomainSeparationTag,
+    block_number: u64,
+    entropy: &[u8],
+) -> [u8; 32] {
+    // This randomness digest is hardcoded because it's always same on testnet.
+    let digest = [0u8; 32];
+    draw_randomness(&digest, personalization, block_number, &entropy)
+}

lib/polka-storage-proofs/src/porep/sealer.rs

@@ -217,7 +217,7 @@ impl Sealer {
                 unsealed_sector,
                 sealed_sector,
                 prover_id,
-                sector_id.into(),
+                storage_proofs_core::sector::SectorId::from(u64::from(sector_id)),
                 ticket,
                 &piece_infos,
             )?;
@@ -278,7 +278,7 @@ impl Sealer {
                 cache_path,
                 replica_path,
                 prover_id,
-                sector_id.into(),
+                storage_proofs_core::sector::SectorId::from(u64::from(sector_id)),
                 ticket,
                 seed,
                 pre_commit.into(),

lib/polka-storage-proofs/src/post/mod.rs

@@ -77,7 +77,7 @@ pub fn generate_window_post<CacheDirectory: AsRef<Path>>(
     let mut replicas = BTreeMap::new();
     for replica in partition_replicas {
         replicas.insert(
-            replica.sector_id.into(),
+            storage_proofs_core::sector::SectorId::from(u64::from(replica.sector_id)),
             PrivateReplicaInfo::<Tree>::new(
                 replica.replica_path,
                 replica.comm_r,

maat/generate_porep_proof.sh

@@ -0,0 +1,22 @@
+# Clear cache before run
+CACHE_FOLDER="/tmp/psp-cache"
+rm -r "$CACHE_FOLDER"
+mkdir "$CACHE_FOLDER"
+
+PROVIDER="//Charlie"
+CAR_FILE="../examples/test-data-big.car"
+SECTOR_CID="baga6ea4seaqbfhdvmk5qygevit25ztjwl7voyikb5k2fqcl2lsuefhaqtukuiii"
+PARAMS_PATH="../2KiB.porep.params"
+SECTOR_ID=1
+SEAL_RANDOMNESS_HEIGHT=20
+PRE_COMMIT_BLOCK_NUMBER=30
+
+polka-storage-provider-client proofs porep \
+--sr25519-key "$PROVIDER" \
+--proof-parameters-path "$PARAMS_PATH" \
+--cache-directory "$CACHE_FOLDER" \
+--sector-id "$SECTOR_ID" \
+--seal-randomness-height "$SEAL_RANDOMNESS_HEIGHT" \
+--pre-commit-block-number "$PRE_COMMIT_BLOCK_NUMBER" \
+"$CAR_FILE" \
+"$SECTOR_CID"