feat: Loading setup for proving network (#100)

# What ❔

Proof compressor now provides convenient dyn trait setup interfaces,
simple and sync, both for proving and generating keys and allows using
in-memory cache for setup
Potential weak async places causing sporadic errors are gone e.g. async
init_context
Improved performance. Before: 71s each proof; now: 71s first proof and
63s each following proof.

<!-- What are the changes this PR brings about? -->
<!-- Example: This PR adds a PR template to the repo. -->
<!-- (For bigger PRs adding more context is appreciated) -->

## Why ❔

<!-- Why are these changes done? What goal do they contribute to? What
are the principles behind them? -->
<!-- Example: PR templates ensure PR reviewers, observers, and future
iterators are in context about the evolution of repos. -->

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk fmt` and `zk lint`.

Author: AlexOnTheStorm

crates/fflonk/src/context.rs

@@ -156,7 +156,7 @@ impl<const N: usize> DeviceContext<N> {
 
     pub fn init_from_preloaded_crs<A>(
         domain_size: usize,
-        crs: Crs<CompactBn256, CrsForMonomialForm, A>,
+        crs: &Crs<CompactBn256, CrsForMonomialForm, A>,
     ) -> CudaResult<Self>
     where
         A: HostAllocator,
@@ -202,7 +202,7 @@ impl<const N: usize> DeviceContext<N> {
 
     fn init_msm_on_static_memory<A>(
         domain_size: usize,
-        crs: Option<Crs<CompactBn256, CrsForMonomialForm, A>>,
+        crs: Option<&Crs<CompactBn256, CrsForMonomialForm, A>>,
     ) -> CudaResult<()>
     where
         A: HostAllocator,
@@ -225,7 +225,7 @@ impl<const N: usize> DeviceContext<N> {
 
     fn inner_init_msm<A>(
         domain_size: usize,
-        crs: Option<Crs<CompactBn256, CrsForMonomialForm, A>>,
+        crs: Option<&Crs<CompactBn256, CrsForMonomialForm, A>>,
         pool: Option<bc_mem_pool>,
         stream: Option<bc_stream>,
     ) -> CudaResult<()>
@@ -241,7 +241,7 @@ impl<const N: usize> DeviceContext<N> {
         // multiple of the domain_size
         let crs = match crs {
             Some(preloaded_crs) => preloaded_crs,
-            None => init_compact_crs::<A>(domain_size),
+            None => &init_compact_crs::<A>(domain_size),
         };
         let num_bases = MAX_COMBINED_DEGREE_FACTOR * domain_size;
         assert!(crs.g1_bases.len() >= num_bases);

crates/proof-compression/Cargo.toml

@@ -21,6 +21,7 @@ serde_json = "1"
 bincode = "1.3"
 cfg-if = "1.0"
 byteorder = "1"
+anyhow = "1.0"
 
 [features]
 default = ["gpu", "fflonk", "gpu-prover"]