rewrite expectations

Author: raychu86

synthesizer/program/src/logic/instruction/operand/parse.rs

@@ -229,7 +229,7 @@ mod tests {
         assert_eq!(format!("{operand}"), "aleo::GENERATOR_POWERS");
 
         let operand = Operand::<CurrentNetwork>::parse("aleo::GENERATOR_POWERS[5u32]").unwrap().1;
-        assert_eq!(format!("{operand}"), "aleo::GENERATOR[5u32]");
+        assert_eq!(format!("{operand}"), "aleo::GENERATOR_POWERS[5u32]");
 
         let operand = Operand::<CurrentNetwork>::parse("foo.aleo/checksum").unwrap().1;
         assert_eq!(format!("{operand}"), "foo.aleo/checksum");

synthesizer/tests/expectations/vm/execute_and_finalize/count_usages.out

@@ -4,20 +4,20 @@ outputs:
   execute:
     count_usages.aleo/add_and_subtract:
       outputs:
-      - '{"type":"private","id":"8031023998986834178907064132074707302736153278475720215054449698082502310164field","value":"ciphertext1qyqx00tdhv2evuh6frrvckqfxnsqajdkty7qn89sum47ev3hfwqsyrglgexk2"}'
-      - '{"type":"future","id":"3267994080760970377354415191058624977039929873102730988677589564917663374427field","value":"{\n  program_id: count_usages.aleo,\n  function_name: add_and_subtract,\n  arguments: [\n    {\n      program_id: basic_math.aleo,\n      function_name: add_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    },\n    {\n      program_id: basic_math.aleo,\n      function_name: sub_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    }\n  \n  ]\n}"}'
+      - '{"type":"private","id":"3023515930236131869960839025783791471880463326924898265054273782132733457428field","value":"ciphertext1qyq0dl9dzsxch4m7h2d98ltnfrjpw78yf9799ur42yu6gqfsu9ee6rc28nual"}'
+      - '{"type":"future","id":"1423517886816398005788904795341815145649556193470048155722602997807355612221field","value":"{\n  program_id: count_usages.aleo,\n  function_name: add_and_subtract,\n  arguments: [\n    {\n      program_id: basic_math.aleo,\n      function_name: add_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    },\n    {\n      program_id: basic_math.aleo,\n      function_name: sub_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    }\n  \n  ]\n}"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 additional:
 - child_outputs:
     basic_math.aleo/add_and_count:
       outputs:
-      - '{"type":"private","id":"4459160600090644829078570141980042712904101873142651956509350643001470685424field","value":"ciphertext1qyqqmrnunrxvejspqqd8q95w8j6elauk08tc6xlggwqmghls0z0tzzce3pvud"}'
-      - '{"type":"future","id":"3017242862231267652556225247765385208270620902019130683423141619255398546555field","value":"{\n  program_id: basic_math.aleo,\n  function_name: add_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
+      - '{"type":"private","id":"6833670663356156349465561959119895264365617520846968285345871566308405139526field","value":"ciphertext1qyq0zc0paeqfzjmxzxzargqtqx6y9uxuqk4npne7vl5w6cqf8tjy6zsr3r0y3"}'
+      - '{"type":"future","id":"3923899012867609941959962112962879199673952367633890388822764303857066712565field","value":"{\n  program_id: basic_math.aleo,\n  function_name: add_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
     basic_math.aleo/sub_and_count:
       outputs:
-      - '{"type":"private","id":"2158142071646817395304846537797448407833900695416526200045654280903788630405field","value":"ciphertext1qyqfk8dmxgw2wcxhrjakw0f9tyrrz0vpxfuujyqxghhunqawd5246rc6j7hvl"}'
-      - '{"type":"future","id":"4177175229563892856952841950997804912637602124505590700986841880896890131597field","value":"{\n  program_id: basic_math.aleo,\n  function_name: sub_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
+      - '{"type":"private","id":"1460644660379633701080985990468232393875083890228867255811657931912367439589field","value":"ciphertext1qyqw8ke6g9adcajxqsj2qg5738wzquj40t8h7dlfpj5n8883pfyzzpqa88t0t"}'
+      - '{"type":"future","id":"7122641423905167294621281667571156080981196550145662425043615289686030457355field","value":"{\n  program_id: basic_math.aleo,\n  function_name: sub_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"2001409911909420453616256096922909374758909826512200033885026235554900964802field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8,\n    4853u64\n  ]\n}"}'
+      - '{"type":"future","id":"3590484406688783411870918714161033374372061264046676118343663613301223003027field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8,\n    4853u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/future_out_of_order.out

@@ -4,17 +4,17 @@ outputs:
   execute:
     parent.aleo/foo:
       outputs:
-      - '{"type":"future","id":"4808795337228831300090159568619583620015060492538870193519316095176464203064field","value":"{\n  program_id: parent.aleo,\n  function_name: foo,\n  arguments: [\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    }\n  \n  ]\n}"}'
+      - '{"type":"future","id":"4395560034107832513323628742481552649353537273329387245065974304497269001184field","value":"{\n  program_id: parent.aleo,\n  function_name: foo,\n  arguments: [\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: boo,\n      arguments: [\n        aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n      ]\n    }\n  \n  ]\n}"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 additional:
 - child_outputs:
     child.aleo/foo:
       outputs:
-      - '{"type":"future","id":"2627208064343790411218297796070772055252300413661718747157984050396982894143field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n  ]\n}"}'
+      - '{"type":"future","id":"7671899122268038014356473204469308092298520316078811679906033940930728557737field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n  ]\n}"}'
     child.aleo/boo:
       outputs:
-      - '{"type":"future","id":"3718177345435649265772359200449100882893504938372456104475160425157669447491field","value":"{\n  program_id: child.aleo,\n  function_name: boo,\n  arguments: [\n    aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n  ]\n}"}'
+      - '{"type":"future","id":"5806982923642172688017959057000917992502963839856001396602806545688864915382field","value":"{\n  program_id: child.aleo,\n  function_name: boo,\n  arguments: [\n    aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy\n  ]\n}"}'
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"6949351562807542430801834747619178326447061492245356064938948520061302629725field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx,\n    9100u64\n  ]\n}"}'
+      - '{"type":"future","id":"5814888206705744494009025176610798452755293545868252252449967609449221517267field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx,\n    9100u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/hello.out

@@ -4,14 +4,14 @@ outputs:
   execute:
     hello.aleo/hello:
       outputs:
-      - '{"type":"private","id":"3067112289771026416602608029546215689480230635787358172269181214116473536657field","value":"ciphertext1qyq02t7uqlcfw9sgp0pypf2hgpqgfq9dazwtf06tmvxwutpq5hqrvzs4yqvtr"}'
+      - '{"type":"private","id":"7956368244586786834696717739774544525823270058796904078441478958189383835099field","value":"ciphertext1qyq8zd2d5tccnr37utfek4d2rzuylv0z5g25jvez9h8vdxa5k77hyrqtrhgmm"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 - verified: true
   execute:
     hello.aleo/hello:
       outputs:
-      - '{"type":"private","id":"7128432731345166329625533482159191637873282420112148589133159314814983916241field","value":"ciphertext1qyqy5l8q07xgvzz2uyhghmdca8ftq7nqx6suf9e2n0jsx35l8nvlupspkpqex"}'
+      - '{"type":"private","id":"920860077685870189118339238626755267381831606124680164428136639186353645396field","value":"ciphertext1qyqtuqg9h8ymhmd2shwh698aqe4xucz033aekj0cpgrcxeq270xk2rsekl6cg"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 - verified: true
@@ -34,11 +34,11 @@ additional:
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"5876238170943580993663194204772322189230649299859148831112976015919479421715field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo10knkelvnd55fsaarm25wch7p9suf2tqlgwy5k4nxwms6d262xyfqm2tccr,\n    1317u64\n  ]\n}"}'
+      - '{"type":"future","id":"1859616768871582698460732494774856870427546991464712711584189806294878718709field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo10knkelvnd55fsaarm25wch7p9suf2tqlgwy5k4nxwms6d262xyfqm2tccr,\n    1317u64\n  ]\n}"}'
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"6737852088521839690807682481308314838479705890883861842614262211605780698107field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo10knkelvnd55fsaarm25wch7p9suf2tqlgwy5k4nxwms6d262xyfqm2tccr,\n    1317u64\n  ]\n}"}'
+      - '{"type":"future","id":"3207561934868347507928583331349861264891324082736913246760626505984452423149field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo10knkelvnd55fsaarm25wch7p9suf2tqlgwy5k4nxwms6d262xyfqm2tccr,\n    1317u64\n  ]\n}"}'
 - child_outputs:
     credits.aleo/fee_public:
       outputs:

synthesizer/tests/expectations/vm/execute_and_finalize/mint_and_split.out

@@ -4,7 +4,7 @@ outputs:
   execute:
     mint_and_split.aleo/mint:
       outputs:
-      - '{"type":"record","id":"7865458630259473530791443645577679927056602271613862773325129658896194608589field","checksum":"8131285656035677426461208132807852464954434074683211897659654497163722610574field","value":"record1qvqspxyqvg78vha07pvrjr2g38l293g37kkcqae639hf85jgpzltqpswqyxx66trwfhkxun9v35hguerqqpqzqzm49p304eels57ts5q0vnldd3738vdrhxpkq9x6tz45spjvntvzxdfm0d83vc6a3ftur6ch02u3cs6zwcl0087x66m8suumcfamsws5e7vl4v","sender_ciphertext":"2339965272671686553993307597769607379125399168441113999718859480379254091680field"}'
+      - '{"type":"record","id":"1468168659655366907697532315005585604602235179414698571655118859545131768650field","checksum":"6807819896369708131926098368191156693073473487025184213539045224228545662094field","value":"record1qvqspslmundxglsjhl6l62aq70gkgms6r3qlmtl6resu922sszcpwvcdqyxx66trwfhkxun9v35hguerqqpqzq92jpk9s2ux4q9mw4uhjzc6ja57nkrdvhk4a507wxuezq644r93zq8d77h8639m7shha4fs8qc3n6nrf2eqjsd3plq8q62h9pnlgnfsk87aunl","sender_ciphertext":"1051635936696090036331309351829733592675048904485369308918572030834176000447field"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 - execute: Commitment '1266307482263846358970326041806201638141701138269282465033372005968041137990field' does not exist
@@ -14,7 +14,7 @@ additional:
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"447891032749324216348904255397414568643688189608095694927752481174107363525field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19e6k5ferx3k8a9k79xtj4uuaztt2jl4eza7k43pygsu977yazypqqwdmw6,\n    1479u64\n  ]\n}"}'
+      - '{"type":"future","id":"2746364814549419434462217925821184839454131689242696526114638347923889598868field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19e6k5ferx3k8a9k79xtj4uuaztt2jl4eza7k43pygsu977yazypqqwdmw6,\n    1479u64\n  ]\n}"}'
 - {}
 - {}
 - {}

synthesizer/tests/expectations/vm/execute_and_finalize/test_branch.out

@@ -4,33 +4,33 @@ outputs:
   execute:
     test_branch.aleo/run_test:
       outputs:
-      - '{"type":"future","id":"4199223511354047544514550285634330813604552704253154301306576711679860564468field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    1u8,\n    1u8\n  ]\n}"}'
+      - '{"type":"future","id":"6106585569950414438360489337799100050690125364098997355406750990433066413751field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    1u8,\n    1u8\n  ]\n}"}'
   speculate: the execution was rejected
   add_next_block: succeeded.
 - verified: true
   execute:
     test_branch.aleo/run_test:
       outputs:
-      - '{"type":"future","id":"2961358919108819403769039297454167713071461495983738338325736172339815388923field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    0u8,\n    1u8\n  ]\n}"}'
+      - '{"type":"future","id":"7275200780186037183036807964364229767729036955012046448515542801448436855044field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    0u8,\n    1u8\n  ]\n}"}'
   speculate: the execution was rejected
   add_next_block: succeeded.
 - verified: true
   execute:
     test_branch.aleo/run_test:
       outputs:
-      - '{"type":"future","id":"604518297072136724392768281149254500307853999607018000505268308589924153243field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    0u8,\n    0u8\n  ]\n}"}'
+      - '{"type":"future","id":"6729935225925686376829825047756698138940105959385167022781823671968406951044field","value":"{\n  program_id: test_branch.aleo,\n  function_name: run_test,\n  arguments: [\n    0u8,\n    0u8\n  ]\n}"}'
   speculate: the execution was accepted
   add_next_block: succeeded.
 additional:
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"1006950452090802989649855363117941539567048915467687327538154531271535503759field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'
+      - '{"type":"future","id":"1532492997814490520418217459043818509919690894915095381941180219098536119973field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"1524282131223876741169664825544486140269557309042241421026844706617531179231field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'
+      - '{"type":"future","id":"7290902427688018527342389742613273953024618791370060031316700437215668030757field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'
 - child_outputs:
     credits.aleo/fee_public:
       outputs:
-      - '{"type":"future","id":"51750001539356854197395829388561337656871902674417482803908301517928841263field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'
+      - '{"type":"future","id":"7733814447242532509444947802237514269810783996847753026142399975323956636454field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1x3r205zqql5ywy0cqqt74k0r0htuusn0d037ycxe8ftt9ep8hyzsmqz4dh,\n    1388u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/test_rand.out

@@ -19,14 +19,14 @@ outputs:
     test_rand.aleo/rand_chacha_check:
       outputs:
       - '{"type":"future","id":"746545381627269942056971804265088486926111520161800421538758330814778471010field","value":"{\n  program_id: test_rand.aleo,\n  function_name: rand_chacha_check,\n  arguments: [\n    1field,\n    false\n  ]\n}"}'
-  speculate: the execution was accepted
+  speculate: the execution was rejected
   add_next_block: succeeded.
 - verified: true
   execute:
     test_rand.aleo/rand_chacha_check:
       outputs:
       - '{"type":"future","id":"7959858885373972058168480751284007882110163109985353663075336223286753118497field","value":"{\n  program_id: test_rand.aleo,\n  function_name: rand_chacha_check,\n  arguments: [\n    4field,\n    true\n  ]\n}"}'
-  speculate: the execution was accepted
+  speculate: the execution was rejected
   add_next_block: succeeded.
 additional:
 - child_outputs: