From c1da46f3967c9b8072aa03b038a90f6471bc21fe Mon Sep 17 00:00:00 2001 From: Mohammad Fawaz Date: Fri, 10 Oct 2025 21:19:08 -0400 Subject: [PATCH 1/2] External structs --- Cargo.lock | 231 +++++++++--------- Cargo.toml | 4 +- .../src/interpreter_value/core_function.rs | 2 + compiler/ast/src/interpreter_value/value.rs | 29 ++- compiler/ast/src/types/type_.rs | 24 +- compiler/compiler/src/run_with_ledger.rs | 11 +- .../passes/src/code_generation/expression.rs | 25 +- compiler/passes/src/code_generation/mod.rs | 5 + .../passes/src/code_generation/program.rs | 6 +- compiler/passes/src/code_generation/type_.rs | 31 ++- .../passes/src/common/symbol_table/mod.rs | 38 +-- .../passes/src/const_propagation/visitor.rs | 8 +- compiler/passes/src/flattening/ast.rs | 2 +- compiler/passes/src/option_lowering/ast.rs | 2 +- .../static_single_assignment/expression.rs | 2 +- .../passes/src/storage_lowering/visitor.rs | 2 +- .../passes/src/symbol_table_creation/mod.rs | 21 +- compiler/passes/src/type_checking/ast.rs | 15 +- compiler/passes/src/type_checking/mod.rs | 2 +- compiler/passes/src/type_checking/visitor.rs | 99 +++++--- .../passes/src/write_transforming/visitor.rs | 5 +- interpreter/src/cursor_aleo.rs | 1 + .../compiler/structs/external_struct.out | 173 ++++--------- .../external_struct_in_async_function.out | 4 - .../structs/shadow_external_struct_fail.out | 14 +- .../structs/simple_external_struct.out | 59 +++++ .../execution/simple_external_struct.out | 204 ++++++++++++++++ .../structs/simple_external_struct.leo | 53 ++++ .../execution/simple_external_struct.leo | 83 +++++++ 29 files changed, 787 insertions(+), 368 deletions(-) create mode 100644 tests/expectations/compiler/structs/simple_external_struct.out create mode 100644 tests/expectations/execution/simple_external_struct.out create mode 100644 tests/tests/compiler/structs/simple_external_struct.leo create mode 100644 tests/tests/execution/simple_external_struct.leo diff --git a/Cargo.lock b/Cargo.lock index 8106a7a40f3..9448930596a 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -3192,8 +3192,8 @@ dependencies = [ [[package]] name = "snarkvm" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "dotenvy", @@ -3212,8 +3212,8 @@ dependencies = [ [[package]] name = "snarkvm-algorithms" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3239,8 +3239,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-account", "snarkvm-circuit-algorithms", @@ -3253,8 +3253,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-account" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-network", "snarkvm-circuit-types", @@ -3263,8 +3263,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-algorithms" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-types", "snarkvm-console-algorithms", @@ -3273,8 +3273,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-collections" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-algorithms", "snarkvm-circuit-types", @@ -3283,8 +3283,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-environment" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "indexmap", "itertools 0.14.0", @@ -3301,13 +3301,13 @@ dependencies = [ [[package]] name = "snarkvm-circuit-environment-witness" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" [[package]] name = "snarkvm-circuit-network" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-algorithms", "snarkvm-circuit-collections", @@ -3317,8 +3317,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-program" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-account", "snarkvm-circuit-algorithms", @@ -3331,8 +3331,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-address", @@ -3346,8 +3346,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-address" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3359,8 +3359,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-boolean" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-console-types-boolean", @@ -3368,8 +3368,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-field" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3378,8 +3378,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-group" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3390,8 +3390,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-integers" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3402,8 +3402,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-scalar" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3413,8 +3413,8 @@ dependencies = [ [[package]] name = "snarkvm-circuit-types-string" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-circuit-environment", "snarkvm-circuit-types-boolean", @@ -3425,8 +3425,8 @@ dependencies = [ [[package]] name = "snarkvm-console" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-account", "snarkvm-console-algorithms", @@ -3438,8 +3438,8 @@ dependencies = [ [[package]] name = "snarkvm-console-account" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "bs58", "snarkvm-console-network", @@ -3449,8 +3449,8 @@ dependencies = [ [[package]] name = "snarkvm-console-algorithms" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "blake2s_simd", "hex", @@ -3464,8 +3464,8 @@ dependencies = [ [[package]] name = "snarkvm-console-collections" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "rayon", @@ -3475,8 +3475,8 @@ dependencies = [ [[package]] name = "snarkvm-console-network" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "enum-iterator", @@ -3495,8 +3495,8 @@ dependencies = [ [[package]] name = "snarkvm-console-network-environment" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "bech32", @@ -3513,8 +3513,8 @@ dependencies = [ [[package]] name = "snarkvm-console-program" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "enum-iterator", "enum_index", @@ -3534,8 +3534,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-address", @@ -3549,8 +3549,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types-address" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3560,16 +3560,16 @@ dependencies = [ [[package]] name = "snarkvm-console-types-boolean" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", ] [[package]] name = "snarkvm-console-types-field" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3578,8 +3578,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types-group" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3589,8 +3589,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types-integers" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3600,8 +3600,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types-scalar" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3611,8 +3611,8 @@ dependencies = [ [[package]] name = "snarkvm-console-types-string" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console-network-environment", "snarkvm-console-types-boolean", @@ -3622,8 +3622,8 @@ dependencies = [ [[package]] name = "snarkvm-curves" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "rand", "rayon", @@ -3636,8 +3636,8 @@ dependencies = [ [[package]] name = "snarkvm-fields" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3653,8 +3653,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3680,8 +3680,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-authority" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "rand", @@ -3692,8 +3692,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-block" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "indexmap", @@ -3714,8 +3714,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-committee" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "indexmap", "rayon", @@ -3726,8 +3726,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-ledger-narwhal-batch-certificate", "snarkvm-ledger-narwhal-batch-header", @@ -3739,8 +3739,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-batch-certificate" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "indexmap", "rayon", @@ -3752,8 +3752,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-batch-header" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "indexmap", "rayon", @@ -3764,8 +3764,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-data" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "bytes", "serde_json", @@ -3775,8 +3775,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-subdag" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "indexmap", "rayon", @@ -3790,8 +3790,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-transmission" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "bytes", "serde_json", @@ -3803,8 +3803,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-narwhal-transmission-id" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "snarkvm-console", "snarkvm-ledger-puzzle", @@ -3812,8 +3812,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-puzzle" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3831,8 +3831,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-puzzle-epoch" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3853,8 +3853,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-query" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "anyhow", "async-trait", @@ -3870,8 +3870,8 @@ dependencies = [ [[package]] name = "snarkvm-ledger-store" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std-storage", "anyhow", @@ -3890,12 +3890,13 @@ dependencies = [ "snarkvm-synthesizer-program", "snarkvm-synthesizer-snark", "snarkvm-utilities", + "tracing", ] [[package]] name = "snarkvm-parameters" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3916,8 +3917,8 @@ dependencies = [ [[package]] name = "snarkvm-synthesizer" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", @@ -3942,13 +3943,14 @@ dependencies = [ "snarkvm-synthesizer-program", "snarkvm-synthesizer-snark", "snarkvm-utilities", + "tokio", "tracing", ] [[package]] name = "snarkvm-synthesizer-process" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "colored 3.0.0", @@ -3971,8 +3973,8 @@ dependencies = [ [[package]] name = "snarkvm-synthesizer-program" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "enum-iterator", "indexmap", @@ -3990,8 +3992,8 @@ dependencies = [ [[package]] name = "snarkvm-synthesizer-snark" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "bincode", "serde_json", @@ -4003,12 +4005,13 @@ dependencies = [ [[package]] name = "snarkvm-utilities" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "aleo-std", "anyhow", "bincode", + "colored 3.0.0", "num-bigint", "num_cpus", "rand", @@ -4025,8 +4028,8 @@ dependencies = [ [[package]] name = "snarkvm-utilities-derives" -version = "4.4.0" -source = "git+https://github.com/ProvableHQ/snarkVM.git?tag=v4.4.0#5740a36f0c0f4cbe430e5879c0a6951f7cbaf250" +version = "4.3.0" +source = "git+https://github.com/ProvableHQ/snarkVM.git?branch=struct-namespace-squashed#3e0e03cc52cefe5cef6eaf577863b13b55fbb9b2" dependencies = [ "proc-macro2", "quote 1.0.41", diff --git a/Cargo.toml b/Cargo.toml index e2b5e43b0c1..1a3494af6ca 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -145,8 +145,8 @@ version = "0.10.9" [workspace.dependencies.snarkvm] git = "https://github.com/ProvableHQ/snarkVM.git" -tag = "v4.4.0" -features = [ "test_consensus_heights" ] +branch = "struct-namespace-squashed" +features = ["test_consensus_heights"] [workspace.dependencies.tempfile] version = "3.13" diff --git a/compiler/ast/src/interpreter_value/core_function.rs b/compiler/ast/src/interpreter_value/core_function.rs index 1fdf744baf9..2145b81e4fc 100644 --- a/compiler/ast/src/interpreter_value/core_function.rs +++ b/compiler/ast/src/interpreter_value/core_function.rs @@ -164,11 +164,13 @@ pub fn evaluate_core_function( _ => crate::halt_no_span2!("expected array for deserialization"), }; let get_struct_fail = |_: &SvmIdentifier| anyhow::bail!("structs are not supported"); + let get_external_struct_fail = |_: &SvmLocator| anyhow::bail!("structs are not supported"); let value = snarkvm::synthesizer::program::evaluate_deserialize( variant, &bits, &type_.to_snarkvm()?, &get_struct_fail, + &get_external_struct_fail, )?; Ok(value.into()) }; diff --git a/compiler/ast/src/interpreter_value/value.rs b/compiler/ast/src/interpreter_value/value.rs index 6d5103ecfd7..86e56299d13 100644 --- a/compiler/ast/src/interpreter_value/value.rs +++ b/compiler/ast/src/interpreter_value/value.rs @@ -43,6 +43,7 @@ use snarkvm::prelude::{ pub(crate) use snarkvm::prelude::{ Identifier as SvmIdentifierParam, Literal as SvmLiteralParam, + Locator as SvmLocatorParam, Plaintext, Signature as SvmSignature, TestnetV0, @@ -61,6 +62,7 @@ pub(crate) type ProgramID = ProgramIDParam; pub(crate) type SvmPlaintext = Plaintext; pub(crate) type SvmLiteral = SvmLiteralParam; pub(crate) type SvmIdentifier = SvmIdentifierParam; +pub(crate) type SvmLocator = SvmLocatorParam; pub(crate) type Group = SvmGroup; pub(crate) type Field = SvmField; pub(crate) type Scalar = SvmScalar; @@ -826,9 +828,10 @@ impl Value { pub fn to_expression( &self, span: Span, + current_program: &Symbol, node_builder: &NodeBuilder, ty: &Type, - struct_lookup: &dyn Fn(&[Symbol]) -> Vec<(Symbol, Type)>, + struct_lookup: &dyn Fn(&Location) -> Vec<(Symbol, Type)>, ) -> Option { use crate::{Literal, TupleExpression, UnitExpression}; @@ -850,7 +853,7 @@ impl Value { elements: vec .iter() .zip(tuple_type.elements()) - .map(|(val, ty)| val.to_expression(span, node_builder, ty, struct_lookup)) + .map(|(val, ty)| val.to_expression(span, current_program, node_builder, ty, struct_lookup)) .collect::>>()?, } .into() @@ -858,7 +861,7 @@ impl Value { ValueVariants::Unsuffixed(s) => Literal::unsuffixed(s.clone(), span, id).into(), ValueVariants::Svm(value) => match value { SvmValueParam::Plaintext(plaintext) => { - plaintext_to_expression(plaintext, span, node_builder, ty, &struct_lookup)? + plaintext_to_expression(plaintext, span, current_program, node_builder, ty, &struct_lookup)? } SvmValueParam::Record(..) => return None, SvmValueParam::Future(..) => return None, @@ -875,9 +878,10 @@ impl Value { fn plaintext_to_expression( plaintext: &SvmPlaintext, span: Span, + current_program: &Symbol, node_builder: &NodeBuilder, ty: &Type, - struct_lookup: &dyn Fn(&[Symbol]) -> Vec<(Symbol, Type)>, + struct_lookup: &dyn Fn(&Location) -> Vec<(Symbol, Type)>, ) -> Option { use crate::{ArrayExpression, Identifier, IntegerType, Literal, StructExpression, StructVariableInitializer}; @@ -924,8 +928,9 @@ fn plaintext_to_expression( let Type::Composite(composite_type) = ty else { return None; }; - let symbols = composite_type.path.as_symbols(); - let iter_members = struct_lookup(&symbols); + let program = composite_type.program.unwrap_or(*current_program); + let location = Location::new(program, composite_type.path.absolute_path().to_vec()); + let iter_members = struct_lookup(&location); StructExpression { span, id, @@ -945,6 +950,7 @@ fn plaintext_to_expression( expression: Some(plaintext_to_expression( index_map.get(&svm_identifier)?, span, + current_program, node_builder, &ty, &struct_lookup, @@ -964,7 +970,16 @@ fn plaintext_to_expression( id, elements: vec .iter() - .map(|pt| plaintext_to_expression(pt, span, node_builder, &array_ty.element_type, &struct_lookup)) + .map(|pt| { + plaintext_to_expression( + pt, + span, + current_program, + node_builder, + &array_ty.element_type, + &struct_lookup, + ) + }) .collect::>>()?, } .into() diff --git a/compiler/ast/src/types/type_.rs b/compiler/ast/src/types/type_.rs index 0ca4a2ba6b5..e8c6f934e22 100644 --- a/compiler/ast/src/types/type_.rs +++ b/compiler/ast/src/types/type_.rs @@ -34,7 +34,7 @@ use snarkvm::prelude::{ LiteralType, Network, PlaintextType, - PlaintextType::{Array, Literal, Struct}, + PlaintextType::{Array, ExternalStruct, Literal, Struct}, }; use std::fmt; @@ -234,6 +234,14 @@ impl Type { const_arguments: Vec::new(), program, }), + ExternalStruct(l) => Type::Composite(CompositeType { + path: { + let ident = Identifier::from(l.name()); + Path::from(ident).with_absolute_path(Some(vec![ident.name])) + }, + const_arguments: Vec::new(), + program: Some(Identifier::from(l.program_id().name()).name), + }), Array(array) => Type::Array(ArrayType::from_snarkvm(array, program)), } } @@ -265,13 +273,19 @@ impl Type { } // A helper function to get the size in bits of the input type. - pub fn size_in_bits(&self, is_raw: bool, get_structs: F) -> anyhow::Result + pub fn size_in_bits( + &self, + is_raw: bool, + get_structs: &F0, + get_external_structs: &F1, + ) -> anyhow::Result where - F: Fn(&snarkvm::prelude::Identifier) -> anyhow::Result>, + F0: Fn(&snarkvm::prelude::Identifier) -> anyhow::Result>, + F1: Fn(&snarkvm::prelude::Locator) -> anyhow::Result>, { match is_raw { - false => self.to_snarkvm::()?.size_in_bits(&get_structs), - true => self.to_snarkvm::()?.size_in_bits_raw(&get_structs), + false => self.to_snarkvm::()?.size_in_bits(get_structs, get_external_structs), + true => self.to_snarkvm::()?.size_in_bits_raw(get_structs, get_external_structs), } } diff --git a/compiler/compiler/src/run_with_ledger.rs b/compiler/compiler/src/run_with_ledger.rs index 53f3aa0cb8e..0042688ad17 100644 --- a/compiler/compiler/src/run_with_ledger.rs +++ b/compiler/compiler/src/run_with_ledger.rs @@ -120,11 +120,14 @@ pub fn run_with_ledger(config: &Config, case_sets: &[Vec]) -> Result>::from(ConsensusStore::open(0).unwrap()) - .unwrap() - .genesis_beacon(&genesis_private_key, &mut rng) - .unwrap(); + let genesis_block = + VM::>::from(ConsensusStore::open(0).unwrap()).unwrap(); + + println!("before `genesis_beacon`"); + let genesis_block = genesis_block.genesis_beacon(&genesis_private_key, &mut rng).unwrap(); + println!("done genesis_beacon"); // Initialize a `Ledger`. This should always succeed. let ledger = diff --git a/compiler/passes/src/code_generation/expression.rs b/compiler/passes/src/code_generation/expression.rs index b8e81d4217a..1e59a5025de 100644 --- a/compiler/passes/src/code_generation/expression.rs +++ b/compiler/passes/src/code_generation/expression.rs @@ -203,7 +203,7 @@ impl CodeGeneratingVisitor<'_> { // Construct the destination register. let dest_reg = self.next_register(); - let cast_instruction = AleoStmt::Cast(operand, dest_reg.clone(), Self::visit_type(&input.type_)); + let cast_instruction = AleoStmt::Cast(operand, dest_reg.clone(), self.visit_type(&input.type_)); // Concatenate the instructions. instructions.push(cast_instruction); @@ -230,7 +230,7 @@ impl CodeGeneratingVisitor<'_> { let Some(array_type @ Type::Array(..)) = self.state.type_table.get(&input.id) else { panic!("All types should be known at this phase of compilation"); }; - let array_type: AleoType = Self::visit_type(&array_type); + let array_type: AleoType = self.visit_type(&array_type); let array_instruction = AleoStmt::Cast(AleoExpr::Tuple(operands), destination_register.clone(), array_type); @@ -399,7 +399,7 @@ impl CodeGeneratingVisitor<'_> { let Some(array_type @ Type::Array(..)) = self.state.type_table.get(&input.id) else { panic!("All types should be known at this phase of compilation"); }; - let array_type = Self::visit_type(&array_type); + let array_type = self.visit_type(&array_type); let array_instruction = AleoStmt::Cast(AleoExpr::Tuple(expression_operands), dest_reg.clone(), array_type); @@ -560,22 +560,25 @@ impl CodeGeneratingVisitor<'_> { // Get the instruction variant. let is_raw = matches!(variant, SerializeVariant::ToBitsRaw); // Get the size in bits of the input type. + fn struct_not_supported(_: &T) -> anyhow::Result { + bail!("structs are not supported") + } let size_in_bits = match self.state.network { NetworkName::TestnetV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) + input_type.size_in_bits::(is_raw, &struct_not_supported, &struct_not_supported) } NetworkName::MainnetV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) + input_type.size_in_bits::(is_raw, &struct_not_supported, &struct_not_supported) } NetworkName::CanaryV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) + input_type.size_in_bits::(is_raw, &struct_not_supported, &struct_not_supported) } } .expect("TYC guarantees that all types have a valid size in bits"); let dest_reg = self.next_register(); let output_type = AleoType::Array { inner: Box::new(AleoType::Boolean), len: size_in_bits as u32 }; - let input_type = Self::visit_type(&input_type); + let input_type = self.visit_type(&input_type); let instruction = AleoStmt::Serialize(variant, arguments[0].clone(), input_type, dest_reg.clone(), output_type); @@ -588,8 +591,8 @@ impl CodeGeneratingVisitor<'_> { }; let dest_reg = self.next_register(); - let input_type = Self::visit_type(&input_type); - let output_type = Self::visit_type(&output_type); + let input_type = self.visit_type(&input_type); + let output_type = self.visit_type(&output_type); let instruction = AleoStmt::Deserialize(variant, arguments[0].clone(), input_type, dest_reg.clone(), output_type); @@ -749,7 +752,7 @@ impl CodeGeneratingVisitor<'_> { .map(|i| AleoExpr::ArrayAccess(Box::new(register.clone()), Box::new(AleoExpr::U32(i)))) .collect::>(); - let ins = AleoStmt::Cast(AleoExpr::Tuple(elems), new_reg.clone(), Self::visit_type(typ)); + let ins = AleoStmt::Cast(AleoExpr::Tuple(elems), new_reg.clone(), self.visit_type(typ)); ((AleoExpr::Reg(new_reg)), vec![ins]) } @@ -761,7 +764,7 @@ impl CodeGeneratingVisitor<'_> { .state .symbol_table .lookup_record(&location) - .or_else(|| self.state.symbol_table.lookup_struct(&comp_ty.path.absolute_path())) + .or_else(|| self.state.symbol_table.lookup_struct(&location)) .unwrap(); let elems = comp .members diff --git a/compiler/passes/src/code_generation/mod.rs b/compiler/passes/src/code_generation/mod.rs index 295b039fbde..76a98b27130 100644 --- a/compiler/passes/src/code_generation/mod.rs +++ b/compiler/passes/src/code_generation/mod.rs @@ -532,6 +532,7 @@ pub enum AleoType { Future { name: String, program: String }, Record { name: String, program: Option }, Ident { name: String }, + Location { program: String, name: String }, Array { inner: Box, len: u32 }, GroupX, GroupY, @@ -562,6 +563,7 @@ impl Display for AleoType { Self::GroupX => write!(f, "group.x"), Self::GroupY => write!(f, "group.y"), Self::Ident { name } => write!(f, "{name}"), + Self::Location { program, name } => write!(f, "{program}.aleo/{name}"), Self::Address => write!(f, "address"), Self::Boolean => write!(f, "boolean"), Self::Field => write!(f, "field"), @@ -588,6 +590,9 @@ impl From> for AleoType { match value { PlaintextType::Literal(lit) => lit.into(), PlaintextType::Struct(id) => Self::Ident { name: id.to_string() }, + PlaintextType::ExternalStruct(loc) => { + Self::Location { program: loc.program_id().to_string(), name: loc.name().to_string() } + } PlaintextType::Array(arr) => arr.into(), } } diff --git a/compiler/passes/src/code_generation/program.rs b/compiler/passes/src/code_generation/program.rs index 87a215a75a3..3cc7e01b02b 100644 --- a/compiler/passes/src/code_generation/program.rs +++ b/compiler/passes/src/code_generation/program.rs @@ -59,7 +59,7 @@ impl<'a> CodeGeneratingVisitor<'a> { let lookup = |name: &[Symbol]| { self.state .symbol_table - .lookup_struct(name) + .lookup_struct(&Location::new(this_program, name.to_vec())) .or_else(|| self.state.symbol_table.lookup_record(&Location::new(this_program, name.to_vec()))) }; @@ -153,7 +153,7 @@ impl<'a> CodeGeneratingVisitor<'a> { if var.type_.is_empty() { None } else { - Some((var.identifier.to_string(), Self::visit_type(&var.type_))) + Some((var.identifier.to_string(), self.visit_type(&var.type_))) } }) .collect(); @@ -185,7 +185,7 @@ impl<'a> CodeGeneratingVisitor<'a> { if var.type_.is_empty() { None } else { - Some((var.identifier.to_string(), Self::visit_type(&var.type_), match var.mode { + Some((var.identifier.to_string(), self.visit_type(&var.type_), match var.mode { Mode::Constant => AleoVisibility::Constant, Mode::Public => AleoVisibility::Public, Mode::None | Mode::Private => AleoVisibility::Private, diff --git a/compiler/passes/src/code_generation/type_.rs b/compiler/passes/src/code_generation/type_.rs index f75ab3e4e26..334245896d2 100644 --- a/compiler/passes/src/code_generation/type_.rs +++ b/compiler/passes/src/code_generation/type_.rs @@ -16,10 +16,10 @@ use super::*; -use leo_ast::{CompositeType, IntegerType, Location, Type}; +use leo_ast::{IntegerType, Location, Type}; impl CodeGeneratingVisitor<'_> { - pub fn visit_type(input: &Type) -> AleoType { + pub fn visit_type(&self, input: &Type) -> AleoType { match input { Type::Address => AleoType::Address, Type::Field => AleoType::Field, @@ -41,13 +41,32 @@ impl CodeGeneratingVisitor<'_> { IntegerType::I128 => AleoType::I128, }, Type::Identifier(id) => AleoType::Ident { name: id.to_string() }, - Type::Composite(CompositeType { path, .. }) => AleoType::Ident { + Type::Composite(composite) => { + let name = composite.path.absolute_path(); + let this_program_name = self.program_id.unwrap().name.name; + let program_name = composite.program.unwrap_or(this_program_name); + + if self.state.symbol_table.lookup_struct(&Location::new(program_name, name.to_vec())).is_some() { + let struct_name = + Self::legalize_path(&name).expect("path format cannot be legalized at this point"); + if program_name == this_program_name { + AleoType::Ident { name: struct_name.to_string() } + } else { + AleoType::Location { program: program_name.to_string(), name: struct_name.to_string() } + // format!("{program_name}.aleo/{struct_name}") + } + } else { + panic!("") + } + } + + /*AleoType::Ident { name: Self::legalize_path(&path.absolute_path()) .expect("path format cannot be legalized at this point"), - }, + },*/ Type::Boolean => AleoType::Boolean, Type::Array(array_type) => AleoType::Array { - inner: Box::new(Self::visit_type(array_type.element_type())), + inner: Box::new(self.visit_type(array_type.element_type())), len: array_type.length.as_u32().expect("length should be known at this point"), }, Type::Future(..) => { @@ -96,6 +115,6 @@ impl CodeGeneratingVisitor<'_> { } } - (Self::visit_type(type_), visibility) + (self.visit_type(type_), visibility) } } diff --git a/compiler/passes/src/common/symbol_table/mod.rs b/compiler/passes/src/common/symbol_table/mod.rs index 2308bef5edd..490a6dd2016 100644 --- a/compiler/passes/src/common/symbol_table/mod.rs +++ b/compiler/passes/src/common/symbol_table/mod.rs @@ -37,7 +37,7 @@ pub struct SymbolTable { records: IndexMap, /// Structs indexed by a path. - structs: IndexMap, Composite>, + structs: IndexMap, /// Consts that have been successfully evaluated. global_consts: IndexMap, @@ -165,7 +165,7 @@ impl SymbolTable { } /// Iterator over all the structs (not records) in this program. - pub fn iter_structs(&self) -> impl Iterator, &Composite)> { + pub fn iter_structs(&self) -> impl Iterator { self.structs.iter() } @@ -180,8 +180,8 @@ impl SymbolTable { } /// Access the struct by this name if it exists. - pub fn lookup_struct(&self, path: &[Symbol]) -> Option<&Composite> { - self.structs.get(path) + pub fn lookup_struct(&self, location: &Location) -> Option<&Composite> { + self.structs.get(location) } /// Access the record at this location if it exists. @@ -357,19 +357,10 @@ impl SymbolTable { /// Insert a struct at this name. /// /// Since structs are indexed only by name, the program is used only to check shadowing. - pub fn insert_struct(&mut self, program: Symbol, path: &[Symbol], composite: Composite) -> Result<()> { - if let Some(old_composite) = self.structs.get(path) { - if eq_struct(&composite, old_composite) { - Ok(()) - } else { - Err(AstError::redefining_external_struct(path.iter().format("::"), old_composite.span).into()) - } - } else { - let location = Location::new(program, path.to_vec()); - self.check_shadow_global(&location, composite.identifier.span)?; - self.structs.insert(path.to_vec(), composite); - Ok(()) - } + pub fn insert_struct(&mut self, location: Location, composite: Composite) -> Result<()> { + self.check_shadow_global(&location, composite.span)?; + self.structs.insert(location, composite); + Ok(()) } /// Insert a record at this location. @@ -414,7 +405,7 @@ impl SymbolTable { .get(location) .map(|f| f.function.identifier.span) .or_else(|| self.records.get(location).map(|r| r.identifier.span)) - .or_else(|| self.structs.get(&location.path).map(|s| s.identifier.span)) + .or_else(|| self.structs.get(location).map(|s| s.identifier.span)) .or_else(|| self.globals.get(location).map(|g| g.span)) .map_or_else(|| Ok(()), |prev_span| Err(Self::emit_shadow_error(*name, span, prev_span))) } @@ -468,14 +459,3 @@ impl SymbolTable { } } } - -fn eq_struct(new: &Composite, old: &Composite) -> bool { - if new.members.len() != old.members.len() { - return false; - } - - new.members - .iter() - .zip(old.members.iter()) - .all(|(member1, member2)| member1.name() == member2.name() && member1.type_.eq_flat_relaxed(&member2.type_)) -} diff --git a/compiler/passes/src/const_propagation/visitor.rs b/compiler/passes/src/const_propagation/visitor.rs index bdde0c4d4b7..2ab470242cd 100644 --- a/compiler/passes/src/const_propagation/visitor.rs +++ b/compiler/passes/src/const_propagation/visitor.rs @@ -16,7 +16,7 @@ use crate::CompilerState; -use leo_ast::{Expression, Node, NodeID, interpreter_value::Value}; +use leo_ast::{Expression, Location, Node, NodeID, interpreter_value::Value}; use leo_errors::StaticAnalyzerError; use leo_span::{Span, Symbol}; @@ -64,16 +64,16 @@ impl ConstPropagationVisitor<'_> { pub fn value_to_expression(&self, value: &Value, span: Span, id: NodeID) -> Option { let ty = self.state.type_table.get(&id)?; let symbol_table = &self.state.symbol_table; - let struct_lookup = |sym: &[Symbol]| { + let struct_lookup = |loc: &Location| { symbol_table - .lookup_struct(sym) + .lookup_struct(loc) .unwrap() .members .iter() .map(|mem| (mem.identifier.name, mem.type_.clone())) .collect() }; - value.to_expression(span, &self.state.node_builder, &ty, &struct_lookup) + value.to_expression(span, &self.program, &self.state.node_builder, &ty, &struct_lookup) } pub fn value_to_expression_node(&self, value: &Value, previous: &impl Node) -> Option { diff --git a/compiler/passes/src/flattening/ast.rs b/compiler/passes/src/flattening/ast.rs index 1007bf903ef..6356b48f47e 100644 --- a/compiler/passes/src/flattening/ast.rs +++ b/compiler/passes/src/flattening/ast.rs @@ -107,7 +107,7 @@ impl AstReconstructor for FlatteningVisitor<'_> { let if_true_type = self .state .symbol_table - .lookup_struct(&composite_path.absolute_path()) + .lookup_struct(&Location::new(program, composite_path.absolute_path())) .or_else(|| { self.state.symbol_table.lookup_record(&Location::new(program, composite_path.absolute_path())) }) diff --git a/compiler/passes/src/option_lowering/ast.rs b/compiler/passes/src/option_lowering/ast.rs index 4e9a97becb7..63ea69250f9 100644 --- a/compiler/passes/src/option_lowering/ast.rs +++ b/compiler/passes/src/option_lowering/ast.rs @@ -419,7 +419,7 @@ impl leo_ast::AstReconstructor for OptionLoweringVisitor<'_> { .state .symbol_table .lookup_record(&location) - .or_else(|| self.state.symbol_table.lookup_struct(&composite.path.absolute_path())) + .or_else(|| self.state.symbol_table.lookup_struct(&location)) .or_else(|| self.new_structs.get(&composite.path.identifier().name)) .expect("guaranteed by type checking"); diff --git a/compiler/passes/src/static_single_assignment/expression.rs b/compiler/passes/src/static_single_assignment/expression.rs index 4892ee9e744..58337fd84a1 100644 --- a/compiler/passes/src/static_single_assignment/expression.rs +++ b/compiler/passes/src/static_single_assignment/expression.rs @@ -176,7 +176,7 @@ impl ExpressionConsumer for SsaFormingVisitor<'_> { .state .symbol_table .lookup_record(&Location::new(self.program, input.path.absolute_path())) - .or_else(|| self.state.symbol_table.lookup_struct(&input.path.absolute_path())) + .or_else(|| self.state.symbol_table.lookup_struct(&Location::new(self.program, input.path.absolute_path()))) .expect("Type checking guarantees this definition exists."); // Initialize the list of reordered members. diff --git a/compiler/passes/src/storage_lowering/visitor.rs b/compiler/passes/src/storage_lowering/visitor.rs index fdf30d97ea5..496a22defb9 100644 --- a/compiler/passes/src/storage_lowering/visitor.rs +++ b/compiler/passes/src/storage_lowering/visitor.rs @@ -146,7 +146,7 @@ impl StorageLoweringVisitor<'_> { let symbol_table = &self.state.symbol_table; let struct_lookup = |sym: &[Symbol]| { symbol_table - .lookup_struct(sym) + .lookup_struct(&Location::new(self.program, sym.to_vec())) .unwrap() .members .iter() diff --git a/compiler/passes/src/symbol_table_creation/mod.rs b/compiler/passes/src/symbol_table_creation/mod.rs index e94e583d9b8..89ce72b983f 100644 --- a/compiler/passes/src/symbol_table_creation/mod.rs +++ b/compiler/passes/src/symbol_table_creation/mod.rs @@ -165,8 +165,14 @@ impl ProgramVisitor for SymbolTableCreationVisitor<'_> { { self.state.handler.emit_err(err); } - } else if let Err(err) = self.state.symbol_table.insert_struct(self.program_name, &full_name, input.clone()) { - self.state.handler.emit_err(err); + } else { + let program_name = input.external.unwrap_or(self.program_name); + + if let Err(err) = + self.state.symbol_table.insert_struct(Location::new(program_name, full_name), input.clone()) + { + self.state.handler.emit_err(err); + } } } @@ -260,10 +266,13 @@ impl ProgramVisitor for SymbolTableCreationVisitor<'_> { { self.state.handler.emit_err(err); } - } else if let Err(err) = - self.state.symbol_table.insert_struct(self.program_name, &[input.name()], input.clone()) - { - self.state.handler.emit_err(err); + } else { + let program_name = input.external.unwrap_or(self.program_name); + if let Err(err) = + self.state.symbol_table.insert_struct(Location::new(program_name, vec![input.name()]), input.clone()) + { + self.state.handler.emit_err(err); + } } } } diff --git a/compiler/passes/src/type_checking/ast.rs b/compiler/passes/src/type_checking/ast.rs index 1a134ca15e0..cbfb7ed2f79 100644 --- a/compiler/passes/src/type_checking/ast.rs +++ b/compiler/passes/src/type_checking/ast.rs @@ -1106,6 +1106,17 @@ impl AstVisitor for TypeCheckingVisitor<'_> { _ => {} } + // TODO: do this the right way... this is too sloppy + let output_type = if let Some(program) = input.program { + if let Type::Composite(composite) = func.output_type { + Type::Composite(CompositeType { program: Some(program), ..composite }) + } else { + func.output_type + } + } else { + func.output_type + }; + // Check that the call is not to an external `inline` function. if func.variant == Variant::Inline && input.program.is_some_and(|program| program != self.scope_state.program_name.unwrap()) @@ -1147,7 +1158,7 @@ impl AstVisitor for TypeCheckingVisitor<'_> { Some(Location::new(callee_program, callee_path.clone())), true, )); - let fully_inferred_type = match &func.output_type { + let fully_inferred_type = match &output_type { Type::Tuple(tup) => Type::Tuple(TupleType::new( tup.elements() .iter() @@ -1159,7 +1170,7 @@ impl AstVisitor for TypeCheckingVisitor<'_> { }; self.assert_and_return_type(fully_inferred_type, expected, input.span()) } else { - self.assert_and_return_type(func.output_type, expected, input.span()) + self.assert_and_return_type(output_type, expected, input.span()) }; // Check number of function arguments. diff --git a/compiler/passes/src/type_checking/mod.rs b/compiler/passes/src/type_checking/mod.rs index a88e7bd0c3c..e5bd3382cbe 100644 --- a/compiler/passes/src/type_checking/mod.rs +++ b/compiler/passes/src/type_checking/mod.rs @@ -89,7 +89,7 @@ impl Pass for TypeChecking { .symbol_table .iter_records() .map(|(loc, _)| loc.path.clone()) - .chain(state.symbol_table.iter_structs().map(|(name, _)| name.clone())) + .chain(state.symbol_table.iter_structs().map(|(loc, _)| loc.path.clone())) .collect(); let function_names = state.symbol_table.iter_functions().map(|(loc, _)| loc.clone()).collect(); diff --git a/compiler/passes/src/type_checking/visitor.rs b/compiler/passes/src/type_checking/visitor.rs index 7264a651789..dc4f6efbd08 100644 --- a/compiler/passes/src/type_checking/visitor.rs +++ b/compiler/passes/src/type_checking/visitor.rs @@ -470,6 +470,10 @@ impl TypeCheckingVisitor<'_> { // Define a regex to match valid program IDs. let program_id_regex = regex::Regex::new(r"^[a-zA-Z][a-zA-Z0-9_]*\.aleo$").unwrap(); + fn struct_not_supported(_: &T) -> anyhow::Result { + bail!("structs are not supported") + } + // Check that the arguments are of the correct type. match core_function { CoreFunction::Commit(variant, type_) => { @@ -494,12 +498,21 @@ impl TypeCheckingVisitor<'_> { let input_type = &arguments[0].0; // Get the size in bits. let size_in_bits = match self.state.network { - NetworkName::TestnetV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), - NetworkName::MainnetV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), - NetworkName::CanaryV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), + NetworkName::TestnetV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::MainnetV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::CanaryV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), }; if let Ok(size_in_bits) = size_in_bits { // Check that the size in bits is a multiple of 8. @@ -641,12 +654,21 @@ impl TypeCheckingVisitor<'_> { let input_type = &arguments[2].0; // Get the size in bits. let size_in_bits = match self.state.network { - NetworkName::TestnetV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), - NetworkName::MainnetV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), - NetworkName::CanaryV0 => input_type - .size_in_bits::(variant.is_raw(), |_| bail!("structs are not supported")), + NetworkName::TestnetV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::MainnetV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::CanaryV0 => input_type.size_in_bits::( + variant.is_raw(), + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), }; if let Ok(size_in_bits) = size_in_bits { // Check that the size in bits is a multiple of 8. @@ -955,15 +977,21 @@ impl TypeCheckingVisitor<'_> { // Get the size in bits. let size_in_bits = match self.state.network { - NetworkName::TestnetV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } - NetworkName::MainnetV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } - NetworkName::CanaryV0 => { - input_type.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } + NetworkName::TestnetV0 => input_type.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::MainnetV0 => input_type.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::CanaryV0 => input_type.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), }; if let Ok(size_in_bits) = size_in_bits { @@ -1002,15 +1030,21 @@ impl TypeCheckingVisitor<'_> { // Get the size in bits. let size_in_bits = match self.state.network { - NetworkName::TestnetV0 => { - type_.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } - NetworkName::MainnetV0 => { - type_.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } - NetworkName::CanaryV0 => { - type_.size_in_bits::(is_raw, |_| bail!("structs are not supported")) - } + NetworkName::TestnetV0 => type_.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::MainnetV0 => type_.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), + NetworkName::CanaryV0 => type_.size_in_bits::( + is_raw, + &struct_not_supported::<_, _>, + &struct_not_supported::<_, _>, + ), }; if let Ok(size_in_bits) = size_in_bits { @@ -1686,7 +1720,10 @@ impl TypeCheckingVisitor<'_> { pub fn lookup_struct(&mut self, program: Option, name: &[Symbol]) -> Option { let record_comp = program.and_then(|prog| self.state.symbol_table.lookup_record(&Location::new(prog, name.to_vec()))); - let comp = record_comp.or_else(|| self.state.symbol_table.lookup_struct(name)); + let comp = program.and_then(|prog| { + record_comp.or_else(|| self.state.symbol_table.lookup_struct(&Location::new(prog, name.to_vec()))) + }); + // Record the usage. if let Some(s) = comp { // If it's a struct or internal record, mark it used. diff --git a/compiler/passes/src/write_transforming/visitor.rs b/compiler/passes/src/write_transforming/visitor.rs index 98e4ad67725..4cd49556838 100644 --- a/compiler/passes/src/write_transforming/visitor.rs +++ b/compiler/passes/src/write_transforming/visitor.rs @@ -309,7 +309,10 @@ impl WriteTransformingFiller<'_> { .0 .state .symbol_table - .lookup_struct(&comp.path.absolute_path()) + .lookup_struct(&Location::new( + comp.program.unwrap_or(self.0.program), + comp.path.absolute_path(), + )) .or_else(|| { self.0.state.symbol_table.lookup_record(&Location::new( comp.program.unwrap_or(self.0.program), diff --git a/interpreter/src/cursor_aleo.rs b/interpreter/src/cursor_aleo.rs index 94b3a7bf4c0..dbb0d95a90b 100644 --- a/interpreter/src/cursor_aleo.rs +++ b/interpreter/src/cursor_aleo.rs @@ -421,6 +421,7 @@ impl Cursor { ); (value, destination) } + CastType::Plaintext(PlaintextType::ExternalStruct(_struct_name)) => todo!(), CastType::Record(record_name) => { let program = self.current_program().unwrap(); let name = Symbol::intern(&record_name.to_string()); diff --git a/tests/expectations/compiler/structs/external_struct.out b/tests/expectations/compiler/structs/external_struct.out index 3a96844336a..9607681c633 100644 --- a/tests/expectations/compiler/structs/external_struct.out +++ b/tests/expectations/compiler/structs/external_struct.out @@ -1,121 +1,52 @@ -program child.aleo; - -record Boo: - owner as address.private; - val as u32.private; - -struct Two: - val1 as u32; - val2 as u32; - -struct One: - two as [Two; 2u32]; - -struct Baz: - one as One; - -struct Bar: - baz as [Baz; 2u32]; - -struct Foo: - bar as [Bar; 1u32]; - -function create: - cast 1u32 2u32 into r0 as Two; - cast 3u32 4u32 into r1 as Two; - cast r0 r1 into r2 as [Two; 2u32]; - cast r2 into r3 as One; - cast r3 into r4 as Baz; - cast 5u32 6u32 into r5 as Two; - cast 7u32 8u32 into r6 as Two; - cast r5 r6 into r7 as [Two; 2u32]; - cast r7 into r8 as One; - cast r8 into r9 as Baz; - cast r4 r9 into r10 as [Baz; 2u32]; - cast r10 into r11 as Bar; - cast r11 into r12 as [Bar; 1u32]; - cast r12 into r13 as Foo; - cast self.signer 10u32 into r14 as Boo.record; - output r13 as Foo.private; - output r14 as Boo.record; -// --- Next Program --- // -import child.aleo; -program parent.aleo; - -struct Woo: - a as u32; - b as u32; - -record BooHoo: - owner as address.private; - val as u32.private; - woo as Woo.private; - -struct Two: - val1 as u32; - val2 as u32; - -struct One: - two as [Two; 2u32]; - -struct Baz: - one as One; - -struct Bar: - baz as [Baz; 2u32]; - -struct Foo: - bar as [Bar; 1u32]; - -function create_wrapper: - call child.aleo/create into r0 r1; - call child.aleo/create into r2 r3; - output r2 as Foo.private; - output r3 as child.aleo/Boo.record; - -function create_another_wrapper: - call child.aleo/create into r0 r1; - cast 1u32 2u32 into r2 as Woo; - cast self.signer 10u32 r2 into r3 as BooHoo.record; - cast 3u32 4u32 into r4 as Woo; - output r0 as Foo.private; - output r1 as child.aleo/Boo.record; - output r3 as BooHoo.record; - output r4 as Woo.private; -// --- Next Program --- // -import child.aleo; -import parent.aleo; -program grandparent.aleo; - -struct Two: - val1 as u32; - val2 as u32; - -struct One: - two as [Two; 2u32]; - -struct Baz: - one as One; - -struct Bar: - baz as [Baz; 2u32]; - -struct Foo: - bar as [Bar; 1u32]; - -struct Woo: - a as u32; - b as u32; - -function main: - input r0 as u32.private; - add 1u32 r0 into r1; - output r1 as u32.private; - -function omega_wrapper: - call parent.aleo/create_another_wrapper into r0 r1 r2 r3; - call parent.aleo/create_another_wrapper into r4 r5 r6 r7; - output r4 as Foo.private; - output r5 as child.aleo/Boo.record; - output r6 as parent.aleo/BooHoo.record; - output r7 as Woo.private; +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:17:37 + | + 17 | transition create_wrapper() -> (Foo, child.aleo/Boo) { + | ^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:18:9 + | + 18 | let f: Foo = Foo {bar: [Bar {baz: [Baz {one: One {two: [Two {val1: 1u32, val2: 2u32}, Two {val1: 3u32, val2: 4u32}]}}, Baz {one: One {two: [Two {val1: 5u32, val2: 6u32}, Two {val1: 7u32, val2: 8u32}]}}]}]}; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` +Error [ETYC0372005]: Unknown struct or record `Foo` + --> compiler-test:18:22 + | + 18 | let f: Foo = Foo {bar: [Bar {baz: [Baz {one: One {two: [Two {val1: 1u32, val2: 2u32}, Two {val1: 3u32, val2: 4u32}]}}, Baz {one: One {two: [Two {val1: 5u32, val2: 6u32}, Two {val1: 7u32, val2: 8u32}]}}]}]}; + | ^^^ +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:19:9 + | + 19 | let (f1, b1): (Foo, child.aleo/Boo) = child.aleo/create(); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:23:45 + | + 23 | transition create_another_wrapper() -> (Foo, child.aleo/Boo, BooHoo, Woo) { + | ^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:24:9 + | + 24 | let f: Foo = Foo {bar: [Bar {baz: [Baz {one: One {two: [Two {val1: 1u32, val2: 2u32}, Two {val1: 3u32, val2: 4u32}]}}, Baz {one: One {two: [Two {val1: 5u32, val2: 6u32}, Two {val1: 7u32, val2: 8u32}]}}]}]}; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` +Error [ETYC0372005]: Unknown struct or record `Foo` + --> compiler-test:24:22 + | + 24 | let f: Foo = Foo {bar: [Bar {baz: [Baz {one: One {two: [Two {val1: 1u32, val2: 2u32}, Two {val1: 3u32, val2: 4u32}]}}, Baz {one: One {two: [Two {val1: 5u32, val2: 6u32}, Two {val1: 7u32, val2: 8u32}]}}]}]}; + | ^^^ +Error [ETYC0372017]: The type `Foo` is not found in the current scope. + --> compiler-test:25:9 + | + 25 | let (f1, b1): (Foo, child.aleo/Boo) = child.aleo/create(); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = If you are using an external type, make sure to preface with the program name. Ex: `credits.aleo/credits` instead of `credits` diff --git a/tests/expectations/compiler/structs/external_struct_in_async_function.out b/tests/expectations/compiler/structs/external_struct_in_async_function.out index f2f78e8dec9..4af515474a0 100644 --- a/tests/expectations/compiler/structs/external_struct_in_async_function.out +++ b/tests/expectations/compiler/structs/external_struct_in_async_function.out @@ -16,9 +16,5 @@ finalize init: import parent.aleo; program child.aleo; -struct TestStruct: - data0 as u128; - data1 as u128; - function main: output 1u32 as u32.private; diff --git a/tests/expectations/compiler/structs/shadow_external_struct_fail.out b/tests/expectations/compiler/structs/shadow_external_struct_fail.out index 51f54b74fe6..f486092afa6 100644 --- a/tests/expectations/compiler/structs/shadow_external_struct_fail.out +++ b/tests/expectations/compiler/structs/shadow_external_struct_fail.out @@ -1,13 +1 @@ -Error [EAST0372015]: There are two definitions of struct `Bar` that do not match. - --> compiler-test:9:5 - | - 9 | struct Bar { - | ^^^^^^^^^^^^ - 10 | baz: [Baz; 2], - | ^^^^^^^^^^^^^^ - 11 | bog: u32, - | ^^^^^^^^^ - 12 | } - | ^ - | - = Check the import files to see if there are any struct definitions of the same name. +Output 'r0' does not match the expected output operand type: expected 'child.aleo/Foo', found 'Foo' \ No newline at end of file diff --git a/tests/expectations/compiler/structs/simple_external_struct.out b/tests/expectations/compiler/structs/simple_external_struct.out new file mode 100644 index 00000000000..e1b1660d441 --- /dev/null +++ b/tests/expectations/compiler/structs/simple_external_struct.out @@ -0,0 +1,59 @@ +program child1.aleo; + +struct Foo: + x as u32; + y as u32; + z as u32; + +function main1: + input r0 as Foo.private; + +function main2: + input r0 as u32.private; + input r1 as u32.private; + input r2 as u32.private; + cast r0 r1 r2 into r3 as Foo; + output r3 as Foo.private; +// --- Next Program --- // +program child2.aleo; + +struct Foo: + x as u32; + y as u32; + z as u32; + w as u32; + +function main1: + input r0 as Foo.private; + +function main2: + input r0 as u32.private; + input r1 as u32.private; + input r2 as u32.private; + input r3 as u32.private; + cast r0 r1 r2 r3 into r4 as Foo; + output r4 as Foo.private; +// --- Next Program --- // +import child1.aleo; +import child2.aleo; +program external_structs.aleo; + +struct Foo: + x as u32; + y as u32; + +function main1: + input r0 as Foo.private; + input r1 as child1.aleo/Foo.private; + input r2 as child2.aleo/Foo.private; + +function main2: + call child1.aleo/main2 1u32 2u32 3u32 into r0; + call child2.aleo/main2 1u32 2u32 3u32 4u32 into r1; + add r0.x r0.y into r2; + add r2 r0.z into r3; + add r3 r1.x into r4; + add r4 r1.y into r5; + add r5 r1.z into r6; + add r6 r1.w into r7; + output r7 as u32.private; diff --git a/tests/expectations/execution/simple_external_struct.out b/tests/expectations/execution/simple_external_struct.out new file mode 100644 index 00000000000..6aa351e5c67 --- /dev/null +++ b/tests/expectations/execution/simple_external_struct.out @@ -0,0 +1,204 @@ +program child1.aleo; + +struct Foo: + x as u32; + y as u32; + z as u32; + +function main1: + input r0 as Foo.private; + +function main2: + input r0 as u32.private; + input r1 as u32.private; + input r2 as u32.private; + cast r0 r1 r2 into r3 as Foo; + output r3 as Foo.private; + +constructor: + assert.eq edition 0u16; +// --- Next Program --- // +program child2.aleo; + +struct Foo: + x as u32; + y as u32; + z as u32; + w as u32; + +function main1: + input r0 as Foo.private; + +function main2: + input r0 as u32.private; + input r1 as u32.private; + input r2 as u32.private; + input r3 as u32.private; + cast r0 r1 r2 r3 into r4 as Foo; + output r4 as Foo.private; + +constructor: + assert.eq edition 0u16; +// --- Next Program --- // +import child1.aleo; +import child2.aleo; +program external_structs.aleo; + +struct Foo: + x as u32; + y as u32; + +function main1: + input r0 as Foo.private; + input r1 as child1.aleo/Foo.private; + input r2 as child2.aleo/Foo.private; + add r0.x r0.y into r3; + add r3 r1.x into r4; + add r4 r1.y into r5; + add r5 r1.z into r6; + add r6 r2.x into r7; + add r7 r2.y into r8; + add r8 r2.z into r9; + add r9 r2.w into r10; + assert.eq r10 495u32; + +function main2: + call child1.aleo/main2 1u32 2u32 3u32 into r0; + call child2.aleo/main2 1u32 2u32 3u32 4u32 into r1; + add r0.x r0.y into r2; + add r2 r0.z into r3; + add r3 r1.x into r4; + add r4 r1.y into r5; + add r5 r1.z into r6; + add r6 r1.w into r7; + output r7 as u32.public; + +constructor: + assert.eq edition 0u16; +verified: true +status: accepted +{ + "transitions": [ + { + "id": "au14antzdxkjrdyafs3qx4qw5jg583l4fzw9uj7u5u4mkn8ym85cyqsa094x9", + "program": "external_structs.aleo", + "function": "main1", + "inputs": [ + { + "type": "private", + "id": "2096312061641803215371098340476334597371507973629936572379485503380011532969field", + "value": "ciphertext1qyqvl75mva7x5046mt80l0wpakr23ff0wwdefyq9nyulw2ty2mr7czsklqnjj" + }, + { + "type": "private", + "id": "3696003350536987238630844917134017047986947975697186289528638396061572956538field", + "value": "ciphertext1qgqyk88eylgy76639x8t5dnvnnr3egld6y872t0yl0yx9u05eeyx5zlpmgtednc475h3me7hu4dq39vdchu4932y4hfwg3v530qx9u4dqsv23t86" + }, + { + "type": "private", + "id": "4899299611395521286988434910331436097942739560747652588410293177719722302424field", + "value": "ciphertext1qgqpnmfpywzk8pcpvrd0sh22xu845ndck4hwpunvvk4pc4slegxdvpqmusaqmwqmny5yh2cphq3cl8c4qvtcxrhg5qla68x0jaez7fkmpupqcuk9" + } + ], + "outputs": [], + "tpk": "1412376723741654545689775687894516286511091102925951564434033287426843274920group", + "tcm": "5491479151525498036107852033688148221191508608473778366056290873010986366739field", + "scm": "2807548869978713531425432334945858319538734134615969880248193629163275591201field" + } + ], + "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" +} + +verified: true +status: accepted +{ + "transitions": [ + { + "id": "au10u7qsnh086vm7xufe8hq8edg5jvz44uqsj4fhylcw5yvm85atv8q9ff4nd", + "program": "child1.aleo", + "function": "main2", + "inputs": [ + { + "type": "private", + "id": "2755238058249694371935524679709149619382148418396834315885656181411829168875field", + "value": "ciphertext1qyq9ncw55dmklqcqprzv70hzwqggcmrgsf3rx986ylfatu02mtjrqpgs9lae6" + }, + { + "type": "private", + "id": "4716856688077675419943963333586057303787901195493030239011714779865128714378field", + "value": "ciphertext1qyqw7cmkva9s7dn7grqmu2er9jvvtf59zu3kurlugk43wxwq9w88szsuxglgf" + }, + { + "type": "private", + "id": "1314263505953362413737123426159871293933045282810059888503661764649727503618field", + "value": "ciphertext1qyqyecqsscljly7kp0z4e00p9lzaa6txskscecquzv986ml4w7yrxzqfukdjw" + } + ], + "outputs": [ + { + "type": "private", + "id": "2794390415797041762568526804679927659996837821272444902405023325440581780602field", + "value": "ciphertext1qgqtfn96v2elfpx3ugh2am7yka2t6keyyes6r2ujzmldvce0x0x5gqpn7xeuyc6gxdvr303jhvnszhsx9xtl2vsrg9y5py6m2fvpwl0jzqkanxvn" + } + ], + "tpk": "4656840751718663562093437303453249881710835279997727430823124417556130079794group", + "tcm": "314290009102398298399905295499615635071196189881948591077615638317970428907field", + "scm": "5281434977164411386066682085374193503124481260985546094677535317296954867500field" + }, + { + "id": "au1ssrt7mtthwfeh8dpxcx3exreg3sgqmeju9xhypakz5y74u9wacysy0q08t", + "program": "child2.aleo", + "function": "main2", + "inputs": [ + { + "type": "private", + "id": "2095034100587492345918785324590076929414219879873927678022407666821425146559field", + "value": "ciphertext1qyqg9k53w6mxu2t2qrukpqxygyn7lqjdw5e6s5dwcjp7ev4lkaaxczq80qw6j" + }, + { + "type": "private", + "id": "3087373623848881653383908580165909055332143992617006860150831980842274773322field", + "value": "ciphertext1qyqdvlylefn9ftqyh2xj0vljcwrrpcm52hf5mug90x5hm2x3m55rwpgv2juty" + }, + { + "type": "private", + "id": "6615245553506875021581572526625205167370364570076743373427398083253273590866field", + "value": "ciphertext1qyqvmnpv60kzzkmve6hq9hn9w3j8yyhc3t7dmhfnjatuvy94xcc4xygt6gwtu" + }, + { + "type": "private", + "id": "2814240182120534535052537294001925778438098008643496042216587211247478620925field", + "value": "ciphertext1qyqvt0pdu05jhv555ewplvfttswulcm5vue0vt3x9esegrd5g7wtupcmhjkfw" + } + ], + "outputs": [ + { + "type": "private", + "id": "1136644294072727374032937070235422212991809760639283394168293367122906070759field", + "value": "ciphertext1qgqrk0x5sf0zlshzwwf3mj6ackp2ks6dtqaljdn0zwctr4qyvpmv7q2qnvy7z5e0zagg32s6er23nwr284d693pm70yfd47u6fcm9mhypq7d0j9k" + } + ], + "tpk": "3400262666280429212684906619935974109231597352917104792040712478510112922490group", + "tcm": "6093749795924876453819354010204915871083510430393836040689023734375905008463field", + "scm": "5281434977164411386066682085374193503124481260985546094677535317296954867500field" + }, + { + "id": "au19vjnw7c8rgv2aekn0r97fuy7akw368smkp399ssdydsluwg4lgzqvvykrn", + "program": "external_structs.aleo", + "function": "main2", + "inputs": [], + "outputs": [ + { + "type": "public", + "id": "6068131285950158922438604617377751920819817925263007347845842364822738853103field", + "value": "16u32" + } + ], + "tpk": "6087517221795247688155609380978429214872054624430698225905614131378520117419group", + "tcm": "2037352728007024067731450716486930683025401744104588925553539300547274302969field", + "scm": "5281434977164411386066682085374193503124481260985546094677535317296954867500field" + } + ], + "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" +} + diff --git a/tests/tests/compiler/structs/simple_external_struct.leo b/tests/tests/compiler/structs/simple_external_struct.leo new file mode 100644 index 00000000000..19ed3e94d83 --- /dev/null +++ b/tests/tests/compiler/structs/simple_external_struct.leo @@ -0,0 +1,53 @@ +program child1.aleo { + struct Foo { + x: u32, + y: u32, + z: u32, + } + + transition main1(foo: Foo) { } + + transition main2(x: u32, y: u32, z: u32) -> Foo { + return Foo { x, y, z }; + } +} + +// --- Next Program --- // + +program child2.aleo { + struct Foo { + x: u32, + y: u32, + z: u32, + w: u32, + } + + transition main1(foo: Foo) { } + + transition main2(x: u32, y: u32, z: u32, w: u32) -> Foo { + return Foo { x, y, z, w }; + } +} + +// --- Next Program --- // + +import child1.aleo; +import child2.aleo; + +program external_structs.aleo { + struct Foo { + x: u32, + y: u32, + } + + transition main1(local: Foo, + external1: child1.aleo/Foo, + external2: child2.aleo/Foo) { } + + transition main2() -> u32 { + let external1 = child1.aleo/main2(1, 2, 3); + let external2 = child2.aleo/main2(1, 2, 3, 4); + return external1.x + external1.y + external1.z + + external2.x + external2.y + external2.z + external2.w; + } +} diff --git a/tests/tests/execution/simple_external_struct.leo b/tests/tests/execution/simple_external_struct.leo new file mode 100644 index 00000000000..606d7fe8d61 --- /dev/null +++ b/tests/tests/execution/simple_external_struct.leo @@ -0,0 +1,83 @@ +/* +seed = 123456789 + +[case] +program = "external_structs.aleo" +function = "main1" +input = ["{x:11u32, y:22u32}", "{x:33u32, y:44u32, z:55u32}", "{x:66u32, y:77u32, z:88u32, w:99u32}"] + +[case] +program = "external_structs.aleo" +function = "main2" +input = [] +*/ + +program child1.aleo { + struct Foo { + x: u32, + y: u32, + z: u32, + } + + transition main1(foo: Foo) { } + + transition main2(x: u32, y: u32, z: u32) -> Foo { + return Foo { x, y, z }; + } + + @noupgrade + async constructor() {} +} + +// --- Next Program --- // + +program child2.aleo { + struct Foo { + x: u32, + y: u32, + z: u32, + w: u32, + } + + transition main1(foo: Foo) { } + + transition main2(x: u32, y: u32, z: u32, w: u32) -> Foo { + return Foo { x, y, z, w }; + } + + @noupgrade + async constructor() {} +} + +// --- Next Program --- // + +import child1.aleo; +import child2.aleo; + +program external_structs.aleo { + struct Foo { + x: u32, + y: u32, + } + + transition main1(local: Foo, + external1: child1.aleo/Foo, + external2: child2.aleo/Foo) { + assert_eq( + local.x + local.y + + external1.x + external1.y + external1.z + + external2.x + external2.y + external2.z + external2.w, + 11u32 + 22 + 33 + 44 + 55 + 66 + 77 + 88 + 99 + ); + } + + transition main2() -> public u32 { + let external1 = child1.aleo/main2(1, 2, 3); + let external2 = child2.aleo/main2(1, 2, 3, 4); + return external1.x + external1.y + external1.z + + external2.x + external2.y + external2.z + external2.w; + } + + @noupgrade + async constructor() {} +} From 380ee57509593a9b2f3bc4343d97e47ed7f97e84 Mon Sep 17 00:00:00 2001 From: Mohammad Fawaz Date: Sun, 30 Nov 2025 10:04:00 -0500 Subject: [PATCH 2/2] circle ci timeout test --- .circleci/config.yml | 4 +- compiler/compiler/src/run_with_ledger.rs | 3 - test-framework/src/lib.rs | 19 +- .../execution/array_of_optionals.out | 8 +- tests/expectations/execution/array_write.out | 56 ++-- .../execution/compare_optionals.out | 12 +- .../expectations/execution/const_generics.out | 12 +- .../execution/const_generics_with_array.out | 12 +- tests/expectations/execution/counter.out | 10 +- .../execution/counter_async_block.out | 10 +- .../execution/counter_storage.out | 10 +- tests/expectations/execution/eq.out | 40 +-- .../flattened_function_and_inline_matches.out | 180 +++++------ .../execution/group_operations.out | 40 +-- tests/expectations/execution/hashes.out | 84 +++--- .../execution/implicit_option_wrapping.out | 40 +-- tests/expectations/execution/metadata.out | 56 ++-- tests/expectations/execution/mint.out | 48 +-- .../expectations/execution/optional_types.out | 12 +- .../execution/optional_unwrap_none.out | 10 +- .../execution/program_core_functions.out | 10 +- .../record_and_duplicate_outputs.out | 136 +++++---- .../execution/repeat_in_generic_function.out | 12 +- .../expectations/execution/repeat_in_loop.out | 12 +- .../serialize_deserialize_roundtrip.out | 280 +++++++++--------- .../expectations/execution/simple_vector.out | 10 +- .../execution/struct_of_optionals.out | 8 +- .../execution/tuple_assignments.out | 44 +-- .../execution/various_storage_types_none.out | 40 +-- 29 files changed, 610 insertions(+), 608 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 32322775bf1..a0b67d608d5 100755 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -98,13 +98,13 @@ commands: steps: - run: name: Build - no_output_timeout: 30m + no_output_timeout: 60m command: | cargo-mtime . ~/.cache/mtimes/project.db cargo test --no-run --all --locked --profile ci --features only_testnet - run: name: Run tests - no_output_timeout: 30m + no_output_timeout: 60m # The `--verbose` flag is used to check which files are being recompiled. Ideally, this should be none. command: | cargo-mtime . ~/.cache/mtimes/project.db diff --git a/compiler/compiler/src/run_with_ledger.rs b/compiler/compiler/src/run_with_ledger.rs index 0042688ad17..f3ad8946e41 100644 --- a/compiler/compiler/src/run_with_ledger.rs +++ b/compiler/compiler/src/run_with_ledger.rs @@ -120,14 +120,11 @@ pub fn run_with_ledger(config: &Config, case_sets: &[Vec]) -> Result>::from(ConsensusStore::open(0).unwrap()).unwrap(); - println!("before `genesis_beacon`"); let genesis_block = genesis_block.genesis_beacon(&genesis_private_key, &mut rng).unwrap(); - println!("done genesis_beacon"); // Initialize a `Ledger`. This should always succeed. let ledger = diff --git a/test-framework/src/lib.rs b/test-framework/src/lib.rs index 9a3b474c559..89789a5d297 100644 --- a/test-framework/src/lib.rs +++ b/test-framework/src/lib.rs @@ -121,11 +121,20 @@ pub fn run_tests(category: &str, runner: fn(&str) -> String) { } }; - #[cfg(feature = "no_parallel")] - let results: Vec = paths.iter().map(run_test).collect(); - - #[cfg(not(feature = "no_parallel"))] - let results: Vec = paths.par_iter().map(run_test).collect(); +// #[cfg(feature = "no_parallel")] +// let results: Vec = paths.iter().map(run_test).collect(); + +// #[cfg(not(feature = "no_parallel"))] +// let results: Vec = paths.par_iter().map(run_test).collect(); + let results: Vec = paths + .iter() + .map(|path| { + println!("▶️ starting {}", path.display()); + let result = run_test(path); + println!("✅ finished {}", path.display()); + result + }) + .collect(); println!("Ran {} tests.", results.len()); diff --git a/tests/expectations/execution/array_of_optionals.out b/tests/expectations/execution/array_of_optionals.out index 995f3cc898a..a470efaaa1b 100644 --- a/tests/expectations/execution/array_of_optionals.out +++ b/tests/expectations/execution/array_of_optionals.out @@ -49,14 +49,14 @@ status: accepted { "transitions": [ { - "id": "au1a08fe9x3m8lp75awsakndatacrrre4umk4ulqevtvnv4rys3jygqhgpy9p", + "id": "au1ckphq3xugfs9uqmulr7lpgr8khh8xynjexpqz5tl5gc8xh8wmv8q333uf4", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/array_write.out b/tests/expectations/execution/array_write.out index 1352c92f979..f08d0054df7 100644 --- a/tests/expectations/execution/array_write.out +++ b/tests/expectations/execution/array_write.out @@ -52,31 +52,31 @@ status: accepted { "transitions": [ { - "id": "au19nuvvsq5tg544v08k45cqfuklt7up4m5yw2u5rlms9qe0djfwsxqc0juzt", + "id": "au1uvxm2vpstcy0fg2pva4t0fg90mn9amk5t3m2mm8wzg54juvj0vrs82vjex", "program": "test.aleo", "function": "some_assignments", "inputs": [ { "type": "public", - "id": "5227450018328196281384961334223417342790049252191046328458415694189942013269field", + "id": "7194631203594104987437500922073463407389557541608871606270637503626164797940field", "value": "false" }, { "type": "public", - "id": "4763320688401099355908726811233103280714271726888497508649335397995803294540field", + "id": "8317904311670379468572455144915438643166412156326530737814428080545757766090field", "value": "false" } ], "outputs": [ { "type": "public", - "id": "7245459799144327333814557934687904446438038039521253663388730776748463761556field", + "id": "7951244538876313212116065700254999006417789975679089907268711557375388046898field", "value": "[\n 0u32,\n 1u32,\n 2u32,\n 3u32,\n 0u32,\n 1u32,\n 2u32,\n 3u32,\n 0u32,\n 1u32,\n 2u32\n]" } ], - "tpk": "206151086429434174837188907104058975958525505086698946401875116705069273445group", - "tcm": "562723526293612828851549920787886389945867613045544884866599135911389366432field", - "scm": "6139436328477343888249384146805358905427058611644584607932691587587423471537field" + "tpk": "6373718224838073536803860829638049194561989564755401205658301015696191366090group", + "tcm": "5664822226403379628159757940447744056069986517068960076928226892917348704296field", + "scm": "5676325233121699107048557908033121840844329323401950925709080348351425973728field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -87,31 +87,31 @@ status: accepted { "transitions": [ { - "id": "au1zyfvrphu5h5hn8mjr806ve7q0kwl8zcpqnjl755tsx3lm6qdjsrszn3x5f", + "id": "au1yn2rtwanqwuj0xyxvsxt3nqd2tp5vujaxgjf267cc5kfqf3kkcyqdwxuc5", "program": "test.aleo", "function": "some_assignments", "inputs": [ { "type": "public", - "id": "3563937497644254338894931395254439928182462480345176510613541149855966647443field", + "id": "5175022124897040725277265389279107314330230643611525501999165502206987911342field", "value": "false" }, { "type": "public", - "id": "5842361430923183454388270488538698625961206930491596458445386808872397687723field", + "id": "4907906031545965627596860837580301481742444286336742356322100221416416444614field", "value": "true" } ], "outputs": [ { "type": "public", - "id": "7871967785699544347044710067036523746815188239809618180141758325219203549601field", + "id": "4154333567743826387192294824880769912300963359775534536761730880728909963348field", "value": "[\n 0u32,\n 1u32,\n 2u32,\n 3u32,\n 20u32,\n 1u32,\n 2u32,\n 30u32,\n 0u32,\n 1u32,\n 2u32\n]" } ], - "tpk": "6108820005590057149611473591223162302618363022046278349734860577205484121118group", - "tcm": "5611976941722389227687120622270979714192411438006652082829400833330099243906field", - "scm": "1835056271422010016455367904690165306857488419950957584945419503866272134521field" + "tpk": "39172694768842210914502146058620112304946170410395658646753799744410747064group", + "tcm": "2496119321884656043910452253295201063060884739589327489089014755543056702398field", + "scm": "6724231322804026917996535940522620939424458967853759012191601743219837577781field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -122,31 +122,31 @@ status: accepted { "transitions": [ { - "id": "au1elqmh03qd8zydvvqfkuqn74ldwxafrf39n0uyu7trjzzf9u6puzq8jngpp", + "id": "au1vteexe2vyzc4cmukxa844ep9hrewx57lsa48j46m7txzx2039uzs55hx57", "program": "test.aleo", "function": "some_assignments", "inputs": [ { "type": "public", - "id": "5084666542695363550266146537001107168630282966928326584508771745695878092773field", + "id": "6905995534755587656946988079689869370334941399271021846311207530810488780279field", "value": "true" }, { "type": "public", - "id": "2485513088929951119124785546275938636631516614872070790116858399575224055822field", + "id": "2648399472686986714015465112410490095913704335915646918499521734144645259387field", "value": "false" } ], "outputs": [ { "type": "public", - "id": "5904263051949809812283255500371025340307873230217140364086048017113716907312field", + "id": "3794530731044250485624626877476579170702921120617727543500855945640840023102field", "value": "[\n 10u32,\n 1u32,\n 2u32,\n 3u32,\n 10u32,\n 1u32,\n 2u32,\n 3u32,\n 10u32,\n 1u32,\n 2u32\n]" } ], - "tpk": "5568882551697634142666003384932538861891242647171313699122867675124042972081group", - "tcm": "2427189398566107741418143412584817216258222651064716213599299398849507932623field", - "scm": "2373404298684876834786330401620988608374418554350618543392966591805730962399field" + "tpk": "7384116050582086575935631193340748878808800662028117978885163706306318514015group", + "tcm": "7958548178555411153280486439782136041901623537216192170031606835078444579309field", + "scm": "2382781258281984239008280911484366196292241519527402598792694336925628223608field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -157,31 +157,31 @@ status: accepted { "transitions": [ { - "id": "au1e3l2cjk06gunh5x58knfxjydr2u08zfhj705mkq25n8qnl7ecsgsv02jvl", + "id": "au1khtgdxvkmkfccptg9qfs0znqfrsamng7umlkmv8u069ks7295vzsyfgs53", "program": "test.aleo", "function": "some_assignments", "inputs": [ { "type": "public", - "id": "8361704188454250283525070003526431365637485914596571082597182543232372800267field", + "id": "5873542574874004997662389144258640110309714712326688611278897255437311571838field", "value": "true" }, { "type": "public", - "id": "289846633603529251952687992537800002309611304857845574989294591391418024883field", + "id": "3847156391835319441797554579687522352859207619801396379209686863767177320421field", "value": "true" } ], "outputs": [ { "type": "public", - "id": "5029497166416964421893991951249501898162337360943542415166057644491119818911field", + "id": "422970641595232037257133794288754426068486944292270962793742214224939560070field", "value": "[\n 10u32,\n 1u32,\n 2u32,\n 3u32,\n 10u32,\n 1u32,\n 2u32,\n 30u32,\n 50u32,\n 60u32,\n 70u32\n]" } ], - "tpk": "303146205408760252665199151153964032715903964881170243227143738784212351210group", - "tcm": "5853420423869170142989679644480356949654030206678630303629567997725414219223field", - "scm": "8177665958616666972201100651732455013757299758947416653885022048412766260296field" + "tpk": "5841989403237930599352238695504393294286797955406418056150390796974313792897group", + "tcm": "6248428856114999695301782955203667003685028995926905376745150469929116104312field", + "scm": "7711717192842610855997755234040226957750594219730770897763551949439745717479field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/compare_optionals.out b/tests/expectations/execution/compare_optionals.out index a423fd5049c..6920d2f7f11 100644 --- a/tests/expectations/execution/compare_optionals.out +++ b/tests/expectations/execution/compare_optionals.out @@ -82,20 +82,20 @@ status: accepted { "transitions": [ { - "id": "au1f9k5xyphqdg3dufkth6cw9wa92defwfkvvu2rurmt7595r52ruxsvjyfy5", + "id": "au166yqg6mt8yz5hmgxjk722hy09dzh9ptfjqyvwdatc0f706u6hg9s535a6j", "program": "compare_optionals.aleo", "function": "u8_some_eq_none", "inputs": [], "outputs": [ { "type": "private", - "id": "1953048947507713770595906842985410831862889641087378952849723420388315957748field", - "value": "ciphertext1qyqgzr3pxfcexzn6qjl4ca7hygr05gujejq0zfyhg9tudehrcv282rcsyghcx" + "id": "4537465512954985514359153024108380719567975772643934106234828152551056038111field", + "value": "ciphertext1qyqqna9p8pmhleqchnxtfuqpca6xtpjs9hum68qmkaw6evjlqkrezpq49dpl7" } ], - "tpk": "5898146824620403911601980490401871977029595024899947826553642308984938958233group", - "tcm": "6409827823579988499189654146041162825699159655350206395016703968657479714863field", - "scm": "4576377871212186948366543139623375445018961278051924316892446785392168201924field" + "tpk": "3189539120267584854765688728171123091003990664421326257125974463476242851621group", + "tcm": "8405703641781412946104809537990180180772725028912672742182749091263912625986field", + "scm": "5587954381791422773192129307317349443043144130833776691424769241158789032642field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/const_generics.out b/tests/expectations/execution/const_generics.out index 6f2dc0cb109..2366112cc59 100644 --- a/tests/expectations/execution/const_generics.out +++ b/tests/expectations/execution/const_generics.out @@ -34,20 +34,20 @@ status: accepted { "transitions": [ { - "id": "au1um7n3j5n2vc7uqn923h04sd5w79u64faunvn35xpmyte4mzvgszsp37ay9", + "id": "au1fsgupyl4wdpz8xeks9aav5k8znxdpaxjxx8qtrpv4mvzzt2hecysatjpvn", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [ { "type": "private", - "id": "6787438180493159836980741581242532332183775042332899978574823136085835424562field", - "value": "ciphertext1qyqqe3p9vthx7eap27qj2ht4ywsljku02y2uhck6cnea384zal3hgysqk70y4" + "id": "135055258214298603291610329162732511766090000318591422980584766646821511618field", + "value": "ciphertext1qyqvunhdwmpaz4jfftkkx3m556nzkmptanm76nrd7cw3ffgpxmdhczg44evaj" } ], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/const_generics_with_array.out b/tests/expectations/execution/const_generics_with_array.out index 65849549edb..b76268350e7 100644 --- a/tests/expectations/execution/const_generics_with_array.out +++ b/tests/expectations/execution/const_generics_with_array.out @@ -11,20 +11,20 @@ status: accepted { "transitions": [ { - "id": "au1lw22zwtdeusenzvzckv9whp7wav9gru2gur022wquzw8czksvqpsyuydnu", + "id": "au166laewfxt9saeqtzp5gmccmu9j52pq9s5plv6lx9rnwjr2u94grsgzft3t", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [ { "type": "private", - "id": "2886208886696425924836451731677122198675982174267919615764691268896343789518field", - "value": "ciphertext1qyqqe3p99tkx7eap27qj2ht4ywsljku02y2uhck6cnea384zal3hgys74c7dm" + "id": "3559302037029005087737219725459685141467996321089063698901785536968118292274field", + "value": "ciphertext1qyqvunhd8mqaz4jfftkkx3m556nzkmptanm76nrd7cw3ffgpxmdhczgtkla5u" } ], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/counter.out b/tests/expectations/execution/counter.out index 569b2b9f115..1f997be7ac1 100644 --- a/tests/expectations/execution/counter.out +++ b/tests/expectations/execution/counter.out @@ -43,20 +43,20 @@ status: accepted { "transitions": [ { - "id": "au1lrn5mu86wzrwqgmpfvk89k47rkehtp2f3vamqgwwmrvz5guz7s8qnd3w6c", + "id": "au1k3qrpjr9fwl05xsq0p3qhg36yp6jylr5dns5hk79cr3kx5j4wqfqsgalhj", "program": "test.aleo", "function": "dubble", "inputs": [], "outputs": [ { "type": "future", - "id": "4699002505616774710150113522851534941479463253233984646704309032947182186747field", + "id": "3233956273400426504677799187768392831171688829224614779171895997795596094303field", "value": "{\n program_id: test.aleo,\n function_name: dubble,\n arguments: [\n aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq\n ]\n}" } ], - "tpk": "2792598392872113523769625442726729417421328914138543245439106255595108589581group", - "tcm": "7535494565811075966069535028531130763266967652806164109327127925118110971448field", - "scm": "2280325585512955590354995762895462889624737245155815941037937959226874721339field" + "tpk": "5465601947645018841081878297195945135397754179690311884909269558490091540985group", + "tcm": "4456024893941171008889659456881015783646280184588859247684246364113972719463field", + "scm": "7595424472684114678723002470028531639770730813997210355601309526631584832665field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/counter_async_block.out b/tests/expectations/execution/counter_async_block.out index 33f44c873f9..9f79d4212c8 100644 --- a/tests/expectations/execution/counter_async_block.out +++ b/tests/expectations/execution/counter_async_block.out @@ -47,20 +47,20 @@ status: accepted { "transitions": [ { - "id": "au1lrn5mu86wzrwqgmpfvk89k47rkehtp2f3vamqgwwmrvz5guz7s8qnd3w6c", + "id": "au1k3qrpjr9fwl05xsq0p3qhg36yp6jylr5dns5hk79cr3kx5j4wqfqsgalhj", "program": "test.aleo", "function": "dubble", "inputs": [], "outputs": [ { "type": "future", - "id": "4699002505616774710150113522851534941479463253233984646704309032947182186747field", + "id": "3233956273400426504677799187768392831171688829224614779171895997795596094303field", "value": "{\n program_id: test.aleo,\n function_name: dubble,\n arguments: [\n aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq\n ]\n}" } ], - "tpk": "2792598392872113523769625442726729417421328914138543245439106255595108589581group", - "tcm": "7535494565811075966069535028531130763266967652806164109327127925118110971448field", - "scm": "2280325585512955590354995762895462889624737245155815941037937959226874721339field" + "tpk": "5465601947645018841081878297195945135397754179690311884909269558490091540985group", + "tcm": "4456024893941171008889659456881015783646280184588859247684246364113972719463field", + "scm": "7595424472684114678723002470028531639770730813997210355601309526631584832665field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/counter_storage.out b/tests/expectations/execution/counter_storage.out index a5342ff8858..d21b4031b24 100644 --- a/tests/expectations/execution/counter_storage.out +++ b/tests/expectations/execution/counter_storage.out @@ -62,20 +62,20 @@ status: accepted { "transitions": [ { - "id": "au1nx4qm8ptew3ch92fdrtv97msel5uvwyvmwav3975qevzqkvnmv9sl4z8l6", + "id": "au1hczfq642j4w3emk8wxsmz8skw967heywtt3vrgzg86w4nxjnxszs8tsdzg", "program": "test.aleo", "function": "increment", "inputs": [], "outputs": [ { "type": "future", - "id": "3124286148824508223344846915728798959157118578708868696845286916494390666359field", + "id": "6583195300408321241841212771428866298368527666258877518914082151436888144955field", "value": "{\n program_id: test.aleo,\n function_name: increment,\n arguments: []\n}" } ], - "tpk": "2792598392872113523769625442726729417421328914138543245439106255595108589581group", - "tcm": "7535494565811075966069535028531130763266967652806164109327127925118110971448field", - "scm": "2280325585512955590354995762895462889624737245155815941037937959226874721339field" + "tpk": "5465601947645018841081878297195945135397754179690311884909269558490091540985group", + "tcm": "4456024893941171008889659456881015783646280184588859247684246364113972719463field", + "scm": "7595424472684114678723002470028531639770730813997210355601309526631584832665field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/eq.out b/tests/expectations/execution/eq.out index 2989dc9d24e..8bf3f568df4 100644 --- a/tests/expectations/execution/eq.out +++ b/tests/expectations/execution/eq.out @@ -18,31 +18,31 @@ status: accepted { "transitions": [ { - "id": "au1xxx5eyeh2wt5etfud0m9xxwk95tpapm49sck8rs7vu069pshucqseqmnc8", + "id": "au1yvct4s52gjjg55v9n3tj8r0qjurz3qlzugl49wc3jfch443q9u9qlta689", "program": "test.aleo", "function": "main", "inputs": [ { "type": "private", - "id": "1642813527134686705672070280406607446432819052628399670903153242086637409619field", - "value": "ciphertext1qyqty56hd4sjawzf6fmz8awatg87eaqgw42hf0zwjg0qphya7x8nxqc8klf9c" + "id": "5985951336020046466589874188163653449981114664629694709571554676277482460306field", + "value": "ciphertext1qyqwmdxz5704268xqsmpfdz2df8wld0x2g57znly3g3rprf7e6esjrqtqxhrm" }, { "type": "private", - "id": "4043973058391680941793645400124685646497975635359390217326560993644799776762field", - "value": "ciphertext1qyqg6ldwvzrw32qkqtus2p58px0d2a427d4f7u20e2ev84uukhr2kygy2g4pl" + "id": "123983256846224277285919104917821992959678818577412541714388647970509345966field", + "value": "ciphertext1qyqxxhxdarge43lnddexu0nkx55efm9j5xy04wmqnvt4f8fcyv0csyqvzrp2r" } ], "outputs": [ { "type": "private", - "id": "3106709701079157715977902975137382519149800889722979215909178833494965768667field", - "value": "ciphertext1qyq02zqgudv6uekh9xpltrcu00g5jdzzyf96c6wqcfywsaefge0jcpqd9kp5c" + "id": "4506306414505763809349748293186504821080945970013402625622694357908076901742field", + "value": "ciphertext1qyqqspma2t98hr0czuhu3kuy92agsyrdgul7efm2dcrevu6fdarjyrg8nrj2u" } ], - "tpk": "6373718224838073536803860829638049194561989564755401205658301015696191366090group", - "tcm": "5664822226403379628159757940447744056069986517068960076928226892917348704296field", - "scm": "5676325233121699107048557908033121840844329323401950925709080348351425973728field" + "tpk": "3642081703685349300932488020990084976091550874848478868766959464616503961806group", + "tcm": "3294738530486953598834431848145534282459145578774343494138391612366040907381field", + "scm": "8252239712982770887102982974134175624913132019837796516702298416951851947811field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -57,31 +57,31 @@ status: accepted { "transitions": [ { - "id": "au1s4xepyly05mpaa6qs23v087twzqcj8rggk8p4w0crwxksusq3sps8uvwyt", + "id": "au16mgxdftdvjthj58c3y5nvjted5s2qlxwkr83erkh4fcz66kafu8qql43fa", "program": "test.aleo", "function": "main", "inputs": [ { "type": "private", - "id": "4542843952717379765026584736880784814303453821667173875790572184443243296049field", - "value": "ciphertext1qyq8d5d0xhfvgactt4gju485plcqejn3t8qnkzsy6jnyyytr820xzpgk9euc9" + "id": "1784175350689981416921338336326731933508750836841398608136995239124567276046field", + "value": "ciphertext1qyqfwx5u48ux4pwfgqxuu8tt9zh4v4q4kcx57w98sdnqz9rxex92cyqxaxq28" }, { "type": "private", - "id": "1888555685965520838311434532528424851754286429760577403994654564487387990164field", - "value": "ciphertext1qyqpt2mx8y95vd6seyldqyunmerp5ndqj5qry83gcjk4tl4h9xm9kpqsy4xg6" + "id": "2262778907100969011801675921737989895405271917543837402280217835969497440244field", + "value": "ciphertext1qyqttyu9jnzskdjap5t0jk96j47catlnxalnw793mdtvksspd4w2szq7jlt8d" } ], "outputs": [ { "type": "private", - "id": "4295348545721785246620748522961086631969358326202406724670548588166242869650field", - "value": "ciphertext1qyq2u745h5esm3e45wxxdzs4mjcjvlw0knm43xtt99vd2ezzdsxmxygwlrpcg" + "id": "3097156061220557848088577802272932240016008119854310338746807453858124017841field", + "value": "ciphertext1qyqfwkwmvd4zsgync4ph4j27lym5fknu7hnsh58frysmezldd5ezwrq400zv4" } ], - "tpk": "7447856092333335722197567336932763532146271247928721874046364714921805365370group", - "tcm": "6667718657901249793003217929903572381355910633671096449805180537989497283034field", - "scm": "1027674287776529103783018768157775209832261275927998778421370002277573955461field" + "tpk": "8433373122285088400469825935754091315359731136987594106167126668589740765658group", + "tcm": "3919908081739229311811403169317051378821672403008459456062234907728141654747field", + "scm": "202926714393868246575422815035659914256838107225463679730133918569408165910field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/flattened_function_and_inline_matches.out b/tests/expectations/execution/flattened_function_and_inline_matches.out index b400f7d4a29..77b781490dd 100644 --- a/tests/expectations/execution/flattened_function_and_inline_matches.out +++ b/tests/expectations/execution/flattened_function_and_inline_matches.out @@ -147,51 +147,51 @@ status: accepted { "transitions": [ { - "id": "au1e35sa3ng0efrqfpjy0gcehnfx9g4l08u5qulaa94jl766e0shs8sc3kthl", + "id": "au15g8tk9hd87cwjuccertar345k0pfzc7znfmdqva3vku2qe9hey8s8exqgz", "program": "test.aleo", "function": "bar", "inputs": [ { "type": "private", - "id": "4313992162088035150380725701320973935583771536795862034021559294388283406196field", - "value": "ciphertext1qyq2c0zg552hq08ms95rkvmdjsjh6axysdycyhjh2cl36wdjqpk5kpsrynfj5" + "id": "8087485051022054270995473847604802375172377184311492409387640698365881911653field", + "value": "ciphertext1qyqxz05e29dtcxxpe62u9exev23x88js6e4r6eflu399krfedsxlxpc8hyc7l" }, { "type": "private", - "id": "5660490270020565532505203542488805723963205469795642328274555450177028551568field", - "value": "ciphertext1qyqr2qchzhjrkl9enwfrrg547ntgygh0k0h02d5ertra2q38rhjgjzqg8tppe" + "id": "1762103903506533947770296826230452900904041468413610486944497078373600303943field", + "value": "ciphertext1qyq8esty62yrl28mudz58dp3spx2qwkhtaq5t52n6387c8cseejfgqcdgl2vm" }, { "type": "private", - "id": "8221574777088117115507431978808101611291137742577035185205917062030979416375field", - "value": "ciphertext1qyqfdk7kz7pl9dywhlnsc0khfnz4r9zhpzcg9aw7agxq82c35yaxwrsc9lycc" + "id": "4060882977450286762891662755674034977936607885608418554583957688244953287372field", + "value": "ciphertext1qyqqcpsaaahh0lcz7dtm8veycsj39xn9x6mqyg4rmekl2hj2qmxj2qs0gar86" }, { "type": "private", - "id": "370693106464497599576056589781096756779399387359653939529546002742155801732field", - "value": "ciphertext1qyqpy0kvrsmgekscqrhvxh4vr6nphudkxh2wj8rn6xpyv95fjkdtzzc9mt0jj" + "id": "3649527004787568461500577085878254163216957603165240330660245483639862688818field", + "value": "ciphertext1qyqthz6slr4yxq4566k4kxnl4qj2ppr9muxr5jwvt980l3wkkjznxpgw03mud" } ], "outputs": [ { "type": "private", - "id": "4139151809293808775331414048053707587699194448568656516929290528396042652651field", - "value": "ciphertext1qyq2c5ejhddmhajtgpa5scw9fp99pfru2l9vqw6mqdp32ajzc0wfqqqwm95mq" + "id": "8011918883553257859238046578434182882747974480606113930245448141454632421770field", + "value": "ciphertext1qyq9gt5f5399zh6jhd0t2wur0unuhrsck4crre40gkhcp2rdkvg27qqh7t0ls" }, { "type": "private", - "id": "4690985391062134800650866804313733713646197089791177744983311715469882606518field", - "value": "ciphertext1qyq2ppqaw9j7fam7rkfwudrdv0e6gdmas42xyvtaps0u44rp8eqrvqqfd453s" + "id": "8370292506211731835883566705990911700167789598343625767293689065190719789420field", + "value": "ciphertext1qyq90qslh2p346r58zr3x54xhzj3ng4s52uv8r842a8ul8wf57vlwrchvaz0t" }, { "type": "private", - "id": "2694911612807484290206885614825247772879383159703650076612471582671555487555field", - "value": "ciphertext1qyqqgfl9mkg9t78zpmmaf4jlax9ldwt64f6flz480ajhptvgt84rjqq75vq5d" + "id": "531767777399167341591331826516340697591579891433634636394652189175014504565field", + "value": "ciphertext1qyq9h0fdwyp7stztmr63ca68pza7qe6qvzmqu2qr4c38ksv03t7kvpgdjk8gq" } ], - "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", - "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", - "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" + "tpk": "4670688212372421114631005565732846657467809811527081882544500748171909345434group", + "tcm": "2264511877573072721701510206089090905852314419083634559581009308380035313588field", + "scm": "8087598493058591837040900202386618059099736669761157410046806408949699151796field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -202,51 +202,51 @@ status: accepted { "transitions": [ { - "id": "au1htpt5m37rgp2ksqtzs8zlr3h0mkffjve34u5ynkmuqz7ud6tvc8sw9rpdp", + "id": "au1fmzcx59f0qd6eqfmepv7f5grlwjlyjqmev8g98y6jax3c0c5pvqsh74cts", "program": "test.aleo", "function": "bar", "inputs": [ { "type": "private", - "id": "5489439295698528722336980620122655694880235415787679089390407756412607574859field", - "value": "ciphertext1qyqgmzpd79dvshtfwp0jftm3vfzuwxz44mk7qpnj634n4lw35mmfkzsylrqmd" + "id": "4317279734126034143988713137321852861989983227462427346209211503286732272997field", + "value": "ciphertext1qyq9k8c9nus89ux3nc02yt8kj8x3ee4cn2j36rrjx22htw36r5545ygm2msk2" }, { "type": "private", - "id": "390402812533753540977654251553908892690329005770431892436300149092716776473field", - "value": "ciphertext1qyqzqmwsehdus9jwxty0umrxdxx68wen6wksg5y9tnvjtpl5dsefcqstgp3dl" + "id": "6461326318458117352141929365866783260060490588162190137643636935325861057762field", + "value": "ciphertext1qyqdhzgkcsq9y4jwgxlz4pshk6c4dpvn82pzmv3q3mscnvallv37xrg26c5ca" }, { "type": "private", - "id": "5858563944746054906393356939013930957604213231181787470543506114945607661130field", - "value": "ciphertext1qyqrrh4tmuj7glthe3jrndlwy5wv7kam6kefy49gnjn5a6g92hwmvpcfk7nea" + "id": "3635307074284730475078863610362303302035078084537334404788833230715712085681field", + "value": "ciphertext1qyq0x6w8kjksnjdu9sfvvc7zpvgdwtlsc9lr7cvlhvqradjpwesh6zgppy3py" }, { "type": "private", - "id": "5621193211081627517753181973967081875142738728953599367162195906088183976548field", - "value": "ciphertext1qyq8y6vl9zvdtxelq3vwnsmw2yqu0h2aj4dl2v36frxn52n0qkhazqsufh22k" + "id": "4524345486903030755612815450414421002645179413211894968059331909624519883399field", + "value": "ciphertext1qyqyrxqw2rq69l9n48fhtvhsre6604wu56jdsxgqtkhh62mphm4r6zqs4ur2q" } ], "outputs": [ { "type": "private", - "id": "6579050620134666749120798398808042413175054267576831990379041597334670204986field", - "value": "ciphertext1qyqgvy5h4uzx5kqznj70m9kh74kpfkzxulrczxdqnqcxmh7gt568xyq4v9t5k" + "id": "3628700232856298527859459235024409574506306792572158218466040134861647411877field", + "value": "ciphertext1qyqttz0xhplckj5ewud6yjvtzvh3y75zd8e4a4xwxjuh4krpkh2mkyqy5mck9" }, { "type": "private", - "id": "1844940895335203670860601543624172947382628065561596469498573782724259824213field", - "value": "ciphertext1qyqy8mhpqkmd3s2vlfpkqwjy8hg0p55kmvs23jhxuem4f8s9x59ykpcshphee" + "id": "2865265274291215437076515075153349486885959863663834762129433679665599690071field", + "value": "ciphertext1qyqtkllrp44fvk3km24s53yppjendgymmdc2qhe5ulfstm6r90ngcyqjpj3y2" }, { "type": "private", - "id": "7695383575125777307538533425262649996327650545531168007501960272505142723895field", - "value": "ciphertext1qyq02vt3av5r2syrujpaa2gmag6ku7wvx5cmzneapvt0ydhutq3uczg7slqjr" + "id": "8127853724915613937687149654090891668780186990487748440145612362619350919717field", + "value": "ciphertext1qyqz8n6rdux65awe7msvzwezv6yq7xek6vrc3g2g26rnusjafvfv5qqur8l2z" } ], - "tpk": "2893844751435036019515893989441839272575422187686356176127178103379524429041group", - "tcm": "6415854228263869359394693519059621568317880982550641905705445655089237162952field", - "scm": "3056019767694286721253926706943696508890086732611984380605786846284750606695field" + "tpk": "2345953610746378938052008990921864974717076947323576313389403421252842237628group", + "tcm": "5389216677562131392997105245083739430639077748062767605387782628957666239565field", + "scm": "8246420734301820518315294952812306322508782015515680163110314895408816901908field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -257,51 +257,51 @@ status: accepted { "transitions": [ { - "id": "au1x5eeuh9gxwaz2vpv4tcth9q54c9f6gpyeh5x7lqukwj8zypqfufqdedgku", + "id": "au1avppwnwzvcs07tk6dph2h7le32cggxmp9whu6fmhse55w4kl9vrqhng4je", "program": "test.aleo", "function": "bar", "inputs": [ { "type": "private", - "id": "6846016791938044798474088276198497230124864356580942585997075391937767046849field", - "value": "ciphertext1qyq9c5mqe4kd6fhewc2j8fn00rs7qhd95xx4emzm3nhtpkdd8h6vvrgsxzp8a" + "id": "2600297708056677290025715698463598974250422018645539613231605938551151445725field", + "value": "ciphertext1qyq2gxt676e0cxzxnx0vcuwjuv0y40d6hwex60zcxgzs2hazxj5qzzqjdrm9z" }, { "type": "private", - "id": "5757119715859673310610785964315152589989973882168283908399787565912176857552field", - "value": "ciphertext1qyqwvugtqcchxjezm4lkl0qnluwtp0dv5aq50rc35jg2x7ly8ftquzglyc3mh" + "id": "2665630193193974457135957275155574606249678523968983887245018528390335128964field", + "value": "ciphertext1qyq2pfqlhtqm4qk2atwsfjf0a2n3qdrxjraseve6vh5sagec96dasqc3fcsra" }, { "type": "private", - "id": "6724629613304861406216479796050497835209143118639629477088876481930159942578field", - "value": "ciphertext1qyqpjmwewtucjwhv0umu04srnezd7q8l7a0xyy6lwkmkfwsah9cwkqqgfeuzu" + "id": "8323072245459727617025025525885278787538453050764596526665799160996717527047field", + "value": "ciphertext1qyqwnn9h0chfv2t2d3f59hgj3c90ffs8w6w93flejlamn4t534l3gzq6waw8p" }, { "type": "private", - "id": "1525923836648008257376288242637854459143566533623866144251003394891689632203field", - "value": "ciphertext1qyqz3aj7nwvr84vc74znpwz9nd9anw9f5ucfpj39zjgt0v0ntf03gqshv4yfv" + "id": "2819583213870373955002381691362418167185718047778966851778756547140621697910field", + "value": "ciphertext1qyqtjanlrqwrc5qyqyzt6t2yjxztw5ayqqrme2qml4x7yaz02ewxgqc5lt38m" } ], "outputs": [ { "type": "private", - "id": "1544383018041731791617142565916685135817765560587973299326509756205506321776field", - "value": "ciphertext1qyqr39xdvyw303vdtpywmc3u0s0auvcve9jvumldgd5nmxpqalufvygc8xxt4" + "id": "3048788333297460359984963063648936480836597566287892409154844449641186737300field", + "value": "ciphertext1qyqf5727aj52genxaka0c3zfg8yzk7r3zffy04dg64wgr7e7ndq6sqs4umzme" }, { "type": "private", - "id": "2463105488333765618642561913376117628035128713973176605464801042120729530053field", - "value": "ciphertext1qyqfep4kvugfpvqyg8llq9vgq9s2nm3ulx97lqqf4segqym8mqp4cqswu9ud5" + "id": "3196732304474252706093281787875831693315578652754216784169254431795283145862field", + "value": "ciphertext1qyqxvqv9p7ndra962wppsn7kg7w5px8h3rszz500utc8emceyykgyzsmrkhuq" }, { "type": "private", - "id": "1261043222925916737675770939878307856729851480837475885031344657205576454316field", - "value": "ciphertext1qyqq2hsxapxg6703nr4de6md8x4ss8u6zss3u0s43qx85rl8h9dlxyqrdk6kx" + "id": "7832859274607466195152645015723386486663547116749913365637927564444870339453field", + "value": "ciphertext1qyqy74na4thvlx6khnrv4yss74yhyft8yj4vup2dxervufgeg2tlcps85vx52" } ], - "tpk": "1360584484795297131092137577881923631914598890059781868080904344226004853008group", - "tcm": "3983500824201282727868271975759055642970819622238085227718868367775401048636field", - "scm": "2681027750479115696700982229454449016817905952824874769349165550024483718375field" + "tpk": "2212520095251337374271478179233508854557215148321160988835653438313223789287group", + "tcm": "2956519061869382561367963670331281219000789151317783342788348782626353914738field", + "scm": "247694869180079092374264154856073845952241901842801456749153642534573613194field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -312,51 +312,51 @@ status: accepted { "transitions": [ { - "id": "au1ylnkkve6x9yalmpl0xtjjjg64spfqsfw67ymwsqfh6ttu44tyufqu0mpks", + "id": "au10q4fuex5htssa98nl89cpg2eafz8twza8sgx8vptr70z05a3sgrswc60em", "program": "test.aleo", "function": "bar", "inputs": [ { "type": "private", - "id": "6260564486688590691594550722094520609931525544969855190509371437920465668379field", - "value": "ciphertext1qyqtmytt0gmyzyysdstew3dfs6969u72jwungak0xxl56hn2fch0gyqj75vvx" + "id": "1270827507914818616098977819990949058539284725749935155783519947926306781301field", + "value": "ciphertext1qyq8yq76nxm27dg8vxgdywu78q3k4ah6k48qq9w7dwtctq6m9lmmcqcgrdxvw" }, { "type": "private", - "id": "538358551267179268963549450180431020995154718083445890979927702228907136168field", - "value": "ciphertext1qyqwdpf2wu6v3sh0h0q33gdta2fcuem27d00f2mxqkptdeq0a0nnsyqc8924m" + "id": "172122738185549007129564736718924457582011902825129500048253309068773877251field", + "value": "ciphertext1qyqqzmkyx7cqnnwazf73zt3j962pack6fnhfjpc42cwfyhjgpc622rg4kvxvl" }, { "type": "private", - "id": "3820234095016693891437573174296988585493904674042674369498363724678776053944field", - "value": "ciphertext1qyqwxw2ze3ndvlnj0h8hk6p7azpkq255uzfkkaqj080qw2q9dskzszsyfjjmj" + "id": "5723388757960052581038175895289167692316157442211535500152424941886120917010field", + "value": "ciphertext1qyqwtcnpqmfch9paahscspx20x5anu6kr09ezzq7g5gscytudpg6qpcf4xytl" }, { "type": "private", - "id": "14127816937903437994326329090401767739723543114636247206351184315479781557field", - "value": "ciphertext1qyqdv4pr4lh9wzcge32klj9k5rnnv9jah07qh8mxvxdyu2w3qdj77rgt7rpzh" + "id": "3884008400560554327085621223165614734980074679544486343113251192101546765787field", + "value": "ciphertext1qyq844adyu6nkgcwua7jtluc0asjaaryxmmgv3g6d5r7eq5jj3pfcqslhnvta" } ], "outputs": [ { "type": "private", - "id": "2534268897761018046841376367714153775751445152523101781221382725983036509767field", - "value": "ciphertext1qyq08h0q6at60vvaxrk6zc2c2dh4sttpxxed8qp08aersegfwpuz2rg2p4gc2" + "id": "2599921047174815623095350865755913376726008973150382056585997983969229112981field", + "value": "ciphertext1qyqqtjhawx3wphxc0h6rmnsvq6dgyuzzmh8q3cs4stf25hhgpzwnzrqyn228c" }, { "type": "private", - "id": "808163019692164864524173042004607876318810431982864582285349901606852591950field", - "value": "ciphertext1qyqdy6hjc32dd38gkffm0x073hj9lyvdnq80ecygn2dk9qk5ug5rsrs4veutr" + "id": "6912544820317342727142306165713968823598615660237363168958560451141039947097field", + "value": "ciphertext1qyqqrpdwgkhppu25qyz6dqlurlrzv7fp5rhjudtfr2zhwukuqlhcgpg426kgg" }, { "type": "private", - "id": "5510337447646707121971818333371625281222553469861709763910747781260146695027field", - "value": "ciphertext1qyqth5t50mxqycgccqhlk4xaras06mmzc7rr50jzq4t0uyvg9qu86yqkj498y" + "id": "1016563042998199286755964829418635799040204085441983172622032857728399966675field", + "value": "ciphertext1qyqw8hh903hxmst2stw390u5xm4utng7th5h2ssdrgyl0l5ay7t2yps9zrt3h" } ], - "tpk": "1733016808595989865339292029225666059427334808110461555657197262500455672887group", - "tcm": "5547891796977786614334014544654610019845384010462016895301528955270057305818field", - "scm": "5659766985551838985702221292953285013933068737735728378966463744699511485491field" + "tpk": "8442070282502259839542253942952559328012792219572773269252572639738697953380group", + "tcm": "2839826135466798698897554784608780933995186218723904876596855015245219491406field", + "scm": "6140831542030767675891046829947073839166067257022938412232825561674936305302field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -367,51 +367,51 @@ status: accepted { "transitions": [ { - "id": "au1flwllzd5ax2gyee7yqkuyc8tfzu04seewvlx7ggnhg00v0ghjuqspgkwwz", + "id": "au1u5tjzmj8xh0en8znmk2wrs4cdvzhhnvgwrkqe5rqz8ztuum3svxs5qlh29", "program": "test.aleo", "function": "blar", "inputs": [ { "type": "private", - "id": "2633955133379760241948903977610707381479055719225540038997536592875551913434field", - "value": "ciphertext1qyqww3ld720lx8xpaxnuvmj0cf4npv76gl7usvg8guszfyff0g6hkrspqza7t" + "id": "8283800696764790756186928966829509347450857194039651776014080619494959405472field", + "value": "ciphertext1qyq0yh76esjjws48kxg7599f2n9pmcfwe3fk8cp7l69kc5ldfav26zge396pp" }, { "type": "private", - "id": "7448922504384938172298002557775946799311460014909540543688860947580270472929field", - "value": "ciphertext1qyqdteu9hak3uzytzmhexwsl38dhm6h7qwj9k49zsd5xm567uax9gqgr4ttn9" + "id": "366039694337552348810468503936080321424485791292404376428778430206860043065field", + "value": "ciphertext1qyqxvrl8stveaax8k8kl2pg3hukafhr8hnxqv02xwmhqzpyw78fn6zscv26wa" }, { "type": "private", - "id": "7179541172857801154455189585268347729828673962236111815171636815957450088755field", - "value": "ciphertext1qyqd85lfv9fxp6zs3q994t26trk6kvrnze6kwqj3uuglkcxasyy9zygsf57v6" + "id": "4726479793280892942471861894674511672852567593728451860791323786569490203630field", + "value": "ciphertext1qyqv0zjd7nmpcngacqx0de58vjzlthxc234f686spl5s2gezz4qckrqu5juxu" }, { "type": "private", - "id": "8396696287750257788762551261252748115534053402912943839088608779002131806813field", - "value": "ciphertext1qyq9un67fn7zj7dc9haud423phvuelxd7g6t8kd0g3g925slucgmwpgjytqjc" + "id": "3950061940896510373496789855282373786823239193497130213699721732629001683406field", + "value": "ciphertext1qyq279gyddctt8w3jmkuax65s390xlevfy672fjhjdjp938nnq0d2qq38nlpr" } ], "outputs": [ { "type": "private", - "id": "3467800026172117808865347458915831413571594656711552665216574020626810318083field", - "value": "ciphertext1qyqxtucpdygpc2y2ypwhzhecw7dc7nf0k4ue8kxgj0s36x2t0eunjysyg0e6g" + "id": "1038079765604815692824459692372067782180985987511844759089409939988457983597field", + "value": "ciphertext1qyqppvkqfa2prmxgdtfx6lmnlq7uuqjxe02kzzcfszdf544r5zwt5yqjgnvf6" }, { "type": "private", - "id": "2088030820072636465648213814351448346485832794382957973946092243771137296303field", - "value": "ciphertext1qyq8vmsh2hru5rt32muxgakzrwmzrxp4t6meecu5qnnr3wuqhgu9zqcgzkfu9" + "id": "5637489850610704956658201628852641052734499561631758160212119746906643645684field", + "value": "ciphertext1qyqdn7kayegd4gavmlq8cu65e2n38tdy9e2vc0mcj4mjrdrnm5ydcpc0n49m7" }, { "type": "private", - "id": "8408011482733679423106696059278142420744401381250301935112275354253674690375field", - "value": "ciphertext1qyqrulv85th7u45y2d2enwvd4clsr9f32vxavsq7evfnjqa6gatkyyq46uuws" + "id": "1327900208615263569843335705047864043316596840026495600983503012484482464516field", + "value": "ciphertext1qyqtsujurdcaaxdgz2an2lrgfth2kzjczdpkhlau0f3zumucnr8mzrgdg4x7s" } ], - "tpk": "208194287435575232177988523141383651653330355544941022833620028592896706297group", - "tcm": "4351177929854889611594880861291716471068605735920718276744806010372182308371field", - "scm": "7432236715563272347810410385040038134175428158388436954634148329555430080617field" + "tpk": "5580294811095179187918001294326329007277497657174260026735762416141831547433group", + "tcm": "2448318717161183363277307268108663793946239552526093517889658114399126789640field", + "scm": "7717779431744736913413260810909049791356464488560833756915065855935293171512field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/group_operations.out b/tests/expectations/execution/group_operations.out index 1897f55f67b..04e701d16a9 100644 --- a/tests/expectations/execution/group_operations.out +++ b/tests/expectations/execution/group_operations.out @@ -20,31 +20,31 @@ status: accepted { "transitions": [ { - "id": "au1gntea3gxqay79wrf6juszkfwt2p0nt5lvlsuussy5hzu8rgvju8qjukrwu", + "id": "au1r37x2kg9jxs7hz8z2ffl6mjrt6cvycx9uh4q4vwteda27u2dav9qfmpnt7", "program": "test.aleo", "function": "main", "inputs": [ { "type": "private", - "id": "3919791646834707674934954655973042607420264613220556084500451463284659546660field", - "value": "ciphertext1qgqt7f0w0w2tsl2lkdv3nf9tssk3cp9mrzy22f4x9a6z2wlmlmqq5yx5a65hlg5qv3x08hv923kg4jq7xv7wr3ag92z6rq4zeu0g5h35qvazy09k" + "id": "3181420186888822199724150670469434561099151449523134488366821051912606825330field", + "value": "ciphertext1qgq2mapkc2cewejqrswvw9rywrpvjn78kqavzutdnvvxl2sfd8kfyzwsqqadmz0vh8fmal6dlrx93mfhuz0snjya06rpxn322czluzh3qseqtslg" } ], "outputs": [ { "type": "private", - "id": "3714180842174145834313357910679558187810786029603688748321986213238534504794field", - "value": "ciphertext1qgqyvv6ck9fd8a90d9sd7c5jylzqzr4suxk9df7sqtq246lfuuvdkq84e73a3znmq6ukhc69j3uxky66rgg2yvq2xeh52y435m6hg8hgpg7t8g8d" + "id": "247343162274927756554956025267810337839785709761251978666995705796882843229field", + "value": "ciphertext1qgqd64vn3gj3msp9aw8mqwgj54x77u2fspxs7g68zgazk05xrgnejrahz6pcsv72vh258pqn0fjqha2wgmjdzcynjhnqg2tadmue6d3dqq0g48t0" }, { "type": "private", - "id": "245199920102940965463953229160652732895543244032041032657464378627492649482field", - "value": "ciphertext1qgq9xzl7ej5t7wa3dyexwrfu07uwkxslx6yswxk5qj4n3rfqpq67upk62l0z4esghjncavwxtngkgvsfltuwaltqp7drtcq90d4y00rnq55370mq" + "id": "74608691301998991173885719161062638603970996844506935336609903805131385230field", + "value": "ciphertext1qgqxd7g0g7xjxskep46yd52zu5n6pwas0smnexm0jmwz3mjwk42k5pjqk763z6v2cknsacp274gxkv54dlfwzkh2447vdwkems4e92m8q53wkcdp" } ], - "tpk": "7789460519933272245868491598547732403357728335721028342451995973391624885933group", - "tcm": "3521814965577817561892644182727599043000655248988985911929982298063324570535field", - "scm": "604466676358608717012611437395379869242648422755133198766744888242263464755field" + "tpk": "4814249392315146870486468050229061695922697131469293084752215484481033776263group", + "tcm": "608333013042431942000869881300972696766566280582592386984641023975258460863field", + "scm": "653147691090859838739657910086287068312585378704187408726357551381955865253field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -55,31 +55,31 @@ status: accepted { "transitions": [ { - "id": "au1x8zpsfw45w7jux0d3lm69z082shzx0qq9m66gvra54v62djqdvrq552zj6", + "id": "au1e26hkzvt3fa2j94gkpkzg63jvv20mvym6ntq689nhrkdll5v5u9srmyjnc", "program": "test.aleo", "function": "main", "inputs": [ { "type": "private", - "id": "3077607459119410944408002315726751103615419792494217269895000761439492066847field", - "value": "ciphertext1qgq95cwfn5ye9n7mqgp4pak6dlhysd7cejt66s7j6qw5pf0dfzysuqp3vlcgmlxvwkher8a6yhvwcvux8e0ndtwuhrdxxjuaw7m4gsfyqq2uyryx" + "id": "6087065213472181432250077912214095544951129858940357156367829536550595787754field", + "value": "ciphertext1qgq2yq57j5c8pvyduf7wjgdf4t90k9ltvde67tjatyectlyas9kgupczfgvqg4tc6z2wtwpjxcvnxu7r6slhx7tcm7r62k072ulecdd4pvv2mgq2" } ], "outputs": [ { "type": "private", - "id": "4594892976347366634020936988828011755856063601619084395895755645990059307977field", - "value": "ciphertext1qgqzqgf43dahv2qfx0qtp3sma8ty5etqtjyrn60p9k58f7d8xdt0yrtszazgex8rm87hqnvar2ankstpx208vnnt593lxyt6zasadn8hqc64zxze" + "id": "4801455625066400758456397881048657638188609802209304323174334327323566001399field", + "value": "ciphertext1qgqvq82lsvvvt2n4mt9rfsdgateg9ujc2a2e8cp6ax5cmq92w2q06z5wuzpk8he7xeurwaxdmaq3g53egazyuppsvlsc6zzffvr98t0pqsgee6q9" }, { "type": "private", - "id": "4065451829030981136141188484559559100062540047735504814286020057394286996023field", - "value": "ciphertext1qgq2xxt7v95lmggxdeyfx2en62wyjkw5k96khdkxnw57rz9g9t3lvzu2td3hk7gw5ft7m863hclsscaq39etjpf270k09wy3zp603tamp5y06juk" + "id": "2897962301498049944901092823132607741100554725910244329314563333235773722856field", + "value": "ciphertext1qgqftlzc2d00lrmfvrydrwvvwxhkrh097arjkdalxvj88y279pruvyvxkdfu0e5sr5rq80dfq4fmqe7958fjsktqqyqnelnfmwryhtdwqqywvy6v" } ], - "tpk": "5795077617442643238350825366256168819234139786312704692671288995343059469391group", - "tcm": "3347558307155399396907419005795885080726186584243898595092811511538576944255field", - "scm": "5594482156805909822176714580161203782967832630866589698194693992956077581527field" + "tpk": "5712733542252315340067215803259539457742629856567582633533153454558908350683group", + "tcm": "3889481774108458296180044512814476290737229804651925426058149784845103587150field", + "scm": "8028948690749034886857299827812556175558947528020832655284231087705183061934field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/hashes.out b/tests/expectations/execution/hashes.out index 8fbb25b9c8f..c6e5c9c6473 100644 --- a/tests/expectations/execution/hashes.out +++ b/tests/expectations/execution/hashes.out @@ -83,36 +83,36 @@ status: accepted { "transitions": [ { - "id": "au1g6x42nwv9almflj9ag70d8scuxdh4v84agryxpke23w99vhh4czsr8whux", + "id": "au10jdyjuw0zfumdaqwmxx8v8pw32dkg634y92adq0fqpy0h0m4sq9szmclua", "program": "test_hash_and_commit.aleo", "function": "hash", "inputs": [ { "type": "private", - "id": "7779408586765087607597443919154886459105601893265144244739197175582884316811field", - "value": "ciphertext1qgqgg7uuyk9h5jpn4qagdyafj2fqellygrpkcqusz6wpfqhj4jqajpkxxymtp3zyduzkqywnpsru9lr4cewduuawa2fmjwvph6zm9nl5pv5ycgsx" + "id": "7794339756553298205989650048934433710564822607826059282976491654830256066252field", + "value": "ciphertext1qgq2alpasyv7e595gz3ehjhfefrtxjh549wcd3n49z9eh4yd5cayypshjcemfg2h08cg6eqqzln5m35c8feuvfedma0cq762mj86xgmdzy9wfaxf" }, { "type": "private", - "id": "2154910533172247997283899742452395353361171805895767415943719315841808681615field", - "value": "ciphertext1qgqr5n5ry9wh4nj78eh8hxlwck5uawsfrmkgy3lrvjg68sfgssmexzlgy7qcxlg6d30ns535dqld7pefy4t8lfae9j27yep8zes0c43gp5rneshe" + "id": "846800760676180367804931999780819877334613895591342807476867392671383621748field", + "value": "ciphertext1qgqd5crx52srqm6mn68prkt04qdy9yjyp8dyghrcfh5ffpzec6gr2z7z9qpu0h28ne2v4mmf8htncc0dqky8ssa32gh7w5zs7fzrf9nhpgyq4vny" } ], "outputs": [ { "type": "public", - "id": "473951001007464144950399884547080471068857525893058749763215528531013730563field", + "id": "7385208521161274571611950659546098212135897785106506114202459700450050189633field", "value": "[\n 2389033528541317015369294191168082905997398578750323243557863145864901166796field,\n 172644632788497785943688808800949204936067994109484882301800054670053524265field,\n 2935345460655404712415242713194718975328574533267387132400005962185865883341field,\n 5817416973664279054460665977366739932224416429242942751719449180201781184059field,\n 287759063810391575934384180273548695577458018507724744356046584908730543160field,\n 3913727974389014614204978536390891835714340433349594459667742811322222489454field\n]" }, { "type": "public", - "id": "1485298262376909567632930991582008239656237985475354789665558379567587806890field", + "id": "4439004938597863544093930692089683830254418609344890817926122013863816688940field", "value": "1150511686575711078894586425189063917444782989726258642013897653550157939585group" } ], - "tpk": "1720427016024092834493670762600329281624059153574109848859092339558189536291group", - "tcm": "3316797560648707689133765696376912011591061332405188835418198781335863651504field", - "scm": "3344304382017613615838816609538040682920485159369131005453559877958792070409field" + "tpk": "6873576500554647875465385644725243568201973890246959961027272353208022644684group", + "tcm": "1359111195245821732544856427313403787133071633676618278598250135725033573772field", + "scm": "3374536647665477858363113280616446699719598667365525591491612363289063857524field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -123,36 +123,36 @@ status: accepted { "transitions": [ { - "id": "au174zx7paav3q4kt3vsdscyhw4h5m2sja3t6avauh9lld7n924vgxslxc7vx", + "id": "au14yz94m0hdaz2klwu6qkk6apstdara7qym497a47w7kr454yzns9que846c", "program": "test_hash_and_commit.aleo", "function": "hash", "inputs": [ { "type": "private", - "id": "2142195143855661485409170014863122178640488268152500646538335627173286530106field", - "value": "ciphertext1qgqrrh6ke3ach2e0v79rspz5tcsd69f4helmur9uy26q0x94un7jzzltt7zwqk2ysmscpfrme9pvqqw40g3whk5a8nlksr0cpl5n24ahputnh86f" + "id": "3899108592042558786515924731464230850055143156540878222318469637049234345532field", + "value": "ciphertext1qgqd6vyts55atyx04j49uwx0aal6r0a6d74wxqdn69yn8g6v23lfzyxk2ah280dqfay2p355rem8astx5qw8esmk30vzxyt73e3kaxtmqg4nhkst" }, { "type": "private", - "id": "7893883802767897658586542980404534910227811283417434242177038792155182531948field", - "value": "ciphertext1qgqvtk9mh9nclypw0xjkgkk6q7ykt7lrc3cxxz8nh2a2x7kfyfdhzpz8pdcuytfhc2frlghmdkcxxm43u2lh0z36e3e4gyqhh076eva8qcvv3t7r" + "id": "4582101167688187178991699416603304880638807355753517050163403641781061244535field", + "value": "ciphertext1qgqvxc3hr8vhwpux0l2c0wzk7fxtvyvrhrnx0hqr2cpvgggycavckq4s8s47xzsnj7fhpcx8c8x8zm5j5rzmyxxdsn82n952c2n7uv94pu3r56y5" } ], "outputs": [ { "type": "public", - "id": "944396924813690733293243080698612358392769519971034393828227704489728155097field", + "id": "6411316015831366031254415670438741657607426372360097760147465949685948009443field", "value": "[\n 6798576775415172930024795384318601958199326755638942990496387325229766236562field,\n 4658232586824243767278641586542664532562957796225217469667907688947722388616field,\n 7509757352560318781395278165510886076858703556666965559922627566156232816240field,\n 6787929851299748200027290095196989629826553332067904143983285052766229554185field,\n 8226379729174501730566792169755728656333931983456501340185779664235836140061field,\n 2203427332685986822261672436628391935982043288069613336766290705077140103740field\n]" }, { "type": "public", - "id": "6520630359298706700400231506721248070605528546001099203202660664435769730082field", + "id": "6556563266486832727340226579410155365009856168829403971742213361879788436946field", "value": "1150511686575711078894586425189063917444782989726258642013897653550157939585group" } ], - "tpk": "274862362778850339153047474623885045409149165744852088894801178296391941260group", - "tcm": "8089462274397654512214536765346594304560467717140119783440654623173670637653field", - "scm": "4055504294004325270329550341901034794180125271462767291516878764393679801086field" + "tpk": "6214372581577251585863637779161196527506133444388218651401323986727895089614group", + "tcm": "5935556713954805716051446794592849314833200713937960015656543753647149870633field", + "scm": "7374273461615171708869926785918825010845706325976605919452066797010997061150field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -163,36 +163,36 @@ status: accepted { "transitions": [ { - "id": "au1nes6n3mng4zdf3luvzktjrn6cy0w9jtxkpksgunmdhcyunjl5yysc9q4et", + "id": "au1csxvwcsn2lz80k7747ah5ggrescxnke5yjzz4hl84e5mxsnwsq8sefalvn", "program": "test_hash_and_commit.aleo", "function": "commit", "inputs": [ { "type": "private", - "id": "7122739194067719493732666222555782087915298986070052747630162879238093373660field", - "value": "ciphertext1qgqx0e0kdtpxkl9c5jq5nmhgd6gj7cpkvppyfvds5pmpg6ruvedcxqwtxpn9xww7m5n5907gj3q0ue94w46d64slepgk5nyd8xuhqn9mpgg6pdjl" + "id": "7502470499033320602850955937974330397615859706502813054083146431142815904998field", + "value": "ciphertext1qgqprvj7zk7ygyr794gwa3jf3vt0p3ns8tjscw0fqar04myalkp92yd09lhrd73mf3w92n50wh69wmc665pzq9cx47ptt2fwrj0xvx2mpva024tz" }, { "type": "private", - "id": "2854599507905383102263111191721835180470376090649714572665412179595177576393field", - "value": "ciphertext1qgq2pm4ph84f5el6uw9nq8xm22amh6k74xgcsf6al5w0aq8fk59cgrlg2gf50yx95r9gcsj7v8pyql8tr6u89wthlt7d8gfdh6g2n60vzy3rxs0f" + "id": "7121652092454885348901764774967722723923567729176906388740759202194809073203field", + "value": "ciphertext1qgqgq056l9emdaw0rr8d9jxw2sch9huf7wwd3mud7pu8rj28unypqpldxqaa6xepewdw2zm3yxwzucn4ac3zrf8yyzmj5uag9wu3sr09qukzmv3w" }, { "type": "private", - "id": "7507515555906482113225534133927547543959491526879603198556556554811106046356field", - "value": "ciphertext1qgqfmnva557rrw9tv6yekp475vp2ua85zavwa5akk6lpmyrrlp6dvrxu05rzwx3599vcrdflfpdfjnfpthkrknvsp52u6d227p5g0ws8qslw3vr8" + "id": "3409625737659904199310590790973913012428513050541722643278956040779747217945field", + "value": "ciphertext1qgqt5gvnczf6kzx8qfa9ddkyvs62fekqnx82azzh80tntut4fk94sz9c7epcm0egl58tx8ymvvv24yspfrpjj6gse857tw6uql283s96pyrs02w5" } ], "outputs": [ { "type": "public", - "id": "8185338148552893316673166373234809967355518288578189691936312510579291083763field", + "id": "2975493240262455592216749863719487985549205181944384293221073539188309438000field", "value": "[\n 795030275469581018113843893465458625686956867721830537891077681856251355681field,\n 2051092141746943876971026129425566328031447904501559842871545308546409489654field,\n 1787783807904866638188600931812480528147681090909771391565424951145519226119field,\n 6174454920467770503595848815678429283609684775040999808750336819868027948121field,\n 6339168462124445112396069236239199958854302525960952726307885875355328695096field,\n 1988347487270930693704710895794270146989393282665276486645089490877252967414field\n]" } ], - "tpk": "5407290248751968735915749113122754755940110093103323434298499858117206354720group", - "tcm": "5847260535132007693701744967027029903642623853854902274419573352077625897397field", - "scm": "2534116568243041558816697748210851528580024199930267102280548485725517688900field" + "tpk": "5712859699646297245198717562141408015260386535755799119147523140673686210145group", + "tcm": "6222605940685647278079891399979742505673055768767510051656920074826670379455field", + "scm": "6857885294842384909800332559716687605948721943735923926914489990253408604595field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -203,36 +203,36 @@ status: accepted { "transitions": [ { - "id": "au1wstwul693ddmcym9u7jg9pstj6u4wsy86ch00xxkqtl54xs70spq5p3xe6", + "id": "au1mxgtz0dv763y79cxnqz3qmrddseevaq6kuu3nzrv8md88xplay8shj93p0", "program": "test_hash_and_commit.aleo", "function": "commit", "inputs": [ { "type": "private", - "id": "5178982677332908066164414844682311382469895990582809090726562391623613550835field", - "value": "ciphertext1qgqpl29j4cmvg3c8f0z27yl6akhuss3akz2jj8nk6w7tvutgtm9lgpgeu38prjs753yhk0ssh9d0edqecphfjtng9dyfu3990rcwsevqpvcqsg6t" + "id": "6209709059953715412845951524377615491507224952624884174524771894464973601564field", + "value": "ciphertext1qgqxfa59tmtdg25mxlmljwq4xzy49wznmnpwmfrapp8hp2fz8lx4cqx29n9n5khmvzacvdmeqz3g9ad3mx0srmaqts2f6tzvgaswf34xpcq4y8q3" }, { "type": "private", - "id": "5941046852835681562802446671082523632884065348261098585851159328213809973971field", - "value": "ciphertext1qgqrd5s6890ucznweyjmkly0re3f007556yxmnmwy93yptrtyt6vjzp9794eqkahjqtadjyke3rgv0wcng7menpj22k8egjlegu5furgpg7l83ps" + "id": "4282510515636081675626142157975533483930403057626427744498000914975760881930field", + "value": "ciphertext1qgqgkttnrzj3uf6ra072k26m2gmf2h2trsu5mu9ylpj9tusdt76kzqgp4xekq3xy9ravtppluyxvgmdsf6qx3e0vasckffyt49w5hj4qps5fr7jp" }, { "type": "private", - "id": "785252935464505821749006429087921943491268651275843450305989358638246361144field", - "value": "ciphertext1qgqtgqfnjdeytgcz7r6uzs9mhvv793xkqts0ns82z593vgj37wql6qzv4jzgvyqvs07m74zzq627ee0hggu9a7m32264y6w4rld9uulfqg2y3y20" + "id": "6323642629683536372251063799836181381224517059027684132677646365780793740036field", + "value": "ciphertext1qgqpem6c0c4fz2686qkh49fz7c45lz99qw2hp6yrfgpuaknfecuygpanwhqgd3azk90mjjtjdmm6hv66fz4f62laa2awyx5c4y6nvq5lzy0fvn7a" } ], "outputs": [ { "type": "public", - "id": "4590135335232697382232576217223155975543548873455103099261902766041672522018field", + "id": "5182632096781303439529665157405789823940890986489314125663833883298777013696field", "value": "[\n 795030275469581018113843893465458625686956867721830537891077681856251355681field,\n 2051092141746943876971026129425566328031447904501559842871545308546409489654field,\n 1787783807904866638188600931812480528147681090909771391565424951145519226119field,\n 6174454920467770503595848815678429283609684775040999808750336819868027948121field,\n 6339168462124445112396069236239199958854302525960952726307885875355328695096field,\n 1988347487270930693704710895794270146989393282665276486645089490877252967414field\n]" } ], - "tpk": "4752687484962580855220758288070516274766226755471163665437648081219747656191group", - "tcm": "8153016186948181114729945435135316222138217570810209505933898675725720781554field", - "scm": "5254203925930539258752339406369320182854313279600573520854671993701850427252field" + "tpk": "6062538425714348289388807233560593352877435339076656705046774800174363258878group", + "tcm": "3638832620963863279567523366318236179062235935383830174126514394005941972977field", + "scm": "3007500820348063916255050313306291802678480477987323326550155280795497459676field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/implicit_option_wrapping.out b/tests/expectations/execution/implicit_option_wrapping.out index 88ca1a0130d..794e9c43e1e 100644 --- a/tests/expectations/execution/implicit_option_wrapping.out +++ b/tests/expectations/execution/implicit_option_wrapping.out @@ -238,20 +238,20 @@ status: accepted { "transitions": [ { - "id": "au1frs99g6xu20lkadscqul3l3f9sxp5wlh0vc68me0zrzkxrywlupseazs5f", + "id": "au1g5z29dymyyrgrl78hzdwnu2r84q7csnx9vwhr5plm8k95vkq8q9qjxvtaq", "program": "implicit_wrapping.aleo", "function": "basic_implicit_return", "inputs": [], "outputs": [ { "type": "private", - "id": "4989189532107518625909604431676509681168979046660559926922634939601096072828field", - "value": "ciphertext1qyqdzd5gqh33y60226vfvu4ykwfzxuunj0k2fn3qkhde644l65y9qpgravfm7" + "id": "1977550964822858032376434225391074546453123610367485738448004749229999241423field", + "value": "ciphertext1qyqrfjsx306g3gh36wf7zpmufk0smxjtge0etfadtuaguaymelspgpgcadehr" } ], - "tpk": "5219460553290981766791992987284232195595697688982319505233433182699924582802group", - "tcm": "6897605116784541246845249687578277443970213521187966792164626585933810321187field", - "scm": "4072481398296948288079880673763406730476903249188897762505428925943580053861field" + "tpk": "1609316231822148156674696621231782495911316622580191130122333167812254066758group", + "tcm": "1999567113372369790986972137063752844640836251354674946131823567078353600797field", + "scm": "2948267660352542592663504131742007634275879303108488981161279521983086253576field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -262,20 +262,20 @@ status: accepted { "transitions": [ { - "id": "au14rmy807wxu996fz7v3jqwc3pkt42xgjxpeuwcuk0098gejytdsgq9d2jyw", + "id": "au1emlvue2w04nl8tp6560pas4gtn3fplt2jv3kepwcpl6ag4ffsugsxa5wa8", "program": "implicit_wrapping.aleo", "function": "basic_implicit_argument", "inputs": [], "outputs": [ { "type": "private", - "id": "2906432012207348093026861476746092623711571152507860518741619429068820494719field", - "value": "ciphertext1qyqracm4a220jequ8mw0ejl3nvzkm45ns6pgq8f8jeeg8k7avdn2zzqsyue7q" + "id": "5364792292496209593056825054000083864993207404890091284026281940488116568381field", + "value": "ciphertext1qyqrmdntf3qlq3y0v9f5n73q0tk774dty4n562jhd7e0w2gsh7t3sps9l08m2" } ], - "tpk": "8188509663068046401330261025097048548719198316459110235758131742997661686813group", - "tcm": "6571670837059256890908664708863592809908028683356999531310664607680013857075field", - "scm": "1264480902468006992124886581023105287172655394258796864443085083253350131502field" + "tpk": "5170930057351746238103596452100912851323888364810383288760469789438443068586group", + "tcm": "4405709861985940822339907608478984467801674096943607595955906983477355196146field", + "scm": "8159059474196797542688259542614139380697617024331252897386937371747333136889field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -286,26 +286,26 @@ status: accepted { "transitions": [ { - "id": "au1725p72j0smh4ewc6znl09ljuz78qjhrm0y9zql0flauzasckespsky0nv2", + "id": "au16dfspzawks2k6r6c7z5qg9pf6ztg45darmvxfhuz4xgsda880gqqtdfkft", "program": "implicit_wrapping.aleo", "function": "basic_implicit_ternary", "inputs": [ { "type": "private", - "id": "5731741518331029847414631588562793449640277303553185189666677218908677906706field", - "value": "ciphertext1qyqygkxphfu4ap3fjmdeuydechrlzt9epwqs8nhu34lsnf76ckulsrs70gs9p" + "id": "1306555899055782089831104173546029074146053953850613356550623482375733928028field", + "value": "ciphertext1qyq82jwmmatlswv9tqpa7ulg72n42vqm5f078j3hq6q88vpp9l62zzqg0mlfr" } ], "outputs": [ { "type": "private", - "id": "7419414579426825601984543056570954659659247739959531115080946459363535774296field", - "value": "ciphertext1qyqgy0f3qy29fz9n7e09rjzundeenqaum6qk4u4l8sdunfxqzrapjpqxhfzj4" + "id": "7976741777688150048329502814194052196384754895759377274249327927579103776945field", + "value": "ciphertext1qyqfxarj3asa95zacsj7qcwfk3k5tqfexf3w2dcsn4p5wv5r3a72srqflt8zd" } ], - "tpk": "4181013576203909363147091088969966845590923690628190707481122820979486716382group", - "tcm": "4433632771693726938199012777757014873567145116766834603215942612587177439759field", - "scm": "1964948703636424083464046438426763563744791652121304340394566548688878596160field" + "tpk": "6729527426586848375541767131055199714384585808611397737773664760458396025974group", + "tcm": "512126408295705692284562240424807215569625274910500504578589237776592524525field", + "scm": "6884080250993186421831323465631736466295846536553122622999256974161340904123field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/metadata.out b/tests/expectations/execution/metadata.out index 1052ac2f7cd..71ffda5d125 100644 --- a/tests/expectations/execution/metadata.out +++ b/tests/expectations/execution/metadata.out @@ -26,26 +26,26 @@ status: rejected { "transitions": [ { - "id": "au1jackrjt67g94g926yq48c3vwfl67rggapqld3t7dutr4yytkt5zsgjutv4", + "id": "au1s0gm9yhhvgn23vx3r3pg6d7yy5ffvtzrjf89lfg38h9kfqjh0sqstxtdn3", "program": "metadata.aleo", "function": "is_block_height", "inputs": [ { "type": "private", - "id": "1294839953064067156857575820936554662953140004732414160471488174683467816510field", - "value": "ciphertext1qyqxx648c9zd2y9dxpaurthdm3fzrwxetpka2lfnvz0qpglt3zdm2pqd5ddrr" + "id": "4846963621798475150749496154581047931998293867310233519948418219451788691329field", + "value": "ciphertext1qyqyna788gg46ndwjnuk2dvm3fdhnmhljc8gfvtq5mg39nlw2wye6qqs4gv72" } ], "outputs": [ { "type": "future", - "id": "4158360135649145120140519383007103543182806766660285349681004290052865664798field", + "id": "2064355038678810937548059204940232805140347901230195252445439443570838432340field", "value": "{\n program_id: metadata.aleo,\n function_name: is_block_height,\n arguments: [\n 2u32\n ]\n}" } ], - "tpk": "6373718224838073536803860829638049194561989564755401205658301015696191366090group", - "tcm": "5664822226403379628159757940447744056069986517068960076928226892917348704296field", - "scm": "5676325233121699107048557908033121840844329323401950925709080348351425973728field" + "tpk": "1037733386133164487895105535297327187325548613067990244211437457519327093150group", + "tcm": "4161115002753557406790356437682820319476310774803166952336318536904039834699field", + "scm": "1767206995291351169359419245851931061006702694950490148547970085300330746273field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -56,26 +56,26 @@ status: rejected { "transitions": [ { - "id": "au1x5vvndjs4vrtv6s74tufng7h6d6w3cz7qskrk3cn4nxyfrnh45qsmzc25k", + "id": "au1le5fx9jauauyr5yr6wkyype03vdjgvquvkgl0rx0sn9pygvpngxs3vcxey", "program": "metadata.aleo", "function": "is_block_height", "inputs": [ { "type": "private", - "id": "1558278947076474301307539997072376696837324145741763768200065013508250007359field", - "value": "ciphertext1qyqxs7vgp3c9j35kx6kn5mhs7u3w5mh47twvzmvg8muqu78jlphpgqgeuvhyt" + "id": "5702696966793663202499782319916724044124069473964132885381316022652329900388field", + "value": "ciphertext1qyq0zlwf4c9v00upfx6hfdatyc8f446c8ug8v07amxmfqwjgj7uqsyqvcsjev" } ], "outputs": [ { "type": "future", - "id": "3886948426754258966154680089357685334228941516416845286599856474879455286656field", + "id": "3343229426299515833174904869678186447600115021526164874391816899455483746558field", "value": "{\n program_id: metadata.aleo,\n function_name: is_block_height,\n arguments: [\n 3u32\n ]\n}" } ], - "tpk": "39172694768842210914502146058620112304946170410395658646753799744410747064group", - "tcm": "2496119321884656043910452253295201063060884739589327489089014755543056702398field", - "scm": "6724231322804026917996535940522620939424458967853759012191601743219837577781field" + "tpk": "5422441079140376386027825990630635393479030665795976804681063166579976461686group", + "tcm": "7112819813982170625714805914576650830627295345950626636683449462716465060500field", + "scm": "6916381046843960936802724789017562067965699303989918117061516147246879785979field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -86,26 +86,26 @@ status: rejected { "transitions": [ { - "id": "au1uk2x2dc9spaqqrxj0lsxxu9sxxqjjuzsaqtm2mfff6z2u832juxs7r3rru", + "id": "au1hk2avpqar5q2nck4nx7m6zypcms6f0p8h6v5le0z3el7pnam9crshh22ne", "program": "metadata.aleo", "function": "is_block_height", "inputs": [ { "type": "private", - "id": "6379577413424842942405641019573135037957664278537258759688355266373400489725field", - "value": "ciphertext1qyqqmv40ep9r6l7pqhlra69kn6268kmsx5tvh9qdd3gzkhzxw893czgr0fxa9" + "id": "7966173243684757081607681515217639316367086449493416557478198746943710314242field", + "value": "ciphertext1qyq9cumxsmfjesdan2zxmwrsjjntncmy0lfwgqxl00qu6qlnf3j2crqtpc4f8" } ], "outputs": [ { "type": "future", - "id": "2776245219956693805106631470667957714710604290488560519040569941854764861832field", + "id": "3150477797081950289533878102225034337160507603624069175624890568060770817928field", "value": "{\n program_id: metadata.aleo,\n function_name: is_block_height,\n arguments: [\n 4u32\n ]\n}" } ], - "tpk": "7384116050582086575935631193340748878808800662028117978885163706306318514015group", - "tcm": "7958548178555411153280486439782136041901623537216192170031606835078444579309field", - "scm": "2382781258281984239008280911484366196292241519527402598792694336925628223608field" + "tpk": "1715878919017708244489643674044350712574567861495854528259980134485134198623group", + "tcm": "5019594720243264972653104700440323889935215405336436460795069654271273503118field", + "scm": "4728738306624013911560366259140291399329734466085125511892464913624776269937field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -116,26 +116,26 @@ status: rejected { "transitions": [ { - "id": "au1sj7jsz4c0jnm93xz8hhggj6nk2dc6efvxyzwvsmjgxaaerzhrcqsrg60es", + "id": "au1c5ks3q8tsvh59hgawq055hsaxa86lamfjc8lje3s3pnmsrehgvqsxwuew9", "program": "metadata.aleo", "function": "is_block_height", "inputs": [ { "type": "private", - "id": "6359923224311755868065528744723809170051032358192737056214751584473776206035field", - "value": "ciphertext1qyq97j0zkr5tqt4hp00gj9pkg8rwt5mzz77tjg4fpaal6af8qw99sqswk5e6g" + "id": "129329169712817028830668982863869799545744778509554165841345628789140642895field", + "value": "ciphertext1qyq9n3y2sf9frfnp3g9smxhcrk4mzdnrzn4fz8hfqxmy0mwhew4puzsfsx2c8" } ], "outputs": [ { "type": "future", - "id": "3667896864885647615763977628109575028690565794207037550211113491833001498840field", + "id": "5755975591739165346224682266718075871498229645768428873577106934493568842843field", "value": "{\n program_id: metadata.aleo,\n function_name: is_block_height,\n arguments: [\n 0u32\n ]\n}" } ], - "tpk": "5841989403237930599352238695504393294286797955406418056150390796974313792897group", - "tcm": "6248428856114999695301782955203667003685028995926905376745150469929116104312field", - "scm": "7711717192842610855997755234040226957750594219730770897763551949439745717479field" + "tpk": "705616130960512286624689198794381008518610542371784592894869991578499896254group", + "tcm": "5449468415219727077425126056443108331061618712701226145125857579985164381614field", + "scm": "6068853925134294555865760493364271476254425309712443139049615406364334083342field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/mint.out b/tests/expectations/execution/mint.out index ececf0d799c..f9e54310975 100644 --- a/tests/expectations/execution/mint.out +++ b/tests/expectations/execution/mint.out @@ -18,33 +18,33 @@ status: accepted { "transitions": [ { - "id": "au18rau9m9t3rn3uyyv4t4pugwf5np7q0rtzs42xk63ufru9xx30ugs5mazv4", + "id": "au1z79wuy2lwcucu7hl68q7knvrey25qylzcxk4q4zmwg26ehrxxqxslw60sn", "program": "test.aleo", "function": "mint", "inputs": [ { "type": "private", - "id": "8238641251750981576384552986295046479837208912264209727828490980201741096622field", - "value": "ciphertext1qgqw4ap4ft5w2999zm392w04k9m23lq5342k5xwmn82hdpr99mcyxr7curdgevnd5f6ylsm90ag08t4p9cwkj3yla2alkg95pd5q3n34qu40087x" + "id": "7807009708035073489006343970002216775539837914404701392389211617657458934101field", + "value": "ciphertext1qgq9g4hhglezldsl7htdzslsvlrd066e50t6ucasv25uqzf48rxdsrsguwcjr2z8hpmf0kjlna6g086w9z4ecq3ka20ejeuf54w64e34qsfturvt" }, { "type": "private", - "id": "7282973169393643234129930206935038011710906272512322014967164936172331423066field", - "value": "ciphertext1qyqt6de5c50hkh3us87m67mvfp3dlxz4klprxddvkzfgv724sm5ysygh4rpv4" + "id": "5902079424805686456928995950843563549142331932187887368830108193858237249083field", + "value": "ciphertext1qyq0s494aw32zf59ypn0lvl2ykjg5k0swnnfzcfe57q2jmgvn2gnuzs06tg48" } ], "outputs": [ { "type": "record", - "id": "1282446702040180079585179431795604798886074672696405853419413605468621672675field", - "checksum": "3695797403724998916721914148585863620313456129010858975310021723302771133110field", - "value": "record1qvqsp98rd3qrl99q0ztgenne8jqspx7mxs7sr6cfd9m8vzy4vermwxs9qgrxzmt0w4h8ggcqqgqsp86vceq7v4mnnsfyfdar4v0033e5qv8fqj5dz2ddq6n8jhhycdqzq3nxcct8q5qqqqqpqqqs5uc0ucwa426955zl5vtq767ud82tl7x40dftftj0a7wk6mtnjqccj9w4v", - "sender_ciphertext": "5793755242232057903294223359790315689852632235333956696055930647484455492520field" + "id": "7910177712325414883199802155973071488959429380599491928245104827977055424026field", + "checksum": "7349377662800988531964444285747563520981834378868596194131361437080344917546field", + "value": "record1qvqspyl32xr895dnqa7086asauak6yvnuaulm3h884pl9ufmjkuv74cqqgrxzmt0w4h8ggcqqgqsqtsgmuejt7pecm8u0yzmzupjzmaqtzm0ld3kgkekurwcpynarmsxq3nxcct8q5qqqqqpqqqjfeg8x2kwm32t45vjupel4d6r4yu68uqprg762g02wt0vwj65upslqg0yu", + "sender_ciphertext": "3342897502153634238720465972589139653202887720534384777860564792062361112329field" } ], - "tpk": "46018422513061751665070269569094341736403749082197360847877546801502035842group", - "tcm": "4488798580887761911570985727386590608164642982799209201081545946042009259158field", - "scm": "6369673747780629527342193102210003913535199907559545881615276184933009117515field" + "tpk": "7789460519933272245868491598547732403357728335721028342451995973391624885933group", + "tcm": "3521814965577817561892644182727599043000655248988985911929982298063324570535field", + "scm": "604466676358608717012611437395379869242648422755133198766744888242263464755field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -55,33 +55,33 @@ status: accepted { "transitions": [ { - "id": "au1ts4gsvfe8lchyqu49klw5vepw2z6yylxcr86f9px6thr2ejfav8qdc8y6u", + "id": "au1yz8re8qd7wwdre029k2n0g27a22a08tkdnhq5ylrs9vjry0ul5gsqmtrcq", "program": "test.aleo", "function": "mint", "inputs": [ { "type": "private", - "id": "6912682823077708792630832236470176824044868283702237965411169765124666532757field", - "value": "ciphertext1qgqztf45atp3qln4rc2nhspakfyn440khtn4wwsp54qvudjlylyqwqqhqz3qgjwqt9h9partxn2p3fza0w6wm0r862zk5w5pya03zy6eq5q392zw" + "id": "646353707381272056718036310677387619477822386853770784349503738936970655202field", + "value": "ciphertext1qgqtzmgf3wm0jdjeawrxgnd8gh67nu67ed5g358d5n2usqc2z8n2kr7z6pzelljl8fvuav2whmm9mdj848ek89lsh5jk5ts06ffn9qsaqvd34u6z" }, { "type": "private", - "id": "7070957568551644295881004802477584474923067924419069892564301031961370870771field", - "value": "ciphertext1qyq9x0nywyf5s2398emz75t2pvmeaxzljz8zz9x4wsqyhjlq7zen5ysm6qw2g" + "id": "185940565839937181411360462547010771016358219546751306068429713232818323072field", + "value": "ciphertext1qyqtfg4p2vnggc3pxea7vd6dq603xfvargycjl8njmellgvdwp567rq2ahz8v" } ], "outputs": [ { "type": "record", - "id": "1129879964025831653697540334202161333848101299267883526167938153343653395601field", - "checksum": "2549915394227831358179544002456356003628601664112577217402428058629507797499field", - "value": "record1qvqsp3w7jp02s6e2x2j3wc5pahs45ejwuughk26ts77cu9efju6p6ws0qgrxzmt0w4h8ggcqqgqspztg89xcl4vchjrrzweltjr4daf04k959lc7mse49gpfgtpasps8q3nxcct8q5qqqqqpqqqkqd9ewxc6eygulr9l2mqsnelpcm5s82gqc03tnr360wjvr5pjqyq23sjdk", - "sender_ciphertext": "1894007057488888100414138424096308809160239640183073331671861299951242168260field" + "id": "2661433699847019984629952073244054115862918973625376724651574132263946874263field", + "checksum": "5381366519122917028547700879197801678507837881898635803692149769417756224697field", + "value": "record1qvqsp0q78errg6f42mnfcy728fmktt8cws99jn0zzdk2h4t3ckjp8nq8qgrxzmt0w4h8ggcqqgqsp5nkh0gr79sl4n3dwp74cm0p5dx4prdjl8pgkew7d6r808590lqfq3nxcct8q5qqqqqpqqq6x0lesu2pzpjuv38yrudlmjsl4xna99fzwg92qnllhfmarwwyzrqx392rh", + "sender_ciphertext": "6121063872352597065867203782284354209445862348481555025335412675501187055659field" } ], - "tpk": "5100339381701210788454673575031827184629315318214841368027407135648417064754group", - "tcm": "5963634778490276887658554575906956586210537553931759555354884425129377691643field", - "scm": "2438832326190266382783422112101082225026655772737674434876109818229988273757field" + "tpk": "5795077617442643238350825366256168819234139786312704692671288995343059469391group", + "tcm": "3347558307155399396907419005795885080726186584243898595092811511538576944255field", + "scm": "5594482156805909822176714580161203782967832630866589698194693992956077581527field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/optional_types.out b/tests/expectations/execution/optional_types.out index 693caeb651c..83d06d56b91 100644 --- a/tests/expectations/execution/optional_types.out +++ b/tests/expectations/execution/optional_types.out @@ -245,20 +245,20 @@ status: accepted { "transitions": [ { - "id": "au1fuc8nxhx9qgeh8fwuavkdmtrrpwfr9jylvh6p2vde5x29mx76gzqrvklg9", + "id": "au1l582h79jfy883d77u0r5mpcf8ekexsz975tmvpesj7kg6gt87c8q5cdx63", "program": "all_types.aleo", "function": "optional_basic_primitives", "inputs": [], "outputs": [ { "type": "private", - "id": "3309194570735646905700631931296571042556811751933365652455202157216835655298field", - "value": "ciphertext1qyq90scl5ht9z53m6kcvfxyku0v5uhhv0tuul4wnkp23nqzmr6z45rqkk0fpk" + "id": "5220795884168779481109984958091885208125294954925743576827504817008113664153field", + "value": "ciphertext1qyq9yf7c52prn6ejy2hmqtsup0pckkmwc2p76pzrng8uvmy3zw9nyzsnlnry6" } ], - "tpk": "2415597687875864464573881446772256259277995056059838820677625792296401632956group", - "tcm": "7030616420779954453202522695381761571266035039024289043304784858376983631346field", - "scm": "3936933350473325683667474309316199471088087623872846294952761378365987359295field" + "tpk": "7143496923783107170612205444780305066504999576368602175914277048801969563506group", + "tcm": "5177941139388144850113118818084783348783961142189239710924643729650528703699field", + "scm": "1251258312605409745156045795208075245039901083661090027612229701965530267520field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/optional_unwrap_none.out b/tests/expectations/execution/optional_unwrap_none.out index d8c28db16f5..a62303d7f3f 100644 --- a/tests/expectations/execution/optional_unwrap_none.out +++ b/tests/expectations/execution/optional_unwrap_none.out @@ -39,20 +39,20 @@ status: rejected { "transitions": [ { - "id": "au1wz54uy8ttf2upuvz9q5l0e4fvwdj4yhhp9hk87ujcuk5jxt7vg9qckcwft", + "id": "au1fqxzxlsjjghwzr0q4vs5cgm3e5cfj46a227kckgn2srjjs66sg9qyafzsr", "program": "unwrap_none_test.aleo", "function": "unwrap_none", "inputs": [], "outputs": [ { "type": "future", - "id": "6344021062615212194622365059902666618213162260514613750772429907142554141910field", + "id": "4701679354585711447862038817797749258520149899856854155977994961728741577348field", "value": "{\n program_id: unwrap_none_test.aleo,\n function_name: unwrap_none,\n arguments: []\n}" } ], - "tpk": "5866750136584722133604663336682692237103046411683744092138945649129038106556group", - "tcm": "6450366671625401994317861095570783155486300360236005490534857242757019551337field", - "scm": "5946394361260428465261193713804410699153951285905537610748756507642505849523field" + "tpk": "4015569090555634078259083111748985631407210375280747317729319917112248347918group", + "tcm": "6262595014373603393043831045701098672058221808737304792411891608158319148703field", + "scm": "1674000005043184784685187089687497408817865723786623042302907314532412622132field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/program_core_functions.out b/tests/expectations/execution/program_core_functions.out index 4d9ba758125..27bec362173 100644 --- a/tests/expectations/execution/program_core_functions.out +++ b/tests/expectations/execution/program_core_functions.out @@ -24,20 +24,20 @@ status: accepted { "transitions": [ { - "id": "au1zlph9rjgjvh0w0f25ztldn9ktgln7xzhw2p7tufud78lsnpphg9s79a8km", + "id": "au1qz69xvs04x0m2ray3rvc5jacx6gws0zurkqptvfemghs8hx8hypqa002kf", "program": "test.aleo", "function": "bar", "inputs": [], "outputs": [ { "type": "future", - "id": "2830144795159410097388196712300234903742763089453232479279901002821385897244field", + "id": "4699745965752831089430567920988765685453326082501789796524746979033457740377field", "value": "{\n program_id: test.aleo,\n function_name: bar,\n arguments: []\n}" } ], - "tpk": "5284609865564132093347224778056591895184410323243253614423496030005707308355group", - "tcm": "7103811041439417745319663604957027273886603687770675752281064201434298169800field", - "scm": "7590082706830837988434962777194004427398370905191454924832312766866084361972field" + "tpk": "8231475703253287372590484741349140455137211543808322847099566813640903319657group", + "tcm": "6581805877784409078845114337504939553469074289477993496724600664947152224272field", + "scm": "5301056063063297798392181207155541699061262732731840836225713887042788696897field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/record_and_duplicate_outputs.out b/tests/expectations/execution/record_and_duplicate_outputs.out index e2994a4b8d1..8727a948b35 100644 --- a/tests/expectations/execution/record_and_duplicate_outputs.out +++ b/tests/expectations/execution/record_and_duplicate_outputs.out @@ -56,10 +56,6 @@ import test0.aleo; import test1.aleo; program test2.aleo; -struct S: - x as field; - y as field; - function test_pass_through: call test0.aleo/make into r0; call test1.aleo/pass_through r0 into r1; @@ -72,61 +68,61 @@ status: accepted { "transitions": [ { - "id": "au1hjktquvtmcaq70mpllmxx4pklgxcjfkqs99kce43cq8ggachpgyq9rd5gv", + "id": "au1xkuqsktxmw9tatpy0v34mafz9v9kdxz6kga39m40nm5mcps5wsxqvqqm73", "program": "test1.aleo", "function": "foo", "inputs": [ { "type": "private", - "id": "5440054826875322783490575408821005215570477263961362762203501327402483296467field", - "value": "ciphertext1qgqxhqvamkd3wlqn6vmde0yh99umtx277x9ecfkyhu0rfh6yqsehwq2229lhqw5dyjnlw0txw8qrr0fm6grz340684m20g2cj9jqvwgtqgrakzxn" + "id": "2985381683320704048933452699632009931343478003198260761644832511524995252077field", + "value": "ciphertext1qgqzshn4upkwqa4nwj8yhw9rxv4rnkk5kfwpfnsd87e0t2t0zphv6p8fr6x89wa8fuefz4xfkhdm8q0l6wm96dj6jwccedthtnzx3ye8q5r5vzra" } ], "outputs": [ { "type": "private", - "id": "7732868645143772301707799748484385379942603521142980363470987232014549314814field", - "value": "ciphertext1qvqf24u7765wkyenkcm3dtghwp4zy2dv8m2e0rmh3yxkyx3wf3utkr4tfzgc7g25s82vuqen68dh7c22ajlzmpdcth5rfujkht3e7ngwz22mn958cn27r4rhn9545ausk8h6anzhjwgzcm74hxjgrnh3neppz9hctnv" + "id": "593488109661052467726755481594575140134017119666941824610175902637408678804field", + "value": "ciphertext1qvq9jrk9nuqpr2nzx2mh32kx6e5zch0m6ufh8kkvlkkxq90vvlhrkzmtuerz3zw8r5f8hq4v4x42jh38jkldvjx4exzlnpdhf2g9tme2p98y9fuwxdx9k5gz7aru26esl6ps9fmuq3r46mw7v5vkxp8wrh9sq3yt5g0" }, { "type": "private", - "id": "5035097467630168227991278921839434607318301065406611697204825303354172676313field", - "value": "ciphertext1qvq2ppzyyeu633m3ewm2lqdgfwwqdwrq69l4safkldq24utdckqxwy40awnym6zh9wlj8xlrjd33y59hxdcxcyzwshy63azgrgkjj9ptp6z8vh83tg75jt3x3llh3rffa87h8mwww0jzkyrvqnwl29l38raqzhhu63q" + "id": "2500778685857643949384892874936616904009979754048821393333103514015349884289field", + "value": "ciphertext1qvqq2u549zstta4anufsk7yhyayhgyechacw3t06h6cky2zhcrt4vys6rn4cf7m9v5mzhrkql4qms5xcv9pfl4dsqzcyj9u3gylv85mqp226v7rg5tnwtc0zlmt2355re9vlleax9wtmsguajy026tgex56sxnvppk0" }, { "type": "private", - "id": "3109148890711269717240198425203654896199670775737150587431930251907355097449field", - "value": "ciphertext1qgqrp3kh7la9nlxm40egxt24jejr2ectmqd62mcn0ff3h53ukx6qcrnspszdap56lfda4nsufqznplxtvppz235xajfcle6873fp6ehjqs632t99" + "id": "6456793755424573174421546327320569191729676991013950608067399728025787862006field", + "value": "ciphertext1qgqqvsrqucq7zzlg3nsmvnty2n6ck7v3nt9xde4q45ra9f339ra32q8nl39yuf4zr7gyx9u694ws57cmxdxf7rf6ef5zuq0pfjtepu0vpyqnnqhh" }, { "type": "private", - "id": "3447996801371553589489431006711404704285145545132605837562429319310937719303field", - "value": "ciphertext1qgqtttz4lwjxjq7p96clh2hxrtx5td2ue7l560lkfar50tjvz7eqczssuc84ednrqpphgjqfy72jyfvrq9wun29xq4saaqzwwcszrev5qqsl2ymc" + "id": "7325199356581318011924317746226859082908672473195936267818116137695754823305field", + "value": "ciphertext1qgq0v9tc5rr58ac3gflqlyhr6ljf3te7zju8gduz3ns02q4z52rs5r6fr3c3rhcy3l43cpsq4gz684kxxd0k6mlfnnu0avs9k3nvmc04pu0fkf09" }, { "type": "private", - "id": "4179315389949557972221034662690834255340844818662069583060858921098813735968field", - "value": "ciphertext1qgqwe0cxcnq3vgr0lksfl8a35yg2xfzs4w37tfgxq95m528p3zxugy2am847cst8yns28rc597kcnlet5t63ve7hwd7uea880lr5600sqssxqrwf" + "id": "1276934066753986581283719387620255201958154716484023578924556945388506213118field", + "value": "ciphertext1qgqd5vw54uz2cecrf48eqfdp8y75da7v37dyxkalg2603kmc54l06ypxd8wef8rfwpf48skp604zhqyttcgnmqdj3kj6sh8rr8xlv200zqpxgk3t" }, { "type": "private", - "id": "7074544568976089815141195520130138076375788112249014446171025099287603638590field", - "value": "ciphertext1qgqtrmz8vr7y6fz4pxfhajxll25vyl56mfy63u0yynnhhc3nyyhykz5stnvr5h27xyjwzkv5chsy8sspjmxn7xfftdmkpl7my8cy0jycpv5q5uf8" + "id": "1531533771788448182849984125490814267616584518096872901431797275958463690247field", + "value": "ciphertext1qgq00cuyd0hwk0sust37k5tw2kyjx5ydq92hvf79s0avr25rfzmc5rvup7wf6f38a2fdlzlq52z8y05eztn986nypu2xsn4equyr0guypv9m7q6x" }, { "type": "private", - "id": "958313632876784852272225269005613305565131855402416621487216522082758258113field", - "value": "ciphertext1qyq26nrh77dp49j2gqyzsv26vexcv0jkta52sw0p2j5x8669wrljqpq04nsn3" + "id": "4157239398250525043768678726641013792806116037218895367085168983721696827485field", + "value": "ciphertext1qyq9g2jtqy85qptj8t84zpfgtyervd9vztqv07y8qg9pa8yquulquzq9ya2fy" }, { "type": "private", - "id": "2264863354626464714536241169513669000166947198515329685904170222200233059575field", - "value": "ciphertext1qyqxuchm6vze8t35w5yyka8km0zn7hszu8xdpesvm04824ytd0gnzqq8cz085" + "id": "5416421435788411832322397894594580898138645028261132330869474894765158498594field", + "value": "ciphertext1qyqqj4v7s3zhkj25f3gep5st8tn3gpgz5x7wplx9xexcdmwjxr9ywrq27pjpx" } ], - "tpk": "7187148070175581801597831661253139238780842806009909410350744651206309714004group", - "tcm": "6739455036501078269859996757664752874526116103154388782690763846349888794333field", - "scm": "7964168886618522578771434234344548575480536755334478266355377527925530613310field" + "tpk": "1438027234373008389082891420804766150031857596974515520749454430748013683497group", + "tcm": "8262070316214785433260982443764726793234983148840199118832237920012981305797field", + "scm": "4599527431122919517452894902882328940642972700049567878497271758805292011047field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -137,66 +133,66 @@ status: accepted { "transitions": [ { - "id": "au1g46aczjhadzudsl0w7jm9aqu66gg2vnrnrvagckahuwam26dzyps7pkcg0", + "id": "au1dl8qcrkzrjrzx85ekr4fs7rle762zwxhfayl7apt7y4rl6qpf59qdxyadl", "program": "test0.aleo", "function": "make", "inputs": [], "outputs": [ { "type": "record", - "id": "3845788432821360211034903556116191929155621210174977615933065373810770536576field", - "checksum": "85714252770454180913497732101866920458604522703265628064294852762697962883field", - "value": "record1qvqsqhr9gwuaz3apn8wqfyx8yuazm7dqx62lcgwtstmkgqscy2jfl4gdqyqhsscqqgpqpk5ph6hpl3sepyclpu7kqra3l57778rs30yjazgmywf5g2yc6uqw97ry2m9nywk9wha9346lfzvsnvz9ku48aehudk7j6gyu3gq095gmprxe2ck6fl0d56wxu4kt5kql93z8f2mja9ctf6wz85e0wpdhqzcvfwk9y", - "sender_ciphertext": "1755972144040875339913500019849327820599884490314219267598879286088384341185field" + "id": "1174915703726712964015849188501205792568307406848291157242704047595541466430field", + "checksum": "7810451002688725070570682079364577966465520643801524358094187503444087107461field", + "value": "record1qvqsq8ufwzlc6kwy5xrp2y3er8eue00tt2er7cfjthse0yvmh8gtzrs8qyqhsscqqgpqpdy4g7a507ne4emansesncx8et7tfnpahmw84wdn85eyxyfr9sqr8chaz020xmr8wjpc44vp87zs0q988rzxnd8zu7kg6mhu2rufzsqygtrcgpwdk6x30fc4047u5ux9t5x8ufhlw250uy29uys4u27zszgzdpefn", + "sender_ciphertext": "6824610608858377352903847729160031780059584163687445690454794930567419680780field" } ], - "tpk": "4283552812109946594207195424288900416229734711799066864111078134734655754279group", - "tcm": "8113166147765344151881782786768344638052913047091585026475264810846115463843field", - "scm": "3044285433803002007840220863539389969408561319674307045798515266584885031059field" + "tpk": "947249445680978127555393372822641911084603012898800661273863164677038738476group", + "tcm": "3402758067188881173175956419500286086205803237589395053024928253672183899280field", + "scm": "7942814760642685626169583295385310266854308305988348578211005519995744716894field" }, { - "id": "au1zgu6jnd3020q5nm9tse37jcvlur7z26muvfzlzm5hurlgup4vqxs4nhg8r", + "id": "au1a8vacfps2kx7skv4yfqhaaxztapqllfjxd53kpl0ynd57mgc8upqvenjcd", "program": "test0.aleo", "function": "input_output", "inputs": [ { "type": "record", - "id": "8388820698579893255499381449376711236739359203823657639469576285433414744016field", - "tag": "1179990827724479795291608541888589874318055889433683403113108755889508219078field" + "id": "6034934644880038544819720397659462729628712507465032957662343764853581318223field", + "tag": "5784515610212504373543156877758285500463736460325981719421598304924900569811field" } ], "outputs": [ { "type": "private", - "id": "7095308486812093198776844955786283329826856960253414091676787459778524315620field", - "value": "ciphertext1qyqvhefuc2wph80eqlpnhdsc9gr4k70f3vgh55xkesjjlusakggsupgt5usyp" + "id": "27597710218047556779429772063472391047086302654547497653438441272388221295field", + "value": "ciphertext1qyqqgxl99kmkm4qwp5pte0nznlkvv278xcvx4prnj8w8erc53v7y2rc0x9uyt" }, { "type": "record", - "id": "5268120784124851889523690308813138380318929861413136779650459378213528562321field", - "checksum": "2312802457978450381000901344096051262124251997140788803868737917177082593593field", - "value": "record1qvqsp8raxzdpussfnetjsmwwrvj3lpe06kgcvzrf67p8jlpc9pz4res3qyqhsscqqgpqqhvjpwfc5pdq4k23sglj3dxfjllw3a69g6ndw0afw4zzf0ur9vsf9jfg2fjngrjnghlcfumjzfgqh6fq79dkj377w4qer9qsvv08ucqfu27xxmt047wllrdcx4na2hsd63e6lcfdzmvnrelsfpkqqc6egrsnwc529", - "sender_ciphertext": "651487405592498373020641901572751972330771950790930369860799282683340659840field" + "id": "4397398235610655074439928394987824316587942658199600994230248403404598703119field", + "checksum": "2927213019042417980907704424396990818293470787492239196946868903108281004344field", + "value": "record1qvqsqucmz6e0p2efq6lj5rlwaqhuxhchk38xwm25m08fwvwrgy9dakc8qyqhsscqqgpqp0nrl6k8kgqukmxadtlll0f8vn8e9c8hmvg5rhg04v2xqa55pnq0va2rxq93q40wyq93czpg5w7xy962ngkcehrwhzvn634nl8uu65yr9chjutygtuawkqnc5cn2xd9yyuqmm62jmq5js4mrwy2wcktl7yqxmk6vh", + "sender_ciphertext": "2750049454552192992755773431351499792610280547516914227376243861559304824748field" } ], - "tpk": "1401103507362905690155501596298810286708268526781622176368684736839483613190group", - "tcm": "7806109189455238423755962194014373543014661494131063310154807522839455475635field", - "scm": "3044285433803002007840220863539389969408561319674307045798515266584885031059field" + "tpk": "2369191509577639831999998461320054180592688131849027182054857339777953790870group", + "tcm": "1575265061577381371961408615626989414626931862187702274367853613341614683178field", + "scm": "7942814760642685626169583295385310266854308305988348578211005519995744716894field" }, { - "id": "au168sg0elvadj2nec2d5mykkkvldys5ezdxm2kz3t7fkgumnj5dypswz5rmy", + "id": "au1ksvnqqqtpf4ee4phs0hwz9attgvhcnrpwn7xk8a748y4mjhfrgpsm9xeqt", "program": "test1.aleo", "function": "check_clone", "inputs": [], "outputs": [ { "type": "external_record", - "id": "4662546961465754017042735523766314398799295901076258066584575118858259682479field" + "id": "3785607512485242280068830643243060690641042786638692226259973874604792940577field" } ], - "tpk": "3800307741732779065304438810241067151444406899988624495715607154926333443560group", - "tcm": "2871330501388671456468282250367283560002070126607807403063539366228843617878field", - "scm": "3044285433803002007840220863539389969408561319674307045798515266584885031059field" + "tpk": "5063895169794343871068143050093904883465117088691438186137738682975197222921group", + "tcm": "7016844165670213012305715124880075975839699680756841882618846948225864756198field", + "scm": "7942814760642685626169583295385310266854308305988348578211005519995744716894field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -207,57 +203,57 @@ status: accepted { "transitions": [ { - "id": "au1gedhpdqsnzp7g0sjlxw8jc4yrnlx5l53e08kd630mxmpjn3kxgpqaq82zr", + "id": "au1w898kr603q3fyvw5srce72atkz77au3qafagt2dfjusgnmsstvqqf04vqy", "program": "test0.aleo", "function": "make", "inputs": [], "outputs": [ { "type": "record", - "id": "5192241506175935582941665756602796848744053795397556542066075570705938215963field", - "checksum": "148119615149880229334666117852853038320164816487719064181246339911897536758field", - "value": "record1qvqspgx5z06ldum43ygtqa76v8jl0fcvskyvhqvxqarvmyrxsmu42zg9qyqhsscqqgpqpqwdsjvmrw3thcqdkxjyac86jgeahntpm68c42jetn6pnw3x0zcg3fcjg3hreacd0hxg0uqa7l5p2rywnmvmesc9hq0ssr2uzkqm0cqf62n9kt9qjh9rer5kjazzjmqjp0juuwt9nvqgzk0nq0dhp2j3wpqfy3j0x", - "sender_ciphertext": "7893599893507440877659659941771703390593110313396843136520898068598781592315field" + "id": "1929477367545792218294043192157415865275387822890491157874066345870779528336field", + "checksum": "1443791270077441710101817792817037035511110807092568599641567070055273272352field", + "value": "record1qvqsqaz7c98sy07a4d5xevm4heq0cvg6fw3tqzmwx49jj49kam9ft4s0qyqhsscqqgpqpld39urrvajhg938xwmpnk3khg5vf04nkr60w3vclfasa30g09g8perc67amalrrutvw2nvrzmwelg2exjtcfgkzu8d5f757qwf5lg8q5jsflq85sk6ctc5rg9gagfce8wnpwalqls264xvpwnwhx59h7zqazj6zv", + "sender_ciphertext": "7831630875337157437787910396123716017031131012798457963292946967765738223065field" } ], - "tpk": "2973366951523328606594812583044134534613593005196853752791705135653713335115group", - "tcm": "5261823642110394036511803102721997130399269031590606001808229448108808646430field", - "scm": "5939286582787512727450081402771629670930231749619509452179268691127401957166field" + "tpk": "5433719052787921761094249745331670927440721737701098647126776523261026930953group", + "tcm": "235131630993234824135082073971831541905186076704920465517158901533683998389field", + "scm": "1404052624971030749194589218794763474255304077756366880115188391196481674106field" }, { - "id": "au1fqaugvv46wtcmp2j7yxxq4kjn2jf82twv9hkz5q6n833l5slyuzsusxy93", + "id": "au12jaqgnck3n862ssanz2yaq9m3dvhgcd7msmtmf8cq3rdtcr5lsysd5m8f0", "program": "test1.aleo", "function": "pass_through", "inputs": [ { "type": "external_record", - "id": "8146499534816695301755175033564314105319778428910128086194502765763132401319field" + "id": "6885862914292069970886035864527868821676346591872874340707975518273989912199field" } ], "outputs": [ { "type": "external_record", - "id": "2274382058226504308938230703191084184700589489420095041874523921222107002886field" + "id": "2582758803539990605663438358176118120687172490280074281080448488800894574338field" } ], - "tpk": "1036103228924280164385995508629323209787433067609160558868969796437172713152group", - "tcm": "7570574285332331413396777964767212031182712262955050828424961446554975636237field", - "scm": "5939286582787512727450081402771629670930231749619509452179268691127401957166field" + "tpk": "1992940677764318895806290432576102363745574240362982439274057798707887774580group", + "tcm": "5623067599545703315752888331855325104364108263037096151225707384776391820153field", + "scm": "1404052624971030749194589218794763474255304077756366880115188391196481674106field" }, { - "id": "au1nwgdd7vdmlkvxt5keh6353pa8yw2ykzwn997jt0dn6nxjaqm3sxqs5sclu", + "id": "au1qnk9ntlsrrnnsw8j66tml50j4k6kl795ryj84h78q5n34f0tuv8qe4lz9q", "program": "test2.aleo", "function": "test_pass_through", "inputs": [], "outputs": [ { "type": "external_record", - "id": "8049208106171006867488579564231506145421803123115070138983327220221587234006field" + "id": "5983281695043459798435378649029982640476932593415360504840773477911242646806field" } ], - "tpk": "2873286899120555815006233194577640806746481675080492009695024663792794271028group", - "tcm": "7933975804983968586719196283956321876469958336923258514345708951506245116843field", - "scm": "5939286582787512727450081402771629670930231749619509452179268691127401957166field" + "tpk": "3180879751907461240895682830513000366669729478119805687342229281552336147423group", + "tcm": "5817608975222392001069002279596940558836828189690675816414551938225724488901field", + "scm": "1404052624971030749194589218794763474255304077756366880115188391196481674106field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/repeat_in_generic_function.out b/tests/expectations/execution/repeat_in_generic_function.out index 5d4dc9b08ab..f9abf49f580 100644 --- a/tests/expectations/execution/repeat_in_generic_function.out +++ b/tests/expectations/execution/repeat_in_generic_function.out @@ -28,20 +28,20 @@ status: accepted { "transitions": [ { - "id": "au1ea3vk0sv4jg3yw6k0unxxjhr63w5qegee9vymeftytlq9hf8dvgq5mrrc0", + "id": "au12zatgcj2lky6jpex5m4rl4m6mkg9psed35pccsz8f4kv7cj26u8sjgde5x", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [ { "type": "private", - "id": "5392404816948245181484285248201746184117048331456351962688079545751711345621field", - "value": "ciphertext1qyqqe3p96tkx7eap27qj2ht4ywsljku02y2uhck6cnea384zal3hgyszjx7sm" + "id": "1506652443539293883787093480461163260981159961045255545477354216149350866110field", + "value": "ciphertext1qyqvunhdumqaz4jfftkkx3m556nzkmptanm76nrd7cw3ffgpxmdhczg9psawu" } ], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/repeat_in_loop.out b/tests/expectations/execution/repeat_in_loop.out index 7408c6e437a..2b5e65ccad9 100644 --- a/tests/expectations/execution/repeat_in_loop.out +++ b/tests/expectations/execution/repeat_in_loop.out @@ -118,20 +118,20 @@ status: accepted { "transitions": [ { - "id": "au1rtftwxjwmg6d6ga42gufe9075ea5xwm0xh74m0z4hg09s3zq3spsp499rn", + "id": "au17x8x4puva7kvutput3urcdres0nnjaen4jjqrsnumz5ac492fu8q790dhj", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [ { "type": "private", - "id": "1188784842283278759768021973940793104509066428636390573108010321321684043503field", - "value": "ciphertext1qyqqe3p9qm6k7eap27qj2ht4ywsljku02y2uhck6cnea384zal3hgyslv0an7" + "id": "7069460147703163239536496925972514616582754606898181902956757741522388349495field", + "value": "ciphertext1qyqvunhdrt9dz4jfftkkx3m556nzkmptanm76nrd7cw3ffgpxmdhczgpwa2ju" } ], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/serialize_deserialize_roundtrip.out b/tests/expectations/execution/serialize_deserialize_roundtrip.out index 9587d83de9b..16c2ccd1c43 100644 --- a/tests/expectations/execution/serialize_deserialize_roundtrip.out +++ b/tests/expectations/execution/serialize_deserialize_roundtrip.out @@ -254,26 +254,26 @@ status: accepted { "transitions": [ { - "id": "au1hpe8w2xfy0s2hgemgu57f2kh7wn92k24g3epyr72m734lalfmyrsau3zv0", + "id": "au1mc3rgy845309s4enc8c4kgx9y5xdxrh5u0w6pcf0qmtfzmzjruxq5szj7s", "program": "test.aleo", "function": "test_u8_rt", "inputs": [ { "type": "private", - "id": "4081884297516219446076368051656219870075044015085973967802289159673943932656field", - "value": "ciphertext1qyqtuh9f56s47k7e8h4yttz7y0fy9njyt64yrf740fyf7yzwx62s6rg0yw4dg" + "id": "1655878344132786508223929484898825448269074285780843791772782216653561052445field", + "value": "ciphertext1qyqg2clshnzeqgzhwrkmzugqzsrt97jz9rw3xe0eqdgt0m0k7mp2gzg3ck25j" } ], "outputs": [ { "type": "public", - "id": "4510140671204437369325047317025459334139786631094877890940466168372778781666field", + "id": "1703561257583917805404574984231442564155131271710081323323786488556539546398field", "value": "true" } ], - "tpk": "7876944070910420428493053592200062500765557140452382259388906528075570285764group", - "tcm": "16287571686569870210408876699817464684802840107778157854478379799576621577field", - "scm": "1978260180712747789549826273537097407942173357657896441293311943166097780034field" + "tpk": "6339056315960071473117855017296945183610118255093183005827310103218964856375group", + "tcm": "3036234017592148251081915820672100849751218688586314208949922688191385636359field", + "scm": "5778194975836678670310516378460905386329355018239481693154261129472471182698field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -284,26 +284,26 @@ status: accepted { "transitions": [ { - "id": "au1c6546q7682h4689fhjmadtasagdetlmy6dqnp23ehc40aypxcv8qcx4yz8", + "id": "au1vzl7x7eks0xx242k5jp6g6yepdq6x5x9xygycqru2ywkl4legsrq5jwmuh", "program": "test.aleo", "function": "test_u16_rt", "inputs": [ { "type": "private", - "id": "6069122693982284755345337719580738452215422736447082299709848207748189888078field", - "value": "ciphertext1qyqgwrp2n2hlvm557kpy7r3zwnale5h42usgrpfsykqsv52c75p2gqscddhen" + "id": "8104608703797386671294974820175762523297136178751079390286698893151182016106field", + "value": "ciphertext1qyq2qw6geqhp3gga3f8q6kjp2d3clgzd02qryluwkr9z4tg4arpaxqqge78eg" } ], "outputs": [ { "type": "public", - "id": "2631206062932179846415962969770508048599225859114639608872546431863639287727field", + "id": "8066047957505221997372351497963659998664943516832874721747667568836801064970field", "value": "true" } ], - "tpk": "3824657069378837523173233579068204359022234803648649166524598524125925368649group", - "tcm": "3052034318751852060008333411999105403765180514097422621729934921426438693786field", - "scm": "2460676996120270268704918913775817371281581031579988373744214799101949350106field" + "tpk": "4506154739676051421213131908987504132783860581036729468153352969338690713362group", + "tcm": "7783432001977778415574268201422967627174867498801788456458647791057278810761field", + "scm": "4346100305318102757496766801088230442820449084812844586478027566558055509054field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -314,26 +314,26 @@ status: accepted { "transitions": [ { - "id": "au13ndqjv5a8764hkcxtv87zys2mncj0lq2cgxf977mwf07grvpxcqs9xz00l", + "id": "au17dty33n46t9g63q87fmsgyq26ajn2mdg77lu4vnelxpvx68uyvqsqlrm4v", "program": "test.aleo", "function": "test_u32_rt", "inputs": [ { "type": "private", - "id": "8211077761718514411324559148577956359095506379513205784540847125588567627229field", - "value": "ciphertext1qyqwrpe28lqx8qym4h80qwd57j3fxvp5ta82mrk3vyfak34zryesxzsuh6qfs" + "id": "4300603978368110387802941010640122428850511804591647191322845095647306156605field", + "value": "ciphertext1qyq0wufzsqr7sv8ythz38chms4fjmclhknzf6kqgyxcnmfxdlavryyqsv6qmg" } ], "outputs": [ { "type": "public", - "id": "4378587983913905703252247429787098004487904966001053966655022514572600374802field", + "id": "3009300964950656130211923132390889087413193173267845150668527804367007833942field", "value": "true" } ], - "tpk": "2756286321966627964610487476097168523263576315600125225836935649449422077235group", - "tcm": "6722897575368406946458908254651488036460118431129257652661236915810565906214field", - "scm": "5301801911762929302398497729380483513133491757304294646761503635247727475236field" + "tpk": "6468419560623683201322889239797287432336626845744934610051346400165929766331group", + "tcm": "2263081199683812589071157903478981989893528931474700284140617316738994813669field", + "scm": "2720172684314241039705073686016146948184868980032738387118573108118016000654field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -344,26 +344,26 @@ status: accepted { "transitions": [ { - "id": "au125g4nuy7v3m5jeys9gm32t80kvqtgljzkpfmuqemwlf93h5h7ggqkxprh6", + "id": "au10fc50y8tla2hvzz0f2tm75hk50qh9d2tl2ls9r62l4nqwc6q759qhue3wn", "program": "test.aleo", "function": "test_u64_rt", "inputs": [ { "type": "private", - "id": "7241086262405206056910136980011307879427441614189481547629570446959362067842field", - "value": "ciphertext1qyq805aaw65d8hw88y7tlulgdp6fchkp2jgkwge7ykdmavr4meerqzqzv3kw5" + "id": "6622261909630919956603186040862453010739308751057996366281163856554199751634field", + "value": "ciphertext1qyq02rc4e5r89ygmjdm7zxwxswg7dse0xgkqajrx8jntxwzqaykdxrsdhdfax" } ], "outputs": [ { "type": "public", - "id": "308531448560497437606823759049535818036842692239311025024902567872974974073field", + "id": "6499632839489138184631695336000089433236054751686596276952393669825092504807field", "value": "true" } ], - "tpk": "2767591716758028772782490842793922573070225649937813269172403759950241796994group", - "tcm": "1698192969893498449126139607353182481749014138564498460870014131491789720313field", - "scm": "2138923327872714550979202637208906885252325629562015971654676006215613637341field" + "tpk": "2335661909618660156603551227675951853133285921471468309385961372783471592925group", + "tcm": "4931426482525799727903709436281679204926305434159962515362226000151613813909field", + "scm": "7629099560686417197725098233741876916221512746402449688534878632840037157792field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -374,26 +374,26 @@ status: accepted { "transitions": [ { - "id": "au1j254fde48es3dzcrhhwwxvhzcjuxhl947gjh4lh649hwj468tggsaj9pgg", + "id": "au1w32jmff6nxmxpz4th3ua6s88fp22q0hd9z3q6s24yh4yfxzy9qgq0407q0", "program": "test.aleo", "function": "test_u128_rt", "inputs": [ { "type": "private", - "id": "5679141278605170892485773753850299096084975173760012291983709140464956203363field", - "value": "ciphertext1qyqfsr90y8rkuskw3p0n5nj8ny9xqq3lhthyqv6relxfye9yjgplyrcr365sy" + "id": "2837103057452337162968025086693823902899137094634002540408777318618022745550field", + "value": "ciphertext1qyqqdeg4cgv34pey5lu4k5axv4swf23f6a7dzcfaxar49m4quylzczsy8mdkq" } ], "outputs": [ { "type": "public", - "id": "3482549083302645745365008063801698870025472890117439632124773829926442528505field", + "id": "794236714994379603360744985754773581528505215315630512911083931394713115180field", "value": "true" } ], - "tpk": "1588067622785135883721128769276880249765038832367048777962601982169976988554group", - "tcm": "6462883958595851308454314245444323864394658416276643685753948385051906075091field", - "scm": "5142164768785653589814365719690278048850111347041532410096417126540816035047field" + "tpk": "7716784925495050871117137346805519934227382701831601352556086216481574956740group", + "tcm": "3976237792558592850799856662884160350290966353960181957757538863415005846563field", + "scm": "900175210194176937388086954907995468600352358546031926780323608814299668523field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -404,26 +404,26 @@ status: accepted { "transitions": [ { - "id": "au1spxg8k4r40zjzskq6zn2mnt2g3ay7cllfdgz8qrrprmhff58qyyqu2mvp8", + "id": "au1dw4xsee0e4h9zuw7t0gzfzwppfp9yzha5rf0jt8km85ajzt95vzq56sqcq", "program": "test.aleo", "function": "test_i8_rt", "inputs": [ { "type": "private", - "id": "6062299853643336172083016104889369059385844600015101283981081126188445690944field", - "value": "ciphertext1qyq8u6wpllkazrfccd2dsj2h88mqqftl6xwy7928w95fwnpheuamsqgg0rn30" + "id": "4340981387533073484099113964649316237122921857127289981117256340201390920468field", + "value": "ciphertext1qyq9dyq4kwvwxg20y6de4qfxtxdupq579w0lnyr9kdansl0kw4ty5rsl5dgkp" } ], "outputs": [ { "type": "public", - "id": "7244693515181749836213854641671962350339734556164005267093515268127284670274field", + "id": "4909329822688572436489125686503080268390359925952788257394039590547555743706field", "value": "true" } ], - "tpk": "8071144647480217512341857878382188904836745067697504522386248523045011914354group", - "tcm": "4532670088817688896366994058937424360290928472765218677213349239057863416548field", - "scm": "6291144134219728075950289747763361633208839336246347998110988193057492264902field" + "tpk": "2284587818093763754668741406728150039250604636696309496340218219215034321915group", + "tcm": "3973109103814879755955821279985282503781292530774645268320610401227960103674field", + "scm": "1504454092771353102322094638554136785733698106676666874380020154540144485703field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -434,26 +434,26 @@ status: accepted { "transitions": [ { - "id": "au18ee2u9qf7l4qnfxp7v304k70ynpwuc2zm8ts8rltl43v32p2nsyszxevjf", + "id": "au10pfm3yfnlalx69fl32gvsl4s7r2yrkphp29a7twcq3e52tjenv9qz4udkp", "program": "test.aleo", "function": "test_i16_rt", "inputs": [ { "type": "private", - "id": "6062903972051615228358118609159862907316101001696240155010688234576588928858field", - "value": "ciphertext1qyq2dr9hxr809g6yul5zhqyva22cex6l9w92m2jhq92r64pt0xlx7ysdqu2e3" + "id": "3651423731073051939513408785501717829182656667263274204964382451844658010937field", + "value": "ciphertext1qyqz2kvdr9qxe4mg3kqzf9xtzesuem3fweeukhxm4fjgueypr2d5wzse3zc3u" } ], "outputs": [ { "type": "public", - "id": "6891757609487747458373910031504836329666366545027743771330895112394756840281field", + "id": "6026823717740093396930592242301089845423295999860079866419382681590041031452field", "value": "true" } ], - "tpk": "3402334299138730401023879886857304596266662627001562114959447335894434956535group", - "tcm": "3745857842314981810442182429549944103319203192381581400469031438897835647005field", - "scm": "4498855548735521316060518066589171792525276618855802961105058267485655131020field" + "tpk": "5776750840003027850311935714826364237585056348608894154968969605464824938811group", + "tcm": "3522673613634670903190023332659643248115631471344454619847323884747331335484field", + "scm": "7515816976867998987023434987731598914963995853063307021040138996613739257650field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -464,26 +464,26 @@ status: accepted { "transitions": [ { - "id": "au1fw4mghxu3p6r8jctwdkact589k8xk433jhnsw49c9748h03pryqspen75n", + "id": "au138uztuv96l7w82y2tvks9akv69yz6lm56mvyepq7787rps8tduyqylgkky", "program": "test.aleo", "function": "test_i32_rt", "inputs": [ { "type": "private", - "id": "1038799931156256682644522495565239881831811598294375120195346498067886964748field", - "value": "ciphertext1qyqw67kdfmqa2dm0rlr8f3p4u7zt5gxxc9jyuuj75mds36svpau46rgfk2a3s" + "id": "260539439539148960870362339950443326334215957249115060816269041461646497567field", + "value": "ciphertext1qyqwq7nly9dyqaus9c86gr4daysswpsz029lz9fyuusyf9j8sjs46yg5ea6ch" } ], "outputs": [ { "type": "public", - "id": "4900495458911419923989948911288251255798711438525319531633768233046567905094field", + "id": "2099282557300888128101096677029040816159120865187314841081239671826135961245field", "value": "true" } ], - "tpk": "3387303374505896473877668637106107346767895910987276346802198544201572117668group", - "tcm": "2546498852373386288163828469425477263579630970682611884777948504415880746415field", - "scm": "5474360474828379483988240434179393947418392152672078857887230801687149306240field" + "tpk": "7492584589043757721454052221283103604384036778405731732154450127895003865444group", + "tcm": "8439897264858851298789989156911842506771664861258931035651504099532886279304field", + "scm": "982096621682478151771906800478028803243774807127374776119053196686909413826field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -494,26 +494,26 @@ status: accepted { "transitions": [ { - "id": "au1jm4n2eyxq6rhv9sztj8q96ugys9wdzu0muaah7x9sup8dxm7t5zswyxvn4", + "id": "au1rzc5u07s67suaqppjvcp7kyd6h7ute3vffptv8vxyaympzswzurspfdtle", "program": "test.aleo", "function": "test_i64_rt", "inputs": [ { "type": "private", - "id": "3237455148787660333396061546483368240982019126077539596818370575526010248070field", - "value": "ciphertext1qyq27t7a0l3rg0w360a4wm5m58jf7wcskt0dwm7x7ljtsstf5a8nxps604eps" + "id": "7801907067315513524020905182608579392093997247312512772043761429799892384764field", + "value": "ciphertext1qyqtqd0w6ucvw6dywq89hky4r7xcdjw5g7zwh5agsmhskf25vxy4vyq8ycm3w" } ], "outputs": [ { "type": "public", - "id": "5997897295760449803379887374832766146837291946309935716976922223168319280189field", + "id": "3195809317985467191573574819299314606521239598549619770048345714925514866847field", "value": "true" } ], - "tpk": "1734928877271558704488237785090613184654927808820441453619780134904427847844group", - "tcm": "4421539820916669543216347175130716736888247692178306109740314186287956912127field", - "scm": "2363666120256425740741494147632306836639179442768279396668514405624887768844field" + "tpk": "8271403996835732096371609385910089275684468556596545835574290221591666631021group", + "tcm": "1311816302680025866495676019245785816485828478210180057865596930507952251821field", + "scm": "4561341650131803728330194673293112573779365651204612493209137380125824280638field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -524,26 +524,26 @@ status: accepted { "transitions": [ { - "id": "au1aqdzynlcq7ut5fl8rej426xurfcr9acd6mnjdqy2w8f5f0v0wcrq650hjr", + "id": "au1y2exe5adk7nztyfnud4aw3ltt3tulg8x7f2mpxqhra6sllv6jsqq07cgsc", "program": "test.aleo", "function": "test_i128_rt", "inputs": [ { "type": "private", - "id": "5280467446101483639487500843958568697355393227862791102491785221167680143912field", - "value": "ciphertext1qyqxq0pzzd3g4ujt3edsudkpf3fwx5nelpama3q3hl90fkgcdqdpspccpgew2" + "id": "4185752730125003300922452187097916469494321198763072883415606909695698926491field", + "value": "ciphertext1qyqzymhl0sxe0jn55kdgt0mpxfzyqms4n8jr5szdwqkzqvqkyfwl6rq4s9ze6" } ], "outputs": [ { "type": "public", - "id": "7013855316688861927684203147179014711502286546746047488999871039716802784766field", + "id": "2193398268919219898323039408512167128200740763515637924233536085483823859279field", "value": "true" } ], - "tpk": "7813342670848865858095903389961009671265193542219611555833062512880646690282group", - "tcm": "6302292188140235630437179779711287781920621170434220039541376672737012542791field", - "scm": "4254825784925797899846978283925820432824537817959271418497708018208756220308field" + "tpk": "5126532096481592512891573950899484506190913749970645630535990784786042511300group", + "tcm": "8077834158415135936343277853218702290105311914397444268404166081134148261745field", + "scm": "2986548713039621436741610077752032731753474236003933526151448473990450266399field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -554,26 +554,26 @@ status: accepted { "transitions": [ { - "id": "au1q6h6qrt73afz3tnhgsrluw8y2svrr59q9k8pwvm33zvcglpf05xqm65zyv", + "id": "au1dav73m650ugwutl2rd57ayndz2vxhg6cxgevdlnwlg4xaku3qurqvyclgk", "program": "test.aleo", "function": "test_field_rt", "inputs": [ { "type": "private", - "id": "7917863388340691942899721671760719491465432241251572733670519925264934150815field", - "value": "ciphertext1qgq9m72tqud9z42qpq58wap305ugh2w42wx62evhfyd5k6g3mmkd5y9a98htl9ntdd0u0qnwuznafscqay27qj0z03pgmycvzt22yc9vqcdnw4ul" + "id": "6064956096023677025728704234926324935351693241034475638955998710912782849685field", + "value": "ciphertext1qgqpf8hczcv7evqvvu9gp0ey803tcd44rg656gahewmk7tx364cajpl60wulrdxl4xmvnuj27edtuw67sjuyeulvr5f6pv8u2j993tpnzgj8wdpn" } ], "outputs": [ { "type": "public", - "id": "1940551216318949624917624049476826213431011617395906067370881812840657065411field", + "id": "4563586628508212449647371649700314640959652988181117907309778480539535147550field", "value": "true" } ], - "tpk": "3202315969071736947184398779326168816885486592164126226565554851719387680470group", - "tcm": "7075042451971555764659665551177501735154206787285005853566698196451334617226field", - "scm": "8070517259236564989356371635072759003713188779544958616160010653130957025614field" + "tpk": "2653730740196635102273756542513777120431275184580588146706020297093378254443group", + "tcm": "4534142450412575651670765220146751111373981109807168897954986389507806114113field", + "scm": "91859560821036146410848785610183817220840728754712839281705599610321061167field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -584,26 +584,26 @@ status: accepted { "transitions": [ { - "id": "au1fc83tt94qq06nf06v3j5h9a9cmrj94xd9sugdgsvu0r48hecf5ys7r5u85", + "id": "au1m9vx7y5v82xsepj3mvmg9hmdejf668k0ljd6up0hn4nvq392tczsrwer7u", "program": "test.aleo", "function": "test_group_rt", "inputs": [ { "type": "private", - "id": "3253248271376612926417656438133313066527378615816572655727765950786155573663field", - "value": "ciphertext1qgqfhdah07wrjwxacj5f6fq89ym9e5pvfpuzsawa78uwq0sqsvfgyy3fuq8896508dv5dakqgpq97utmfukc3m6dn2rrxrcfdjn5m5ccqcmcxczw" + "id": "4077951139373927930506254421504690120800202830090705505536846536958840609373field", + "value": "ciphertext1qgqrcsayq6hnplz5u4xf8n8wh6u48rd2jlaf6s0ns7mvg8lhqp592pna8kcjphkg0hfpapa0s7tx349g64htuc0tr3z7ylc4vgmxwnu2pqum97ww" } ], "outputs": [ { "type": "public", - "id": "4258877442964202976825760313823795142200265353421821408956996875472804771810field", + "id": "2791122204102456881962718475312829303184574598092374563108428955973913677539field", "value": "true" } ], - "tpk": "1645490072112234602595126950428553514777390741273464533388170884779871036671group", - "tcm": "4867977297093600674536088691664438195479589166984041264430089336205297141803field", - "scm": "5985745149311343321857781837391531064236814674855167470895377459060697586351field" + "tpk": "7584900103921751599106428304117955141962788764010910796192680383245024866627group", + "tcm": "2245637846430052491103551338696748565174230268851396014236766077559764114825field", + "scm": "4359951962332589013560084207662199023419414842382295412002561458049953399883field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -614,26 +614,26 @@ status: accepted { "transitions": [ { - "id": "au1u0j9eyskq7ngyygexhev7423zpzlffrykme85rseh054r9l23ggs600zer", + "id": "au1n0keqsjhcumczchgx5guyp0slmvh68klsxhzlgdwqdxfrc6quurqmzf0v6", "program": "test.aleo", "function": "test_scalar_rt", "inputs": [ { "type": "private", - "id": "4159703323726048578175131924614885064909525739677890642492244775053118557553field", - "value": "ciphertext1qgqt2kp40t8tcgq8jxlppd7m3xnvfkg9ma6spwqdy9h8xfpjaxzvuznv34e8cl7uefsrwqc8v5xtypj0av479cp4uh95qlze3gtvmlmeqyk9lh6m" + "id": "3033055902094433388564698953301039270065887023971043552732256497218224675338field", + "value": "ciphertext1qgq8v4vswreny0xgp77a65e8kka8m8wpdz8lxxux84smhjssn6cfjpsa2w6eg5jvyfzprkzkrjj2fjsaj5pq7eq4p9vdsp29rd6ajyasqgq5aj4w" } ], "outputs": [ { "type": "public", - "id": "3493578005738857166277099192563797456846215886373695697225534694048241708488field", + "id": "4437297504890163355972158979676320881343311251926988509554326760472810789504field", "value": "true" } ], - "tpk": "2419426789255317422571350742041594421472614445564931610820504368710011013579group", - "tcm": "8294785525151230935443325296961593985195149971544065265138831073343439199868field", - "scm": "8212268176595410861079684494168490129653043943930523883997165546543814378884field" + "tpk": "2762966837588441512717290576892895984300609845104130517225380014051970810010group", + "tcm": "935491653631713041007786043266579898795993475063437384286213305896812068937field", + "scm": "7747386432041015129619635983224941113602231614690342924452761029258156624980field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -644,26 +644,26 @@ status: accepted { "transitions": [ { - "id": "au1g6vs0t85psugzeuernk3ws24cejmqfqxna3wltthu76zmqpv8cpqxqp7fd", + "id": "au1j5mgukc202f0rleuphkkrdgpwsm26fyg7qtd5flql7wh3l435cyqjnzw4w", "program": "test.aleo", "function": "test_address_rt", "inputs": [ { "type": "private", - "id": "8298413309495259710069461877257899037742493344371667952920024492214570898772field", - "value": "ciphertext1qgqdev6yprrx9u3lfe24qkqxunw8qcyazmxn234050v7g85m0jew5qy2c5fh3mtkq83gd34h7a6d9ng80xw84qlvd08savjr5py97avqqy456yqm" + "id": "4119471420494633784697600665596863389509845155404464107200606505027989933901field", + "value": "ciphertext1qgq8zgqmzvmnlrd84xnrm9p44y64dn8svwyw5rqtmrjw0px8vhj0vp3s8cpcg2t07pmtxjzsmztf8gsghehg5k7x6v7ry4hngjt7s440puw52fjc" } ], "outputs": [ { "type": "public", - "id": "5574034600715953122566411542307476182403623312689671962889389260748489724508field", + "id": "7707755252582328060148422800449921251572257068235358087733771793515569654633field", "value": "true" } ], - "tpk": "7990034531807168033390569730262702047365083858347230436991737777681592073648group", - "tcm": "322357725158638891781571931459062043111734151392058548503496324189760760255field", - "scm": "3640060886494183189143487725302065987366106845111032907862978746458185326563field" + "tpk": "1971170128175418166190465811264404399290272471935699783156123007709892252620group", + "tcm": "6382757499943714779826942917735331097953739047347736194132877723392746581510field", + "scm": "2934675189830181470832595770516857053321593691690659410461234454514709844007field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -674,26 +674,26 @@ status: accepted { "transitions": [ { - "id": "au14n2xg002tp45fm5cwfza4w83ewwxw2sz7c8zvu5e3tylpdrlks8q9z845r", + "id": "au16xupyle8yz5ne9ma8cfvgssyzpt0l3j3d99lx3nw4dcmqhn3zyxsx42a7g", "program": "test.aleo", "function": "test_bool_rt", "inputs": [ { "type": "private", - "id": "7324431056392770128322449655995689275564592693047134919431984985925505281102field", - "value": "ciphertext1qyqfygs9lx7ms8q4ky35ddvup6xluta24gu0fs5y4v2nu9gtq5sgwqclm08td" + "id": "4972459422628391032627498071025251520258529744759218087637010706256699787360field", + "value": "ciphertext1qyq23caxgjczjtz8whzuy02wywrps69uqjw3ay0883farnh42kan5rsaekpng" } ], "outputs": [ { "type": "public", - "id": "4777359100017802378644011665973288780167538751070059203259993540937339283151field", + "id": "2705776945687965367006447588555573952147082639961152337358422775711646410817field", "value": "true" } ], - "tpk": "5086706576704598051068761188934706720487630187881768837478840929784097452053group", - "tcm": "4386519576381734331112867395476998048053978941037996682637413232032177200371field", - "scm": "2326217545693757611120772456317609751369042509417858149268950677620175534840field" + "tpk": "7162569760743692093314969731352338020775999671060328406064144903485767139845group", + "tcm": "5102973516181171891160254302359147061313025513532322229142702568314059559540field", + "scm": "2313753545393567889817830079382399683243435469189859622475436427499528792633field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -704,26 +704,26 @@ status: accepted { "transitions": [ { - "id": "au16j47hmvukqhk76ung55yyd839l87spjjulwhszlgljynue0krsqsf8j3ec", + "id": "au1lpr3mny6ywrchkrx8v843904rpnd5hk2dsg2zmdw9nk320xm9g9sgfkrd4", "program": "test.aleo", "function": "test_bool_rt", "inputs": [ { "type": "private", - "id": "8234978771469584255270647630753901660754172459505909104430053671961331889042field", - "value": "ciphertext1qyqq52jtf5xs3a7fk8xp5xx355z22sfray5nudmga32k2flpas9zqpqsem7qs" + "id": "3797129213038338785715377063928055611648847794190871019604359883216636864940field", + "value": "ciphertext1qyqrpvcuec4n63p0cvjr8pu070sdw00s29nuwlvtmle7tuxtwpmc5zshpg39s" } ], "outputs": [ { "type": "public", - "id": "1891255279984757671371574380411597368671007888707780212246115241621296091877field", + "id": "5577306073989764361361867295910418459526911815589603036091411251856076414497field", "value": "true" } ], - "tpk": "3877077456974590945087347219640473483315788168051920991393266811621204172531group", - "tcm": "4871540939700955238182948427221282067327551778030157592805262355890470496078field", - "scm": "3589770683278486117066820840610740222057898258785650237932818814977050685896field" + "tpk": "7011992122321380796774666896653828597057961703184225172784552316371351346082group", + "tcm": "5508924881298963155500357287849278253402569932212681780562510899594825498725field", + "scm": "4385232023568725406349358327473248849742587457661839131543183806429015268063field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -734,26 +734,26 @@ status: accepted { "transitions": [ { - "id": "au1jljmznprevt8526x8gnaajg448jmrtv73wx8w4h4aatsyqf26qgst3v6cq", + "id": "au1xjjcrmaf9ld45cyzak750x57s8pl40t023a5c0qhlkl3889u9yzs494728", "program": "test.aleo", "function": "test_array_rt", "inputs": [ { "type": "private", - "id": "1659125002222997028436451693387882386516419196786974823719508936589337122419field", - "value": "ciphertext1qgq9l56tcl22j46cha4nutw9knrsymqfvdhm6lch08m66fu0w3222ztuxk7lv92xwkdn7gvm20zhg3f25lr2uvay69lus8ytwlgpht98ps2zsys2" + "id": "3922634843328959699220307023014631032878576788065178527611158549509559381484field", + "value": "ciphertext1qgqfdxyfu8cewuxny4m8lmma3c47jnc8pt40368jplr3rdf253adjzph82dnxxpfc0mhrh4xk4sqpk4zptwmkvntk073c7akdj4hdg59zgscv2yy" } ], "outputs": [ { "type": "public", - "id": "7269194076190267662467810606974562880110966204045957356407312527655861446475field", + "id": "3185956880301790593620795243310384530715871816182443885680491922233271759636field", "value": "true" } ], - "tpk": "7020813061286554242915062643228486242063487943020836010514867496057979203102group", - "tcm": "2928897449632771074344760745594894522493332835508790186325224975354233249502field", - "scm": "6794683842830708942114150591933329566622339262662054666233640665724253968749field" + "tpk": "1971981032192974003076369038234237312484328109736859006293613506756858080877group", + "tcm": "765407649500186386128271555858984972881946446130582245835922859733636027246field", + "scm": "1083760314542105324804321138897338644711873954418090930427868262354393090969field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -764,26 +764,26 @@ status: accepted { "transitions": [ { - "id": "au1j9pqf0xyayv4jv0594z69t99lw258psdwm9qvtg0pe6ft4qdtgysvqwqdu", + "id": "au1fc6r3dnaypywahwjjlm9lj4n7hz3p5q36z73r77zchr7f3y7lc9s0athxh", "program": "test.aleo", "function": "test_async_u32_rt", "inputs": [ { "type": "private", - "id": "5068383721466452697095360689292434634334943644134080089315996282542944266684field", - "value": "ciphertext1qyq8lyenxufpjdlsfnxsa36z5crt8qz36qf34qwxauk53j64r5jukrszw5umc" + "id": "1458646923983318655697678662497235147585365900822381623579308668730978488155field", + "value": "ciphertext1qyq82t6y6vqchgme25euh029vpgp5zrvn6zf3snk5hh5dfw5d2k5yygxy2rj3" } ], "outputs": [ { "type": "future", - "id": "596460380407257653448468408617215293155181566132246645559348180612489513102field", + "id": "4875749774323068751843083971659146299971628510426453096582399075055579662065field", "value": "{\n program_id: test.aleo,\n function_name: test_async_u32_rt,\n arguments: [\n aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n 99999u32\n ]\n}" } ], - "tpk": "2082969224208955613094149037482982435640235834384265496599211994320135690050group", - "tcm": "4059522630017838257098280203820300909275297333030227736861147311892932805681field", - "scm": "2954220094662363140928814910507407557394786590452022869630459125978357855742field" + "tpk": "4663516314149528138132288824683025633943043025444110785111235285285329848248group", + "tcm": "2292766167691720508098504283395229543797163598640303467663956921547920620687field", + "scm": "3453172088270417916047291134280045463078302978733492842924752822054685841455field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -794,26 +794,26 @@ status: accepted { "transitions": [ { - "id": "au12mx6dm8g45l4svhaxj3ud0vp9gq2008dt3unmw4azgr33t3h0gyst30q6s", + "id": "au1fyf0888sy63q0tcmvq6aph8kyz4l7s5vc3eudcnpgv7z789vfcpshkc0qn", "program": "test.aleo", "function": "test_async_field_rt", "inputs": [ { "type": "private", - "id": "375475992696861674033476819924878735581466976405770498112340885531264556070field", - "value": "ciphertext1qgqtlv4p3hxym6g4fu7zcs0ecemhy05ukrly6zlwcqdr4kcjap96spaf5ry0v7k746h3vwkendsc5qhuzdjwj04zq708g2cz05s79uh8qvcq95nl" + "id": "237285561107661564093931177294028357966507309691308529235823503839889029722field", + "value": "ciphertext1qgq966sm6s28p2nhq8n983egtd68mzprfyczhyccr7rc4av39efmjq77per7gqzpv5medq55vqjqj6ut6hl7v7ajtmscpxy7gqkcw3s7quawf472" } ], "outputs": [ { "type": "future", - "id": "6399093731803599895830633084682443973363177058672783129634088360913218856625field", + "id": "5621804933888527705954713216269382449970853400056469173440654871466597932603field", "value": "{\n program_id: test.aleo,\n function_name: test_async_field_rt,\n arguments: [\n aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n 999999field\n ]\n}" } ], - "tpk": "6454861120913474848510611793364988880847455695453204967312805731485940700095group", - "tcm": "5209191786548120011132765956488402892804476487990816559189216403594012272126field", - "scm": "241550639445309149682719228726482297626551927379458560296449580747258738794field" + "tpk": "3235011441442032559490314814570796155614188649973141623033517326519005739858group", + "tcm": "8224218385620256424399903723226839739018947845564130262606579529423804727774field", + "scm": "139618909311354085897437786197675226092400993545948242031395142909815834074field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -824,26 +824,26 @@ status: accepted { "transitions": [ { - "id": "au165njwxr739yghvhys9h3hygm3k8fxqlfkdumzckpead8sye0x5zqjdrspv", + "id": "au109z7vc2hyrve24cgwuw0e7e6dydavruadgxpsch2rr2hcyxgn5zs9gvyj9", "program": "test.aleo", "function": "test_async_array_rt", "inputs": [ { "type": "private", - "id": "1453999430544752387919378177843712298105200203008113009667630860339312781000field", - "value": "ciphertext1qyq2cj9u7vlp5xz8rfe0zqgecrqapm7fcmpuaynthzw6sprhm3n3kqgts4c5k" + "id": "3552190283572703196589280939327788602835465474329387225294677011822921809695field", + "value": "ciphertext1qyq9wtgdj8dsvr9htrtawpq74680u3gepvj00vc60f0caaljcc7c2zs3vujvc" } ], "outputs": [ { "type": "future", - "id": "6349614489257995051284122688808397874116623451684261159389027475637190535636field", + "id": "3198497613863077882522594494842549650674280846639624548242925132817172068323field", "value": "{\n program_id: test.aleo,\n function_name: test_async_array_rt,\n arguments: [\n aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n [\n 100u8,\n 200u8\n]\n ]\n}" } ], - "tpk": "1042228935504084119067486934521325204441278309537849205058627902892769437730group", - "tcm": "2406896572831810164753172200909239030292588154441341193117644663861650224808field", - "scm": "4370113655489103001513997876880988551677871783721287379197323696899293709922field" + "tpk": "1896266822040991040334702249578418741846902445318978506090660699775557716769group", + "tcm": "397717834114676107000918385794606348888283589201506206043114143454826681133field", + "scm": "3217736913348985029225510996809756163485805234663169490666073964990289326314field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/simple_vector.out b/tests/expectations/execution/simple_vector.out index fe75bec8bc8..f8997197d55 100644 --- a/tests/expectations/execution/simple_vector.out +++ b/tests/expectations/execution/simple_vector.out @@ -189,20 +189,20 @@ status: accepted { "transitions": [ { - "id": "au1zk8pmepmc56fy0zjk7h9xpudsgjtj4un07tkt83ntywmuek9l5ps2nfnaz", + "id": "au1ggx6vcnuulcl9x7ksxceqjak25e7q6j7ml80swzcdkv8xk7ydsqs4ln39s", "program": "test.aleo", "function": "test_vector_ops", "inputs": [], "outputs": [ { "type": "future", - "id": "3658718800749331249857768158928798052968410765669203454913665106390105323692field", + "id": "5142027608027802576574091123989065072230784639079368114688070529765585579166field", "value": "{\n program_id: test.aleo,\n function_name: test_vector_ops,\n arguments: []\n}" } ], - "tpk": "7668228684123037423290651560053952673915692174949790925270972374410791078537group", - "tcm": "8089269036654755001611186981136362217206084894873779054625214100448097339808field", - "scm": "1638739047108859317620099961517242030170531606591472519286466790218560082596field" + "tpk": "5217821421448171708893898476226701758596729091010258404483505858728239780855group", + "tcm": "7477948332296478291944103795851273885338086131076721669399703348779096173412field", + "scm": "7818509915162576913905185694457516827956104433621406862264469146739101113482field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/struct_of_optionals.out b/tests/expectations/execution/struct_of_optionals.out index 47c82a66f8e..32c8d2b8ad1 100644 --- a/tests/expectations/execution/struct_of_optionals.out +++ b/tests/expectations/execution/struct_of_optionals.out @@ -56,14 +56,14 @@ status: accepted { "transitions": [ { - "id": "au1a08fe9x3m8lp75awsakndatacrrre4umk4ulqevtvnv4rys3jygqhgpy9p", + "id": "au1ckphq3xugfs9uqmulr7lpgr8khh8xynjexpqz5tl5gc8xh8wmv8q333uf4", "program": "test.aleo", "function": "main", "inputs": [], "outputs": [], - "tpk": "7620047334465816648891373867009187094715983074414026856376035435616644506419group", - "tcm": "2478511802095008621015276834365359730432320171771269952219059425809151001950field", - "scm": "2706670216255850145436332135370305709954853150833440135126124075813370157058field" + "tpk": "7123952565308361782425118806567569311947872659430657577089075139960496809044group", + "tcm": "3430153062966307368667492658394481071261290275135194011244039535987344183460field", + "scm": "7993060580658647071301743353487598175709151124808046335968749125416260434552field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/tuple_assignments.out b/tests/expectations/execution/tuple_assignments.out index 79d8f8798c4..8d849beec41 100644 --- a/tests/expectations/execution/tuple_assignments.out +++ b/tests/expectations/execution/tuple_assignments.out @@ -34,71 +34,71 @@ status: accepted { "transitions": [ { - "id": "au1vz6erks0cj65vp05attc3gen6ljuwn44pysvxzrthk28auhn8cgq2wyls6", + "id": "au1pc82na2az9l5whw762pdt569vpn4u02d4034vfhs536h3kjmps9srage3j", "program": "test.aleo", "function": "main", "inputs": [ { "type": "private", - "id": "6809811781926087316944022989392141581142912954946964718834002179185225435576field", - "value": "ciphertext1qyqzy0nrn2ds42wsq0nmuzkknfqtq3xqnv5r7vm05pkaec4j7yxr2yq9hmky0" + "id": "1592526997339725329508250254502902425719640048661729149988886773580358843505field", + "value": "ciphertext1qyqxl5jjcxwa752e9475zeymz6xmw4msqm4gzhnkk5yjkz5cgn76wpg5jfd8d" }, { "type": "private", - "id": "6924059708137861838807029381046530334465679523775718675322058563034729377033field", - "value": "ciphertext1qyq0p6vhyjzwmlr86shhyz4zy5la0tgfdvl5uqtrwa653yppzz4qsrswzkyhr" + "id": "7692686843167107233083755288894042706472476890486597606666487401613515562639field", + "value": "ciphertext1qyqqylmdu3dkmn0avjuljmxr73hg456ztcv9a7c65ts3yur9v0udqrcr7ammv" }, { "type": "private", - "id": "1943585245806046367732569340584830861284541464747553871379795088204717555358field", - "value": "ciphertext1qyq95pfga0dhmxjw2ud59trzqlhdkar3epestnry67e5hvqsxdl2jpcxhr0rc" + "id": "1578328126334933266432434644916084751962924544120304522900139871410152124160field", + "value": "ciphertext1qyqvn5vjl5pp0jrn980kq0napnnjltynys0h0fa0afdlasdq7pzsvzql9te5c" }, { "type": "private", - "id": "3581870338996009709622089884335896961746485809160059860353654140965989724616field", - "value": "ciphertext1qyqp05ztz8yg8evvzg5h3nrurscsaljvtnzfmf0znpj9v947s853qrglnrnuj" + "id": "6152417120425464494119089678644332223164937568921441710515548818014125449173field", + "value": "ciphertext1qyq9cr2mpv4qw2fn4wnav5enpnzaqykaqzkfv7mkrsp8r5dauz62xrsscsgte" }, { "type": "private", - "id": "6665090782917062694175746770766625445395309832010172820309613642638143515875field", - "value": "ciphertext1qyqxhv0regzjh3s3v8eyt0psccferc3v6d5z490dhgk0vgk85ww9zrqhrl776" + "id": "218284000524813526589378316082481730370135990686901818529532374676947520937field", + "value": "ciphertext1qyq0hslt7vapluutg6z7ts6x47g2axyqa6jh5mck88n82j82exp56pguuemsc" }, { "type": "private", - "id": "2283978652807650314536757539985160551670013387179688986478091809078463843555field", - "value": "ciphertext1qyqwz0vplg7fd9tpfdz2y3wmtld09lreeyrtmn89dp5wjc7swscz7rcmqna75" + "id": "7844381209798681074935191899165401254370330508736546960994138880800818846862field", + "value": "ciphertext1qyqq9ngzsng0qqzn5mefma5q5xdqaa4452z8yhglrc75jmx5p6l9jzsfqy46w" }, { "type": "private", - "id": "5330224736751973773468947622450826321764953711520437098333509915489035559042field", - "value": "ciphertext1qyqykye99ddmcd30km9u55p82yvzsvc8auhfk3xmd2jk8judgpe97rghzkuhs" + "id": "3084510449941518096819147977227875876415469605282132044689936725304100402640field", + "value": "ciphertext1qyqfd9raldyjm7ggju4g30a8krgwvdwspa3xearlg0rja5gt46jh2pqagcgw7" } ], "outputs": [ { "type": "public", - "id": "6645040285020951948411222399432348453810059613376404925477629517839899294862field", + "id": "675128533830166594638804109614319229004136400090786270444013545309054300287field", "value": "100u64" }, { "type": "public", - "id": "5472518285384255319287543073789188694166636484709471699315122898558267897663field", + "id": "1481319786745120169425972030319215004902534821103648140866368729181906044838field", "value": "200u64" }, { "type": "public", - "id": "92539139363571306115614654108962748231188673873982260629996028150199401595field", + "id": "1592148600669716605755409346531006360797703005876312786659310862422309353577field", "value": "3u64" }, { "type": "public", - "id": "767076281214894934477491729120580040075117491244422376610801749359371963613field", + "id": "7952755529645262001542099068256479518920843919423008378292762784672324181729field", "value": "400u64" } ], - "tpk": "1444645341092403476487494476002418697100335155885101952479391639946017180651group", - "tcm": "4022403563861184297614023962235527543582740910367521074490491735545033214384field", - "scm": "3417975694024015777881958321467766515389598186664770604065996729417176359954field" + "tpk": "4776493847652374036953878743275247603887766963683842665591894882587929366554group", + "tcm": "2965825740003023940880560375866234422747788197171527504503483823678492631279field", + "scm": "2993722371737003245439880291008002303022580827026067174098558170152275208072field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" diff --git a/tests/expectations/execution/various_storage_types_none.out b/tests/expectations/execution/various_storage_types_none.out index aac93b01c1d..bde55764c57 100644 --- a/tests/expectations/execution/various_storage_types_none.out +++ b/tests/expectations/execution/various_storage_types_none.out @@ -422,20 +422,20 @@ status: accepted { "transitions": [ { - "id": "au170l6h4eenevpr3wum4lyk0qc39r90798dzwvttv32qjg3hmfzuzqn5kgce", + "id": "au1m7flgn8wsngrlddkm29qmqwuw0ck62usd9pt28nlutw8rhtfhy9s9qykqw", "program": "none_cases.aleo", "function": "integers_none_behavior", "inputs": [], "outputs": [ { "type": "future", - "id": "2095925180209713199495646627871384963764668832869742961291273749504346404654field", + "id": "777140877736849336161834954955944431817460366791053646315305040572413846448field", "value": "{\n program_id: none_cases.aleo,\n function_name: integers_none_behavior,\n arguments: []\n}" } ], - "tpk": "3022496656438010606968518214019228071427476203961393223135090775396129070309group", - "tcm": "6897127509070331044629860789328838195880936054281624579606448337161162518852field", - "scm": "5491189826715932332587847370196368720755861859061735515466113261967513141909field" + "tpk": "3199748747054738424626228063868074142808562583917491536865402288373943719377group", + "tcm": "2291111946200208727321253641881848352116006664469168962589868922316813131029field", + "scm": "7229553028399955024499868826362858708037084464951260991059469723893306049124field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -446,20 +446,20 @@ status: accepted { "transitions": [ { - "id": "au15kfq7vj8u0zqdtm83xa8vv3cyz3na06umcq3n4kja05e7a6em5yq7fn80x", + "id": "au1fweu2lmfymy302a5jfh6dn8rctyfvngzw5tpz22mvhtywr3pksxq4prcfw", "program": "none_cases.aleo", "function": "primitives_none_behavior", "inputs": [], "outputs": [ { "type": "future", - "id": "5582829250765808484241595856692025400340333708442889680168755895362349204239field", + "id": "476827761100120451749365719771456125873343643848275640472238747560530305078field", "value": "{\n program_id: none_cases.aleo,\n function_name: primitives_none_behavior,\n arguments: []\n}" } ], - "tpk": "2155034156727651206074116048643588463778004912504988473270076337820239418207group", - "tcm": "6350540617327696830470599027248589013733470041979954484947050399059264480710field", - "scm": "3372032122973594591727892709128906252574615350799264120330099841463916088264field" + "tpk": "4656898625527795514624494288663572682356952648348904380823190828466577248943group", + "tcm": "3173650553138867710917004191403800576576961752684431388092450122926842548789field", + "scm": "7798921162301890860244765973418314696574774180995932795683389522043857064830field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -470,20 +470,20 @@ status: accepted { "transitions": [ { - "id": "au12exmr49dgp0xkhk97jd2lzv9xdy4x0wjnnczrql9nxue2s5u6s9qt5fss7", + "id": "au155v22emeum49puk7x2ttanvl6lkcy6tgqw8n3y3r9elzdxzrgqys9etn7g", "program": "none_cases.aleo", "function": "arrays_none_behavior", "inputs": [], "outputs": [ { "type": "future", - "id": "280149512319723689724650966945797574032635481689321317673734577276810675599field", + "id": "3140234408512591659099594191137360727684643873042545150587002448399106688683field", "value": "{\n program_id: none_cases.aleo,\n function_name: arrays_none_behavior,\n arguments: []\n}" } ], - "tpk": "5073244271415306064125555740132134661216396977964767543720035033561550784564group", - "tcm": "318482728305363911386859487676231420743770915997538397855481329038956355182field", - "scm": "574103690465821056452634005051779548148456098746680808654261791650266216218field" + "tpk": "2964143739387655529839618036125117249245988843315165088212607773680129646859group", + "tcm": "252898529996989819337844202066710871751236220948673013539510062341234424697field", + "scm": "3035122352356931348216000001150465304471261729781666002702012780471535972111field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu" @@ -494,20 +494,20 @@ status: accepted { "transitions": [ { - "id": "au1frq8cv7czxv7ffxn0wcjznu72m4plq725ez34az5huf3jf605ypqnzey96", + "id": "au1y4k4n338aa667d9mjgv3r42wx3z2mc7sv2wqqvh42k8v7agf6crsxdp76h", "program": "none_cases.aleo", "function": "structs_none_behavior", "inputs": [], "outputs": [ { "type": "future", - "id": "87152403193078256329041679229170422483157504242096974853115049540277413888field", + "id": "5191305053956011644245779097688781668970588425937173823221062870822530895780field", "value": "{\n program_id: none_cases.aleo,\n function_name: structs_none_behavior,\n arguments: []\n}" } ], - "tpk": "1249915714726010672792200308396249875175834321636139985880080092473194039920group", - "tcm": "1075070365254965945112368905077894413882823151698799912373458502951727861631field", - "scm": "443863523513593660781084341860645210743569086153608303992090421506432823517field" + "tpk": "2157184221807861305215769253263458584295561151282589287268823922208538874046group", + "tcm": "5702026260002725683831570138974316242135761176422160299509667633177577574318field", + "scm": "5016635263784801844758937148087361646447841439186370894563878180068934636624field" } ], "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"