Update SnarkVM to v1.4.0 and correct doc comments

Author: iamalwaysuncomfortable

sdk/src/program-manager.ts

@@ -22,33 +22,37 @@ crate-type = [ "cdylib", "rlib" ]
 doctest = false
 
 [dependencies.snarkvm-circuit-network]
-version = "1.2.1"
+version = "1.4.0"
 
 [dependencies.snarkvm-console]
-version = "1.2.1"
+version = "1.4.0"
 features = [ "wasm" ]
 
 [dependencies.snarkvm-ledger-block]
-version = "1.2.1"
+version = "1.4.0"
 features = [ "wasm" ]
 
 [dependencies.snarkvm-ledger-query]
-version = "1.2.1"
+version = "1.4.0"
 features = [ "async", "wasm" ]
 
 [dependencies.snarkvm-ledger-store]
-version = "1.2.1"
+version = "1.4.0"
 
 [dependencies.snarkvm-parameters]
-version = "1.2.1"
+version = "1.4.0"
+features = [ "wasm" ]
+
+[dependencies.snarkvm-synthesizer-program]
+version = "1.4.0"
 features = [ "wasm" ]
 
 [dependencies.snarkvm-synthesizer]
-version = "1.2.1"
+version = "1.4.0"
 features = [ "async", "wasm" ]
 
 [dependencies.snarkvm-wasm]
-version = "1.2.1"
+version = "1.4.0"
 features = [ "console", "fields", "utilities" ]
 
 [dependencies.anyhow]

wasm/Cargo.lock

@@ -197,4 +197,4 @@ const networks = [
     "mainnet",
 ];
 
-await Promise.all(networks.map(build));
+await Promise.all(networks.map(build));

wasm/Cargo.toml

@@ -282,8 +282,8 @@ impl Transaction {
 
         // Extract the fee execution.
         let fee = match &self.0 {
-            TransactionNative::Deploy(_, _, _, fee) => Some(fee),
-            TransactionNative::Execute(_, _, fee) => fee.as_ref(),
+            TransactionNative::Deploy(_, _, _, _, fee) => Some(fee),
+            TransactionNative::Execute(_, _, _, fee) => fee.as_ref(),
             TransactionNative::Fee(_, fee) => Some(fee),
         };
 

wasm/build.js

@@ -26,23 +26,23 @@ use crate::{
     execute_program,
     log,
     process_inputs,
+    types::native::{
+        CurrentAleo,
+        CurrentNetwork,
+        IdentifierNative,
+        ProcessNative,
+        ProgramNative,
+        RecordPlaintextNative,
+        TransactionNative,
+    },
 };
+use snarkvm_console::network::{ConsensusVersion, Network};
+use snarkvm_ledger_query::QueryTrait;
+use snarkvm_synthesizer::prelude::cost_in_microcredits_v1;
 
-use crate::types::native::{
-    CurrentAleo,
-    CurrentNetwork,
-    IdentifierNative,
-    ProcessNative,
-    ProgramNative,
-    RecordPlaintextNative,
-    TransactionNative,
-};
 use core::ops::Add;
 use js_sys::{Array, Object};
 use rand::{SeedableRng, rngs::StdRng};
-use snarkvm_console::prelude::Network;
-use snarkvm_ledger_query::QueryTrait;
-use snarkvm_synthesizer::prelude::cost_in_microcredits_v1;
 use std::str::FromStr;
 
 #[wasm_bindgen]
@@ -315,7 +315,7 @@ impl ProgramManager {
             let stack = process.get_stack(program_id).map_err(|e| e.to_string())?;
 
             // Calculate the finalize cost for the function identified in the transition
-            let cost = if block_height >= CurrentNetwork::CONSENSUS_V2_HEIGHT {
+            let cost = if block_height >= CurrentNetwork::CONSENSUS_HEIGHT(ConsensusVersion::V2).unwrap() {
                 cost_in_microcredits_v2(stack, function_name).map_err(|e| e.to_string())?
             } else {
                 cost_in_microcredits_v1(stack, function_name).map_err(|e| e.to_string())?

wasm/src/ledger/transaction.rs

@@ -25,16 +25,17 @@ use crate::{
     execute_program,
     log,
     process_inputs,
+    types::native::{
+        CurrentAleo,
+        IdentifierNative,
+        ProcessNative,
+        ProgramNative,
+        RecordPlaintextNative,
+        TransactionNative,
+    },
 };
+use snarkvm_synthesizer_program::StackKeys;
 
-use crate::types::native::{
-    CurrentAleo,
-    IdentifierNative,
-    ProcessNative,
-    ProgramNative,
-    RecordPlaintextNative,
-    TransactionNative,
-};
 use js_sys::Array;
 use rand::{SeedableRng, rngs::StdRng};
 use std::str::FromStr;

wasm/src/programs/manager/execute.rs

@@ -22,19 +22,26 @@ pub mod transfer;
 
 const DEFAULT_URL: &str = "https://api.explorer.provable.com/v1";
 
-use crate::{KeyPair, PrivateKey, ProvingKey, RecordPlaintext, VerifyingKey};
-
-use crate::types::native::{
-    IdentifierNative,
-    ProcessNative,
-    ProgramIDNative,
-    ProgramNative,
-    ProvingKeyNative,
-    QueryNative,
-    VerifyingKeyNative,
-    cost_in_microcredits_v2,
-    deployment_cost,
+use crate::{
+    KeyPair,
+    PrivateKey,
+    ProvingKey,
+    RecordPlaintext,
+    VerifyingKey,
+    types::native::{
+        IdentifierNative,
+        ProcessNative,
+        ProgramIDNative,
+        ProgramNative,
+        ProvingKeyNative,
+        QueryNative,
+        VerifyingKeyNative,
+        cost_in_microcredits_v2,
+        deployment_cost,
+    },
 };
+use snarkvm_synthesizer_program::StackKeys;
+
 use js_sys::{Object, Reflect};
 use std::str::FromStr;
 use wasm_bindgen::prelude::wasm_bindgen;

wasm/src/programs/manager/join.rs

@@ -16,9 +16,16 @@
 
 use super::*;
 
-use crate::{OfflineQuery, PrivateKey, RecordPlaintext, Transaction, execute_program, log, process_inputs};
-
-use crate::types::native::{CurrentAleo, IdentifierNative, ProcessNative, ProgramNative, TransactionNative};
+use crate::{
+    OfflineQuery,
+    PrivateKey,
+    RecordPlaintext,
+    Transaction,
+    execute_program,
+    log,
+    process_inputs,
+    types::native::{CurrentAleo, IdentifierNative, ProcessNative, ProgramNative, TransactionNative},
+};
 use js_sys::Array;
 use rand::{SeedableRng, rngs::StdRng};
 use std::{ops::Add, str::FromStr};

wasm/src/programs/manager/mod.rs

@@ -25,16 +25,17 @@ use crate::{
     execute_program,
     log,
     process_inputs,
+    types::native::{
+        CurrentAleo,
+        IdentifierNative,
+        ProcessNative,
+        ProgramNative,
+        RecordPlaintextNative,
+        TransactionNative,
+    },
 };
+use snarkvm_synthesizer_program::StackKeys;
 
-use crate::types::native::{
-    CurrentAleo,
-    IdentifierNative,
-    ProcessNative,
-    ProgramNative,
-    RecordPlaintextNative,
-    TransactionNative,
-};
 use rand::{SeedableRng, rngs::StdRng};
 use std::{ops::Add, str::FromStr};
 use wasm_bindgen::JsValue;