Support proof generation from the wasm:

algorithms/Cargo.toml

@@ -140,6 +140,10 @@ version = "1.0"
 version = "0.4"
 optional = true
 
+[dependencies.web-sys]
+version = "0.3"
+features = ["console"]
+
 [dev-dependencies.expect-test]
 version = "1.4.1"
 

algorithms/src/snark/marlin/ahp/prover/round_functions/first.rs

@@ -71,13 +71,15 @@ impl<F: PrimeField, MM: MarlinMode> AHPForR1CS<F, MM> {
         let round_time = start_timer!(|| "AHP::Prover::FirstRound");
         let constraint_domain = state.constraint_domain;
         let batch_size = state.batch_size;
-
+        
         let z_a = state.z_a.take().unwrap();
         let z_b = state.z_b.take().unwrap();
         let private_variables = core::mem::take(&mut state.private_variables);
+
         assert_eq!(z_a.len(), batch_size);
         assert_eq!(z_b.len(), batch_size);
         assert_eq!(private_variables.len(), batch_size);
+
         let mut r_b_s = Vec::with_capacity(batch_size);
 
         let mut job_pool = snarkvm_utilities::ExecutionPool::with_capacity(3 * batch_size);
@@ -109,8 +111,8 @@ impl<F: PrimeField, MM: MarlinMode> AHPForR1CS<F, MM> {
         assert_eq!(batches.len(), batch_size);
 
         let mask_poly = Self::calculate_mask_poly(constraint_domain, rng);
-
         let oracles = prover::FirstOracles { batches, mask_poly };
+
         assert!(oracles.matches_info(&Self::first_round_polynomial_info(batch_size)));
         state.first_round_oracles = Some(Arc::new(oracles));
         state.mz_poly_randomizer = MM::ZK.then_some(r_b_s);

algorithms/src/snark/marlin/ahp/prover/round_functions/mod.rs

@@ -19,9 +19,9 @@ use crate::snark::marlin::{
     prover,
     MarlinMode,
 };
-use itertools::Itertools;
 use snarkvm_fields::PrimeField;
 use snarkvm_r1cs::ConstraintSynthesizer;
+use itertools::Itertools;
 
 use snarkvm_utilities::cfg_iter;
 #[cfg(not(feature = "std"))]

algorithms/src/snark/marlin/marlin.rs

@@ -142,6 +142,14 @@ impl<E: PairingEngine, FS: AlgebraicSponge<E::Fq, 2>, MM: MarlinMode> MarlinSNAR
         if terminator.load(Ordering::Relaxed) { Err(MarlinError::Terminated) } else { Ok(()) }
     }
 
+    fn to_le_bytes_8(n: &usize) -> [u8; 8] {
+        let mut bytes = [0u8; 8];
+        let n_bytes = n.to_le_bytes();
+        let len = std::mem::size_of::<usize>();
+        bytes[..len].copy_from_slice(&n_bytes[..len]);
+        bytes
+    }
+
     fn init_sponge(
         fs_parameters: &FS::Parameters,
         batch_size: usize,

circuit/account/Cargo.toml

@@ -33,3 +33,7 @@ version = "1.0.70"
 [features]
 default = [ "enable_console" ]
 enable_console = [ "console" ]
+parallel = [
+  "snarkvm-circuit-algorithms/parallel",
+  "snarkvm-circuit-network/parallel"
+]

circuit/algorithms/Cargo.toml

@@ -35,3 +35,4 @@ version = "1.0.70"
 [features]
 default = [ "enable_console" ]
 enable_console = [ "console" ]
+parallel = [ "snarkvm-fields/parallel" ]

circuit/collections/Cargo.toml

@@ -22,12 +22,15 @@ version = "0.10.2"
 
 [dev-dependencies.snarkvm-circuit-network]
 path = "../network"
+features = [ "parallel" ]
 
 [dev-dependencies.snarkvm-console-algorithms]
 path = "../../console/algorithms"
+features = [ "parallel" ]
 
 [dev-dependencies.snarkvm-console-network]
 path = "../../console/network"
+features = [ "parallel" ]
 
 [dev-dependencies.snarkvm-utilities]
 path = "../../utilities"
@@ -38,3 +41,4 @@ version = "1.0.70"
 [features]
 default = [ "enable_console" ]
 enable_console = [ "console" ]
+parallel = [ "snarkvm-circuit-algorithms/parallel" ]

circuit/network/Cargo.toml

@@ -30,3 +30,7 @@ path = "../../console/types"
 [features]
 default = [ "enable_console" ]
 enable_console = [ "console" ]
+parallel = [
+  "snarkvm-circuit-algorithms/parallel",
+  "snarkvm-circuit-collections/parallel"
+]

circuit/program/Cargo.toml

@@ -49,3 +49,8 @@ version = "0.8"
 [features]
 default = [ "enable_console" ]
 enable_console = [ "console" ]
+parallel = [
+  "snarkvm-circuit-account/parallel",
+  "snarkvm-circuit-collections/parallel",
+  "snarkvm-circuit-network/parallel"
+]

console/account/Cargo.toml

@@ -42,6 +42,7 @@ default = [
   "signature",
   "view_key"
 ]
+parallel = [ "snarkvm-console-network/parallel" ]
 compute_key = [ "private_key" ]
 graph_key = [ "private_key" ]
 private_key = [ "compute_key" ]

console/algorithms/Cargo.toml

@@ -58,3 +58,7 @@ version = "1.0"
 [dev-dependencies.serde_json]
 version = "1.0"
 features = [ "preserve_order" ]
+
+[features]
+default = [ ]
+parallel = [ "snarkvm-fields/parallel" ]

console/collections/Cargo.toml

@@ -30,6 +30,7 @@ version = "1"
 
 [dev-dependencies.snarkvm-console-network]
 path = "../network"
+features = [ "parallel" ]
 
 [dev-dependencies.criterion]
 version = "0.4.0"

console/network/Cargo.toml

@@ -12,6 +12,10 @@ wasm = [
   "snarkvm-algorithms/polycommit_wasm",
   "snarkvm-parameters/wasm"
 ]
+parallel = [
+  "snarkvm-console-collections/parallel",
+  "snarkvm-fields/parallel"
+]
 
 [dependencies.snarkvm-algorithms]
 path = "../../algorithms"

console/network/environment/Cargo.toml

@@ -41,3 +41,7 @@ default-features = false
 
 [dependencies.serde]
 version = "1.0"
+
+[features]
+default = [ ]
+parallel = [ "snarkvm-fields/parallel" ]

console/program/Cargo.toml

@@ -9,6 +9,10 @@ edition = "2021"
 [features]
 default = [ ]
 test = [ ]
+parallel = [
+  "snarkvm-console-collections/parallel",
+  "snarkvm-console-network/parallel"
+]
 
 [dependencies.snarkvm-console-account]
 path = "../account"

parameters/Cargo.toml

@@ -100,12 +100,15 @@ default-features = false
 
 [dev-dependencies.snarkvm-circuit]
 path = "../circuit"
+features = [ "parallel" ]
 
 [dev-dependencies.snarkvm-console]
 path = "../console"
+features = [ "parallel" ]
 
 [dev-dependencies.snarkvm-synthesizer]
 path = "../synthesizer"
+features = [ "parallel" ]
 
 [dev-dependencies.curl]
 version = "0.4.34"

r1cs/Cargo.toml

@@ -57,3 +57,4 @@ version = "1.0"
 
 [features]
 default = [ ]
+parallel = [ "snarkvm-fields/parallel" ]

synthesizer/Cargo.toml

@@ -41,6 +41,9 @@ harness = false
 
 [features]
 default = [ ]
+web = [
+  "snarkvm-utilities/web"
+]
 aleo-cli = [ ]
 cuda = [ "snarkvm-algorithms/cuda" ]
 serial = [
@@ -102,15 +105,15 @@ version = "2"
 version = "1.9"
 features = [ "serde", "rayon" ]
 
-[dependencies.itertools]
-version = "0.10.1"
-
 [dependencies.once_cell]
 version = "1.17"
 
 [dependencies.parking_lot]
 version = "0.12"
 
+[dependencies.itertools]
+version = "0.10.3"
+
 [dependencies.paste]
 version = "1.0.12"
 

synthesizer/src/block/transactions/mod.rs

@@ -90,7 +90,7 @@ impl<N: Network> Transactions<N> {
     pub fn find_transaction_for_serial_number(&self, serial_number: &Field<N>) -> Option<&Transaction<N>> {
         cfg_find!(self, serial_number, contains_serial_number)
     }
-
+    
     /// Returns the transaction with the given commitment, if it exists.
     pub fn find_transaction_for_commitment(&self, commitment: &Field<N>) -> Option<&Transaction<N>> {
         cfg_find!(self, commitment, contains_commitment)

synthesizer/src/process/mod.rs

@@ -149,6 +149,24 @@ impl<N: Network> Process<N> {
         Ok(process)
     }
 
+    #[inline]
+    pub fn load_wasm() -> Result<Self> {
+        // Initialize the process.
+        let mut process = Self { universal_srs: Arc::new(UniversalSRS::load()?), stacks: IndexMap::new() };
+
+        // Initialize the 'credits.aleo' program.
+        let program = Program::credits()?;
+
+        // Compute the 'credits.aleo' program stack.
+        let stack = Stack::new(&process, &program)?;
+
+        // Add the stack to the process.
+        process.stacks.insert(*program.id(), stack);
+
+        // Return the process.
+        Ok(process)
+    }
+
     /// Initializes a new process with a cache of previously used keys. This version is suitable for tests
     /// (which often use nested loops that keep reusing those), as their deserialization is slow.
     #[cfg(test)]