Merge pull request #3303 from ProvableHQ/feat/increase-program-size-2048

[Feat] Increase program size limit to 2048 kB

Author: vicsn

console/network/src/consensus_heights.rs

@@ -59,7 +59,7 @@ pub enum ConsensusVersion {
     V15 = 15,
     /// V16: Moves the block's spend limit check to the finalize phase.
     ///      Supports storing of transaction rejection reasons.
-    ///      Increase the program size limit to 1024 kB and the transaction size limit to 1280 kB.
+    ///      Increase the program size limit to 2048 kB and the transaction size limit to 2304 kB.
     ///      Update the deployment storage cost for programs exceeding 512 kB.
     V16 = 16,
 }

console/network/src/lib.rs

@@ -219,7 +219,7 @@ pub trait Network:
     const MAX_PROGRAM_SIZE: [(ConsensusVersion, usize); 3] = [
         (ConsensusVersion::V1, 100_000),    // 100 kB
         (ConsensusVersion::V14, 512_000),   // 512 kB
-        (ConsensusVersion::V16, 1_024_000), // 1024 kB
+        (ConsensusVersion::V16, 2_048_000), // 2048 kB
     ];
     /// The maximum number of mappings in a program.
     const MAX_MAPPINGS: usize = 31;
@@ -269,7 +269,7 @@ pub trait Network:
     const MAX_TRANSACTION_SIZE: [(ConsensusVersion, usize); 3] = [
         (ConsensusVersion::V1, 128_000),    // 128 kB
         (ConsensusVersion::V14, 768_000),   // 768 kB
-        (ConsensusVersion::V16, 1_280_000), // 1280 kB
+        (ConsensusVersion::V16, 2_304_000), // 2304 kB
     ];
 
     /// The state root type.

synthesizer/process/src/cost.rs

@@ -1294,7 +1294,7 @@ function over_five_thousand:
     // Storage cost for an execution transaction at the maximum transaction size.
     const V1_STORAGE_COST_MAX: u64 = 3_276_800;
     const V14_STORAGE_COST_MAX: u64 = 117_964_800;
-    const V16_STORAGE_COST_MAX: u64 = 327_680_000;
+    const V16_STORAGE_COST_MAX: u64 = 1_061_683_200;
 
     fn test_storage_cost_bounds<N: Network>() {
         // Calculate the bounds directly above and below the size threshold.
@@ -1380,9 +1380,9 @@ function over_five_thousand:
         let expected_above =
             above * above * MainnetV0::DEPLOYMENT_FEE_MULTIPLIER / DEPLOYMENT_STORAGE_PENALTY_THRESHOLD;
         assert_eq!(deployment_storage_cost::<MainnetV0>(above).unwrap(), expected_above);
-        // At the V16 max program size (1024 kB): cost is exactly 2x the linear cost.
-        let max = 1_024_000u64;
-        assert_eq!(deployment_storage_cost::<MainnetV0>(max).unwrap(), 2 * max * MainnetV0::DEPLOYMENT_FEE_MULTIPLIER);
+        // At the V16 max program size (2048 kB = 4x the threshold): cost is exactly 4x the linear cost.
+        let max = 2_048_000u64;
+        assert_eq!(deployment_storage_cost::<MainnetV0>(max).unwrap(), 4 * max * MainnetV0::DEPLOYMENT_FEE_MULTIPLIER);
     }
 
     #[test]

synthesizer/program/src/parse.rs

@@ -483,8 +483,8 @@ function compute:
             let mut s = String::with_capacity(max_program_size);
             for i in 0..n {
                 s.push_str(&format!("closure c{i}:\n    input r0 as u128;\n"));
-                for j in 0..10 {
-                    s.push_str(&format!("    cast r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 into r{j} as [u128; 32u32];\n"));
+                for j in 0..30 {
+                    s.push_str(&format!("    cast r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 into r{j} as [u128; 64u32];\n"));
                 }
                 s.push_str(&format!("    output r{} as [u128; 32u32];\n", 4000));
             }
@@ -496,8 +496,8 @@ function compute:
             let mut s = String::with_capacity(max_program_size);
             for i in 0..n {
                 s.push_str(&format!("function f{i}:\n    add 1u128 1u128 into r0;\n"));
-                for j in 0..200 {
-                    s.push_str(&format!("    cast r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 into r{j} as [u128; 32u32];\n"));
+                for j in 0..250 {
+                    s.push_str(&format!("    cast r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 r0 into r{j} as [u128; 64u32];\n"));
                 }
             }
             s

synthesizer/src/vm/tests/test_v16/program_size.rs

@@ -15,7 +15,7 @@
 
 use super::*;
 
-/// Generates a large program string that exceeds the V14 size limit (512KB) but fits within V16 (1024KB).
+/// Generates a large program string that exceeds the V14 size limit (512KB) but fits within V16 (2048KB).
 fn generate_large_program() -> String {
     let mut program = String::from(
         "program large_program_generated.aleo;
@@ -27,7 +27,7 @@ constructor:
     );
 
     // Add each individual function
-    for i in 0..5 {
+    for i in 0..11 {
         program.push_str(&format!("function compute_{i}:\n"));
         program.push_str("    input r0 as u64.public;\n");