added drop(ctx)

Author: AlexOnTheStorm

crates/proof-compression/src/proof_system/boojum.rs

@@ -124,7 +124,7 @@ where
     }
 
     fn prove(
-        ctx: &Self::Context,
+        ctx: Self::Context,
         proving_assembly: Self::ProvingAssembly,
         aux_config: Self::AuxConfig,
         precomputation: &Self::Precomputation,
@@ -142,7 +142,7 @@ where
     }
 
     fn prove_from_witnesses(
-        _ctx: &Self::Context,
+        ctx: Self::Context,
         witness: Self::ExternalWitnessData,
         aux_config: Self::AuxConfig,
         precomputation: &Self::Precomputation,
@@ -175,6 +175,7 @@ where
             cache_strategy,
         )
         .context("failed to generate gpu compression proof")?;
+        drop(ctx);
         let proof = gpu_proof.into();
 
         Ok(proof)

crates/proof-compression/src/proof_system/fflonk.rs

@@ -96,7 +96,7 @@ impl SnarkWrapperProofSystem for FflonkSnarkWrapper {
     }
 
     fn prove(
-        _ctx: &Self::Context,
+        ctx: Self::Context,
         mut proving_assembly: Self::ProvingAssembly,
         precomputation: &Self::Precomputation,
         finalization_hint: &Self::FinalizationHint,
@@ -117,11 +117,12 @@ impl SnarkWrapperProofSystem for FflonkSnarkWrapper {
         )
         .map_err(|e| anyhow::anyhow!("Failed to create proof for FflonkSnarkWrapper: {:?}", e))?;
         println!("fflonk proving takes {} s", start.elapsed().as_secs());
+        drop(ctx);
         Ok(proof)
     }
 
     fn prove_from_witnesses(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ExternalWitnessData,
         _: &Self::Precomputation,
         _: &Self::FinalizationHint,

crates/proof-compression/src/proof_system/interface.rs

@@ -50,7 +50,7 @@ pub trait CompressionProofSystem:
     ) -> Self::ProvingAssembly;
 
     fn prove(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ProvingAssembly,
         _: Self::AuxConfig,
         _: &Self::Precomputation,
@@ -59,7 +59,7 @@ pub trait CompressionProofSystem:
     ) -> anyhow::Result<Self::Proof>;
 
     fn prove_from_witnesses(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ExternalWitnessData,
         _: Self::AuxConfig,
         _: &Self::Precomputation,
@@ -89,14 +89,14 @@ pub trait SnarkWrapperProofSystem: ProofSystemDefinition {
     fn load_compact_raw_crs<R: std::io::Read>(src: R) -> anyhow::Result<Self::CRS>;
     fn synthesize_for_proving(circuit: Self::Circuit) -> Self::ProvingAssembly;
     fn prove(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ProvingAssembly,
         _: &Self::Precomputation,
         _: &Self::FinalizationHint,
     ) -> anyhow::Result<Self::Proof>;
 
     fn prove_from_witnesses(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ExternalWitnessData,
         _: &Self::Precomputation,
         _: &Self::FinalizationHint,

crates/proof-compression/src/proof_system/plonk.rs

@@ -244,7 +244,7 @@ impl SnarkWrapperProofSystem for PlonkSnarkWrapper {
     }
 
     fn prove(
-        _: &Self::Context,
+        _: Self::Context,
         _: Self::ProvingAssembly,
         _: &Self::Precomputation,
         _: &Self::FinalizationHint,
@@ -254,7 +254,7 @@ impl SnarkWrapperProofSystem for PlonkSnarkWrapper {
     }
 
     fn prove_from_witnesses(
-        _: &Self::Context,
+        _: Self::Context,
         _: Vec<Self::FieldElement, Self::Allocator>,
         _: &Self::Precomputation,
         _: &Self::FinalizationHint,

crates/proof-compression/src/step/compression.rs

@@ -79,7 +79,7 @@ pub trait CompressionStep: CompressionProofSystem {
         let aux_config =
             <Self as CompressionProofSystem>::aux_config_from_assembly(&proving_assembly);
         let proof = <Self as CompressionProofSystem>::prove(
-            &ctx,
+            ctx,
             proving_assembly,
             aux_config,
             precomputation,

crates/proof-compression/src/step/snark_wrapper.rs

@@ -86,7 +86,7 @@ pub trait SnarkWrapperStep: SnarkWrapperProofSystem {
         let precomputation = &setup_data_cache.precomputation;
 
         let proof = <Self as SnarkWrapperProofSystem>::prove(
-            &ctx,
+            ctx,
             proving_assembly,
             precomputation,
             finalization_hint,