diff --git a/avm-transpiler/Cargo.lock b/avm-transpiler/Cargo.lock index 04d5f592973..6ab0b8d8552 100644 --- a/avm-transpiler/Cargo.lock +++ b/avm-transpiler/Cargo.lock @@ -4,7 +4,7 @@ version = 4 [[package]] name = "acir" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir_field", "base64 0.23.0", @@ -24,7 +24,7 @@ dependencies = [ [[package]] name = "acir_field" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "ark-bn254", "ark-ff", @@ -38,7 +38,7 @@ dependencies = [ [[package]] name = "acvm" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir", "acvm_blackbox_solver", @@ -53,7 +53,7 @@ dependencies = [ [[package]] name = "acvm_blackbox_solver" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir", "aes", @@ -447,7 +447,7 @@ dependencies = [ [[package]] name = "bn254_blackbox_solver" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir", "acvm_blackbox_solver", @@ -470,7 +470,7 @@ dependencies = [ [[package]] name = "brillig" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir_field", "itertools 0.15.0", @@ -480,7 +480,7 @@ dependencies = [ [[package]] name = "brillig_vm" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir", "acvm_blackbox_solver", @@ -947,7 +947,7 @@ dependencies = [ [[package]] name = "fm" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "codespan-reporting", "iter-extended", @@ -1169,7 +1169,7 @@ checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695" [[package]] name = "iter-extended" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" [[package]] name = "itertools" @@ -1290,7 +1290,7 @@ dependencies = [ [[package]] name = "msgpack_tagged" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "msgpack_tagged_derive", "rmp", @@ -1301,7 +1301,7 @@ dependencies = [ [[package]] name = "msgpack_tagged_derive" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "proc-macro2", "quote", @@ -1310,7 +1310,7 @@ dependencies = [ [[package]] name = "noirc_abi" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acvm", "iter-extended", @@ -1326,11 +1326,11 @@ dependencies = [ [[package]] name = "noirc_arena" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" [[package]] name = "noirc_artifacts" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acir", "acvm", @@ -1349,7 +1349,7 @@ dependencies = [ [[package]] name = "noirc_errors" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "codespan-reporting", "fm", @@ -1361,7 +1361,7 @@ dependencies = [ [[package]] name = "noirc_evaluator" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acvm", "bit-vec", @@ -1394,7 +1394,7 @@ dependencies = [ [[package]] name = "noirc_frontend" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acvm", "bn254_blackbox_solver", @@ -1426,7 +1426,7 @@ dependencies = [ [[package]] name = "noirc_printable_type" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "acvm", "iter-extended", @@ -1437,7 +1437,7 @@ dependencies = [ [[package]] name = "noirc_span" -version = "1.0.0-rc.3" +version = "1.0.0-rc.5" dependencies = [ "codespan", "serde", diff --git a/labs-patches/0019-test-refresh-contract-expand-snapshots-for-Noir-v1.0.patch b/labs-patches/0019-test-refresh-contract-expand-snapshots-for-Noir-v1.0.patch new file mode 100644 index 00000000000..a6f37ee86cb --- /dev/null +++ b/labs-patches/0019-test-refresh-contract-expand-snapshots-for-Noir-v1.0.patch @@ -0,0 +1,294 @@ +From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001 +From: AztecBot +Date: Thu, 15 Oct 2026 15:06:53 +0000 +Subject: [PATCH] test: refresh contract expand snapshots for Noir v1.0.0-rc.5 + + +diff --git a/noir-projects/contract-snapshots/tests/snapshots/expand/amm_contract/snapshots__expanded.snap b/noir-projects/contract-snapshots/tests/snapshots/expand/amm_contract/snapshots__expanded.snap +index 57e67faa6beca7a585d5c7a1701764282d28bab4..457abe20cc0c6f591fa03d56e775777f5c326fb0 100644 +--- a/noir-projects/contract-snapshots/tests/snapshots/expand/amm_contract/snapshots__expanded.snap ++++ b/noir-projects/contract-snapshots/tests/snapshots/expand/amm_contract/snapshots__expanded.snap +@@ -2,6 +2,7 @@ + source: tests/snapshots.rs + expression: stdout + --- ++ + use aztec::macros::aztec; + use aztec::macros::aztec; + +@@ -812,9 +813,9 @@ pub contract AMM { + } + + pub fn offchain_receive(self, messages: BoundedVec) -> aztec::context::calls::UtilityCall<16, 321, ()> { +- let serialized_params: [Field; 321] = as aztec::protocol::traits::Serialize>::serialize(messages); ++ let serialized_params: [Field; (16 * 20) + 1] = as aztec::protocol::traits::Serialize>::serialize(messages); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1396850735_Field); +- aztec::context::calls::UtilityCall::<16, 321, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) ++ aztec::context::calls::UtilityCall::<16, (16 * 20) + 1, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) + } + } + +diff --git a/noir-projects/contract-snapshots/tests/snapshots/expand/avm_gadgets_test_contract/snapshots__expanded.snap b/noir-projects/contract-snapshots/tests/snapshots/expand/avm_gadgets_test_contract/snapshots__expanded.snap +index 47a94ed32414cb0a7d7ae1c8b92ed4339ce135f0..38189194797f7a8c418851b7ccba7229e88d5fe9 100644 +--- a/noir-projects/contract-snapshots/tests/snapshots/expand/avm_gadgets_test_contract/snapshots__expanded.snap ++++ b/noir-projects/contract-snapshots/tests/snapshots/expand/avm_gadgets_test_contract/snapshots__expanded.snap +@@ -161,153 +161,153 @@ contract AvmGadgetsTest { + } + + pub fn keccak_hash(self, data: [u8; 10]) -> aztec::context::calls::PublicCall<11, 10, [u8; 32]> { +- let serialized_params: [Field; 10] = <[u8; 10] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 10 * 1] = <[u8; 10] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1352369823_Field); +- aztec::context::calls::PublicCall::<11, 10, [u8; 32]>::new(self.target_contract, selector, "keccak_hash", serialized_params) ++ aztec::context::calls::PublicCall::<11, 10 * 1, [u8; 32]>::new(self.target_contract, selector, "keccak_hash", serialized_params) + } + + pub fn keccak_hash_300(self, data: [u8; 300]) -> aztec::context::calls::PublicCall<15, 300, [u8; 32]> { +- let serialized_params: [Field; 300] = <[u8; 300] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 300 * 1] = <[u8; 300] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3065624740_Field); +- aztec::context::calls::PublicCall::<15, 300, [u8; 32]>::new(self.target_contract, selector, "keccak_hash_300", serialized_params) ++ aztec::context::calls::PublicCall::<15, 300 * 1, [u8; 32]>::new(self.target_contract, selector, "keccak_hash_300", serialized_params) + } + + pub fn keccak_hash_1400(self, data: [u8; 1400]) -> aztec::context::calls::PublicCall<16, 1400, [u8; 32]> { +- let serialized_params: [Field; 1400] = <[u8; 1400] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 1400 * 1] = <[u8; 1400] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(372001522_Field); +- aztec::context::calls::PublicCall::<16, 1400, [u8; 32]>::new(self.target_contract, selector, "keccak_hash_1400", serialized_params) ++ aztec::context::calls::PublicCall::<16, 1400 * 1, [u8; 32]>::new(self.target_contract, selector, "keccak_hash_1400", serialized_params) + } + + pub fn keccak_f1600(self, data: [u64; 25]) -> aztec::context::calls::PublicCall<12, 25, [u64; 25]> { +- let serialized_params: [Field; 25] = <[u64; 25] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 25 * 1] = <[u64; 25] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1867977279_Field); +- aztec::context::calls::PublicCall::<12, 25, [u64; 25]>::new(self.target_contract, selector, "keccak_f1600", serialized_params) ++ aztec::context::calls::PublicCall::<12, 25 * 1, [u64; 25]>::new(self.target_contract, selector, "keccak_f1600", serialized_params) + } + + pub fn poseidon2_hash(self, data: [Field; 10]) -> aztec::context::calls::PublicCall<14, 10, Field> { +- let serialized_params: [Field; 10] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 10 * 1] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3724082008_Field); +- aztec::context::calls::PublicCall::<14, 10, Field>::new(self.target_contract, selector, "poseidon2_hash", serialized_params) ++ aztec::context::calls::PublicCall::<14, 10 * 1, Field>::new(self.target_contract, selector, "poseidon2_hash", serialized_params) + } + + pub fn poseidon2_hash_1000fields(self, data: [Field; 1000]) -> aztec::context::calls::PublicCall<25, 1000, Field> { +- let serialized_params: [Field; 1000] = <[Field; 1000] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 1000 * 1] = <[Field; 1000] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(278602445_Field); +- aztec::context::calls::PublicCall::<25, 1000, Field>::new(self.target_contract, selector, "poseidon2_hash_1000fields", serialized_params) ++ aztec::context::calls::PublicCall::<25, 1000 * 1, Field>::new(self.target_contract, selector, "poseidon2_hash_1000fields", serialized_params) + } + + pub fn sha256_hash_10(self, data: [u8; 10]) -> aztec::context::calls::PublicCall<14, 10, [u8; 32]> { +- let serialized_params: [Field; 10] = <[u8; 10] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 10 * 1] = <[u8; 10] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3545543018_Field); +- aztec::context::calls::PublicCall::<14, 10, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_10", serialized_params) ++ aztec::context::calls::PublicCall::<14, 10 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_10", serialized_params) + } + + pub fn sha256_hash_20(self, data: [u8; 20]) -> aztec::context::calls::PublicCall<14, 20, [u8; 32]> { +- let serialized_params: [Field; 20] = <[u8; 20] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 20 * 1] = <[u8; 20] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2926274626_Field); +- aztec::context::calls::PublicCall::<14, 20, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_20", serialized_params) ++ aztec::context::calls::PublicCall::<14, 20 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_20", serialized_params) + } + + pub fn sha256_hash_30(self, data: [u8; 30]) -> aztec::context::calls::PublicCall<14, 30, [u8; 32]> { +- let serialized_params: [Field; 30] = <[u8; 30] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 30 * 1] = <[u8; 30] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3609677267_Field); +- aztec::context::calls::PublicCall::<14, 30, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_30", serialized_params) ++ aztec::context::calls::PublicCall::<14, 30 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_30", serialized_params) + } + + pub fn sha256_hash_40(self, data: [u8; 40]) -> aztec::context::calls::PublicCall<14, 40, [u8; 32]> { +- let serialized_params: [Field; 40] = <[u8; 40] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 40 * 1] = <[u8; 40] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(900925045_Field); +- aztec::context::calls::PublicCall::<14, 40, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_40", serialized_params) ++ aztec::context::calls::PublicCall::<14, 40 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_40", serialized_params) + } + + pub fn sha256_hash_50(self, data: [u8; 50]) -> aztec::context::calls::PublicCall<14, 50, [u8; 32]> { +- let serialized_params: [Field; 50] = <[u8; 50] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 50 * 1] = <[u8; 50] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(256881939_Field); +- aztec::context::calls::PublicCall::<14, 50, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_50", serialized_params) ++ aztec::context::calls::PublicCall::<14, 50 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_50", serialized_params) + } + + pub fn sha256_hash_60(self, data: [u8; 60]) -> aztec::context::calls::PublicCall<14, 60, [u8; 32]> { +- let serialized_params: [Field; 60] = <[u8; 60] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 60 * 1] = <[u8; 60] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2495458303_Field); +- aztec::context::calls::PublicCall::<14, 60, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_60", serialized_params) ++ aztec::context::calls::PublicCall::<14, 60 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_60", serialized_params) + } + + pub fn sha256_hash_70(self, data: [u8; 70]) -> aztec::context::calls::PublicCall<14, 70, [u8; 32]> { +- let serialized_params: [Field; 70] = <[u8; 70] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 70 * 1] = <[u8; 70] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2200074453_Field); +- aztec::context::calls::PublicCall::<14, 70, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_70", serialized_params) ++ aztec::context::calls::PublicCall::<14, 70 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_70", serialized_params) + } + + pub fn sha256_hash_80(self, data: [u8; 80]) -> aztec::context::calls::PublicCall<14, 80, [u8; 32]> { +- let serialized_params: [Field; 80] = <[u8; 80] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 80 * 1] = <[u8; 80] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(4268069756_Field); +- aztec::context::calls::PublicCall::<14, 80, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_80", serialized_params) ++ aztec::context::calls::PublicCall::<14, 80 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_80", serialized_params) + } + + pub fn sha256_hash_90(self, data: [u8; 90]) -> aztec::context::calls::PublicCall<14, 90, [u8; 32]> { +- let serialized_params: [Field; 90] = <[u8; 90] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 90 * 1] = <[u8; 90] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(799349905_Field); +- aztec::context::calls::PublicCall::<14, 90, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_90", serialized_params) ++ aztec::context::calls::PublicCall::<14, 90 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_90", serialized_params) + } + + pub fn sha256_hash_100(self, data: [u8; 100]) -> aztec::context::calls::PublicCall<15, 100, [u8; 32]> { +- let serialized_params: [Field; 100] = <[u8; 100] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 100 * 1] = <[u8; 100] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2074027672_Field); +- aztec::context::calls::PublicCall::<15, 100, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_100", serialized_params) ++ aztec::context::calls::PublicCall::<15, 100 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_100", serialized_params) + } + + pub fn sha256_hash_255(self, data: [u8; 255]) -> aztec::context::calls::PublicCall<15, 255, [u8; 32]> { +- let serialized_params: [Field; 255] = <[u8; 255] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 255 * 1] = <[u8; 255] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3548859530_Field); +- aztec::context::calls::PublicCall::<15, 255, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_255", serialized_params) ++ aztec::context::calls::PublicCall::<15, 255 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_255", serialized_params) + } + + pub fn sha256_hash_256(self, data: [u8; 256]) -> aztec::context::calls::PublicCall<15, 256, [u8; 32]> { +- let serialized_params: [Field; 256] = <[u8; 256] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 256 * 1] = <[u8; 256] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3409224101_Field); +- aztec::context::calls::PublicCall::<15, 256, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_256", serialized_params) ++ aztec::context::calls::PublicCall::<15, 256 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_256", serialized_params) + } + + pub fn sha256_hash_511(self, data: [u8; 511]) -> aztec::context::calls::PublicCall<15, 511, [u8; 32]> { +- let serialized_params: [Field; 511] = <[u8; 511] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 511 * 1] = <[u8; 511] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(797967809_Field); +- aztec::context::calls::PublicCall::<15, 511, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_511", serialized_params) ++ aztec::context::calls::PublicCall::<15, 511 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_511", serialized_params) + } + + pub fn sha256_hash_512(self, data: [u8; 512]) -> aztec::context::calls::PublicCall<15, 512, [u8; 32]> { +- let serialized_params: [Field; 512] = <[u8; 512] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 512 * 1] = <[u8; 512] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2560938307_Field); +- aztec::context::calls::PublicCall::<15, 512, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_512", serialized_params) ++ aztec::context::calls::PublicCall::<15, 512 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_512", serialized_params) + } + + pub fn sha256_hash_1024(self, data: [u8; 1024]) -> aztec::context::calls::PublicCall<16, 1024, [u8; 32]> { +- let serialized_params: [Field; 1024] = <[u8; 1024] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 1024 * 1] = <[u8; 1024] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2235915052_Field); +- aztec::context::calls::PublicCall::<16, 1024, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_1024", serialized_params) ++ aztec::context::calls::PublicCall::<16, 1024 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_1024", serialized_params) + } + + pub fn sha256_hash_1536(self, data: [u8; 1536]) -> aztec::context::calls::PublicCall<16, 1536, [u8; 32]> { +- let serialized_params: [Field; 1536] = <[u8; 1536] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 1536 * 1] = <[u8; 1536] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(373006257_Field); +- aztec::context::calls::PublicCall::<16, 1536, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_1536", serialized_params) ++ aztec::context::calls::PublicCall::<16, 1536 * 1, [u8; 32]>::new(self.target_contract, selector, "sha256_hash_1536", serialized_params) + } + + pub fn pedersen_hash(self, data: [Field; 10]) -> aztec::context::calls::PublicCall<13, 10, Field> { +- let serialized_params: [Field; 10] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 10 * 1] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(2669406607_Field); +- aztec::context::calls::PublicCall::<13, 10, Field>::new(self.target_contract, selector, "pedersen_hash", serialized_params) ++ aztec::context::calls::PublicCall::<13, 10 * 1, Field>::new(self.target_contract, selector, "pedersen_hash", serialized_params) + } + + pub fn pedersen_hash_with_index(self, data: [Field; 10]) -> aztec::context::calls::PublicCall<24, 10, Field> { +- let serialized_params: [Field; 10] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); ++ let serialized_params: [Field; 10 * 1] = <[Field; 10] as aztec::protocol::traits::Serialize>::serialize(data); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(3265405934_Field); +- aztec::context::calls::PublicCall::<24, 10, Field>::new(self.target_contract, selector, "pedersen_hash_with_index", serialized_params) ++ aztec::context::calls::PublicCall::<24, 10 * 1, Field>::new(self.target_contract, selector, "pedersen_hash_with_index", serialized_params) + } + + pub fn offchain_receive(self, messages: BoundedVec) -> aztec::context::calls::UtilityCall<16, 321, ()> { +- let serialized_params: [Field; 321] = as aztec::protocol::traits::Serialize>::serialize(messages); ++ let serialized_params: [Field; (16 * 20) + 1] = as aztec::protocol::traits::Serialize>::serialize(messages); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1396850735_Field); +- aztec::context::calls::UtilityCall::<16, 321, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) ++ aztec::context::calls::UtilityCall::<16, (16 * 20) + 1, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) + } + } + +diff --git a/noir-projects/contract-snapshots/tests/snapshots/expand/public_fns_with_emit_repro_contract/snapshots__expanded.snap b/noir-projects/contract-snapshots/tests/snapshots/expand/public_fns_with_emit_repro_contract/snapshots__expanded.snap +index d50c3aa40099acf2f3ed8da3d78e5621320475ec..f625a7c59302f305d9bab183757bbbce7d3e5cf6 100644 +--- a/noir-projects/contract-snapshots/tests/snapshots/expand/public_fns_with_emit_repro_contract/snapshots__expanded.snap ++++ b/noir-projects/contract-snapshots/tests/snapshots/expand/public_fns_with_emit_repro_contract/snapshots__expanded.snap +@@ -276,9 +276,9 @@ pub contract PublicFnsWithEmitRepro { + } + + pub fn offchain_receive(self, messages: BoundedVec) -> aztec::context::calls::UtilityCall<16, 321, ()> { +- let serialized_params: [Field; 321] = as aztec::protocol::traits::Serialize>::serialize(messages); ++ let serialized_params: [Field; (16 * 20) + 1] = as aztec::protocol::traits::Serialize>::serialize(messages); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1396850735_Field); +- aztec::context::calls::UtilityCall::<16, 321, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) ++ aztec::context::calls::UtilityCall::<16, (16 * 20) + 1, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) + } + } + +diff --git a/noir-projects/contract-snapshots/tests/snapshots/expand/storage_proof_test_contract/snapshots__expanded.snap b/noir-projects/contract-snapshots/tests/snapshots/expand/storage_proof_test_contract/snapshots__expanded.snap +index 18bf5a7ed2a6d6678e9ed255e46b05e828677466..d261a437c82b0e7fb86544b26479a80ed096c967 100644 +--- a/noir-projects/contract-snapshots/tests/snapshots/expand/storage_proof_test_contract/snapshots__expanded.snap ++++ b/noir-projects/contract-snapshots/tests/snapshots/expand/storage_proof_test_contract/snapshots__expanded.snap +@@ -232,9 +232,9 @@ contract StorageProofTest { + } + + pub fn offchain_receive(self, messages: BoundedVec) -> aztec::context::calls::UtilityCall<16, 321, ()> { +- let serialized_params: [Field; 321] = messages.serialize(); ++ let serialized_params: [Field; (16 * 20) + 1] = messages.serialize(); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1396850735_Field); +- aztec::context::calls::UtilityCall::<16, 321, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) ++ aztec::context::calls::UtilityCall::<16, (16 * 20) + 1, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) + } + } + +diff --git a/noir-projects/contract-snapshots/tests/snapshots/expand/token_contract/snapshots__expanded.snap b/noir-projects/contract-snapshots/tests/snapshots/expand/token_contract/snapshots__expanded.snap +index 01f2e2f818b549e65dbf14e4704995d8c02d1834..ec4bd524c842c50b0629c47b717fe86a29b34ca3 100644 +--- a/noir-projects/contract-snapshots/tests/snapshots/expand/token_contract/snapshots__expanded.snap ++++ b/noir-projects/contract-snapshots/tests/snapshots/expand/token_contract/snapshots__expanded.snap +@@ -2,6 +2,7 @@ + source: tests/snapshots.rs + expression: stdout + --- ++ + use aztec::macros::aztec; + use aztec::macros::aztec; + +@@ -1016,9 +1017,9 @@ pub contract Token { + } + + pub fn offchain_receive(self, messages: BoundedVec) -> aztec::context::calls::UtilityCall<16, 321, ()> { +- let serialized_params: [Field; 321] = as aztec::protocol::traits::Serialize>::serialize(messages); ++ let serialized_params: [Field; (16 * 20) + 1] = as aztec::protocol::traits::Serialize>::serialize(messages); + let selector: aztec::protocol::abis::function_selector::FunctionSelector = ::from_field(1396850735_Field); +- aztec::context::calls::UtilityCall::<16, 321, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) ++ aztec::context::calls::UtilityCall::<16, (16 * 20) + 1, ()>::new(self.target_contract, selector, "offchain_receive", serialized_params) + } + } + diff --git a/noir/noir-repo b/noir/noir-repo index 5a7ee9bf5ed..0f759ffe917 160000 --- a/noir/noir-repo +++ b/noir/noir-repo @@ -1 +1 @@ -Subproject commit 5a7ee9bf5ed8973076df7bb0d2b723024db09ae7 +Subproject commit 0f759ffe9176ffbbe7f67b159ac2c3202e0748a0