Merge pull request #3011 from ProvableHQ/allow_tests_to_skip_proofs

Skip proof and certificate generation and verification if building with dev_skip_checks

Author: vicsn

Cargo.toml

@@ -175,7 +175,7 @@ dev_skip_checks = [
 save_r1cs_hashes = [ "snarkvm-circuit/save_r1cs_hashes" ]
 test_exports = [ "snarkvm-algorithms/test_exports" ]
 test_targets = [ "snarkvm-console/test_targets" ]
-test_consensus_heights = [ "snarkvm-console/test_consensus_heights" ]
+test_consensus_heights = [ "snarkvm-console/test_consensus_heights", "snarkvm-synthesizer/test_consensus_heights" ]
 
 [workspace.dependencies.snarkvm-algorithms]
 path = "algorithms"

synthesizer/Cargo.toml

@@ -60,6 +60,7 @@ wasm = [
 ]
 dev-print = [ "snarkvm-utilities/dev-print" ]
 dev_skip_checks = [ "snarkvm-synthesizer-process/dev_skip_checks" ]
+test_consensus_heights = [ "snarkvm-synthesizer-process/test_consensus_heights" ]
 
 [[bench]]
 name = "kary_merkle_tree"

synthesizer/process/Cargo.toml

@@ -47,6 +47,7 @@ test = [ "snarkvm-console/test" ]
 timer = [ "aleo-std/timer" ]
 dev-print = [ "snarkvm-utilities/dev-print" ]
 dev_skip_checks = [ ]
+test_consensus_heights = [ ]
 
 [[bench]]
 name = "stack_operations"

synthesizer/process/src/stack/deploy.rs

@@ -64,10 +64,18 @@ impl<N: Network> Stack<N> {
     ) -> Result<()> {
         let timer = timer!("Stack::verify_deployment");
 
+        // NOTE: As developer, you will likely still want to confirm that your
+        // deployment is within R1CS constraint and variable limits using
+        // targeted and parallelized synthesis.
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
+            return Ok(());
+        }
+
         // Sanity Checks //
 
         // Ensure the deployment is ordered.
         deployment.check_is_ordered()?;
+
         // Ensure the program in the stack and deployment matches.
         ensure!(&self.program == deployment.program(), "The stack program does not match the deployment program");
         // If the deployment contains a checksum, ensure it matches the one computed by the stack.

synthesizer/process/src/trace/mod.rs

@@ -237,7 +237,7 @@ impl<N: Network> Trace<N> {
         verifier_inputs: Vec<(VerifyingKey<N>, Vec<Vec<N::Field>>)>,
         execution: &Execution<N>,
     ) -> Result<()> {
-        if cfg!(feature = "dev_skip_checks") {
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
             return Ok(());
         }
         // Retrieve the global state root.
@@ -271,7 +271,7 @@ impl<N: Network> Trace<N> {
         verifier_inputs: (VerifyingKey<N>, Vec<Vec<N::Field>>),
         fee: &Fee<N>,
     ) -> Result<()> {
-        if cfg!(feature = "dev_skip_checks") {
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
             return Ok(());
         }
         // Retrieve the global state root.