feat: update paramcache to properly generate .meta files (#1551)

* feat: update paramcache to properly generate .meta files
* doc: fix logging typo
* docs: fix some typos in param pin script
* feat: add fake empty sector update parameters to manifest

fil-proofs-param/scripts/pin-params.sh

@@ -3,12 +3,12 @@ set -Eeuo pipefail
 
 # pin-params.sh
 #
-# - Post the directory of params to cluster.ipfs.io
-# - Grab the CID for the previous params from proofs.filecoin.io
-# - Add the old params as a `prev` dir to the new params dir to keep them around.
+# - Post the directory of params to cluster.ipfs.io
+# - Grab the CID for the previous params from proofs.filecoin.io
+# - TODO: Add the old params as a `prev` dir to the new params dir to keep them around.
 # - Pin the new cid on cluster
-# - Publish the new cid as a dnslink to proofs.filecoin.io
-# - The gateways will pin the new dir by checking proofs.filecoin.io hourly.
+# - Publish the new cid as a dnslink to proofs.filecoin.io
+# - The gateways will pin the new dir by checking proofs.filecoin.io hourly.
 #
 # Requires:
 #  - `ipfs-cluster-ctl` - download from https://dist.ipfs.io/#ipfs-cluster-ctl
@@ -79,7 +79,7 @@ ipfs-cluster-ctl \
 
 echo "ok! Pin request sent to additional cluster"
 
-# Publist the new cid to the dnslink
+# Publish the new cid to the dnslink
 npx dnslink-dnsimple --domain $DNSLINK_DOMAIN --link "/ipfs/$ROOT_CID"
 
 echo "done!"

fil-proofs-param/src/bin/paramcache.rs

@@ -126,12 +126,20 @@ fn cache_empty_sector_update_params<Tree: 'static + MerkleTreeTrait<Hasher = Tre
     let public_params: storage_proofs_update::PublicParams =
         PublicParams::from_sector_size(u64::from(porep_config.sector_size));
 
+    let circuit = <EmptySectorUpdateCompound<Tree> as CompoundProof<
+        EmptySectorUpdate<Tree>,
+        EmptySectorUpdateCircuit<Tree>,
+    >>::blank_circuit(&public_params);
+
     let _ = <EmptySectorUpdateCompound<Tree> as CompoundProof<
         EmptySectorUpdate<Tree>,
         EmptySectorUpdateCircuit<Tree>,
     >>::groth_params::<OsRng>(Some(&mut OsRng), &public_params)
     .expect("failed to get groth params");
 
+    let _ = <EmptySectorUpdateCompound<Tree>>::get_param_metadata(circuit, &public_params)
+        .expect("failed to get metadata");
+
     let _ = <EmptySectorUpdateCompound<Tree> as CompoundProof<
         EmptySectorUpdate<Tree>,
         EmptySectorUpdateCircuit<Tree>,

parameters.json

@@ -1,4 +1,54 @@
 {
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-61fa69f38b9cc771ba27b670124714b4ea77fbeae05e377fb859c4a43b73a30c.params": {
+    "cid": "Qma5WL6abSqYg9uUQAZ3EHS286bsNsha7oAGsJBD48Bq2q",
+    "digest": "c3ad7bb549470b82ad52ed070aebb4f4",
+    "sector_size": 536870912
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-61fa69f38b9cc771ba27b670124714b4ea77fbeae05e377fb859c4a43b73a30c.vk": {
+    "cid": "QmUa7f9JtJMsqJJ3s3ZXk6WyF4xJLE8FiqYskZGgk8GCDv",
+    "digest": "994c5b7d450ca9da348c910689f2dc7f",
+    "sector_size": 536870912
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-92180959e1918d26350b8e6cfe217bbdd0a2d8de51ebec269078b364b715ad63.params": {
+    "cid": "QmQiT4qBGodrVNEgVTDXxBNDdPbaD8Ag7Sx3ZTq1zHX79S",
+    "digest": "5aedd2cf3e5c0a15623d56a1b43110ad",
+    "sector_size": 8388608
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-92180959e1918d26350b8e6cfe217bbdd0a2d8de51ebec269078b364b715ad63.vk": {
+    "cid": "QmdcpKUQvHM8RFRVKbk1yHfEqMcBzhtFWKRp9SNEmWq37i",
+    "digest": "abd80269054d391a734febdac0d2e687",
+    "sector_size": 8388608
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-fb9e095bebdd77511c0269b967b4d87ba8b8a525edaa0e165de23ba454510194.params": {
+    "cid": "QmYM6Hg7mjmvA3ZHTsqkss1fkdyDju5dDmLiBZGJ5pz9y9",
+    "digest": "311f92a3e75036ced01b1c0025f1fa0c",
+    "sector_size": 2048
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-0-0-fb9e095bebdd77511c0269b967b4d87ba8b8a525edaa0e165de23ba454510194.vk": {
+    "cid": "QmaQsTLL3nc5dw6wAvaioJSBfd1jhQrA2o6ucFf7XeV74P",
+    "digest": "eadad9784969890d30f2749708c79771",
+    "sector_size": 2048
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-8-0-3b7f44a9362e3985369454947bc94022e118211e49fd672d52bec1cbfd599d18.params": {
+    "cid": "QmeNqDvsvyam4vqwCkstbxgb9S7RZEUeBDrJvBWKcpFKr6",
+    "digest": "532b53883ed4f794cb9d0db583d0df59",
+    "sector_size": 34359738368
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-8-0-3b7f44a9362e3985369454947bc94022e118211e49fd672d52bec1cbfd599d18.vk": {
+    "cid": "QmdLWr6moLUPScJZwoBckWqAeJkrBPAJPNLz8mWAfTdmXH",
+    "digest": "46990eb1bf5159c394a10309f269c1b6",
+    "sector_size": 34359738368
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-8-2-102e1444a7e9a97ebf1e3d6855dcc77e66c011ea66f936d9b2c508f87f2f83a7.params": {
+    "cid": "QmdQsi9uFhxK9cGwuK4rHuwKQoHkz6upYTCz4UdLiy1vA2",
+    "digest": "4223c63dbd94de1538006a14f37179e3",
+    "sector_size": 68719476736
+  },
+  "v28-empty-sector-update-merkletree-poseidon_hasher-8-8-2-102e1444a7e9a97ebf1e3d6855dcc77e66c011ea66f936d9b2c508f87f2f83a7.vk": {
+    "cid": "QmPirFX9wX99iMGA6zFY2CvcrdcDkj73X4MP6DLduvpbk9",
+    "digest": "ce39b614d788d3aef26bac1b28521d94",
+    "sector_size": 68719476736
+  },
   "v28-proof-of-spacetime-fallback-merkletree-poseidon_hasher-8-0-0-0170db1f394b35d995252228ee359194b13199d259380541dc529fb0099096b0.params": {
     "cid": "QmVxjFRyhmyQaZEtCh7nk2abc7LhFkzhnRX4rcHqCCpikR",
     "digest": "7610b9f82bfc88405b7a832b651ce2f6",
@@ -149,4 +199,4 @@
     "digest": "a89884252c04c298d0b3c81bfd884164",
     "sector_size": 68719476736
   }
-}
+}

storage-proofs-update/src/vanilla.rs

@@ -706,7 +706,7 @@ where
             })
             .collect::<Result<Vec<ChallengeProof<TreeR>>>>()?;
 
-        info!("finished generating challege-proofs for partition k={}", k);
+        info!("finished generating challenge-proofs for partition k={}", k);
 
         Ok(PartitionProof {
             comm_c: *comm_c,