Merge pull request #120 from openmina/proof-generation

Generate proof

Author: sebastiencs

cli/src/commands/node/mod.rs

@@ -152,7 +152,7 @@ impl Node {
 
         let work_dir = shellexpand::full(&self.work_dir).unwrap().into_owned();
         let rng_seed = rng.next_u64();
-        let srs: Arc<_> = get_srs().into();
+        let srs: Arc<_> = get_srs();
         let config = Config {
             ledger: LedgerConfig {},
             snark: SnarkConfig {

cli/src/commands/snark/precalculate_block_verifier_index_and_srs.rs

@@ -20,7 +20,11 @@ impl PrecalculateBlockVerifierIndexAndSrs {
         hasher.update(&verifier_index);
         let index_hash = hex::encode(hasher.finalize());
 
-        let srs = srs_to_bytes(&get_srs());
+        let srs = {
+            let srs = get_srs();
+            let srs = srs.lock().expect("Failed to lock SRS");
+            srs_to_bytes(&srs)
+        };
         let mut hasher = Sha256::new();
         hasher.update(&srs);
         let srs_hash = hex::encode(hasher.finalize());