Regen expectations

ProvableHQ · May 15, 2024 · eae5d36 · eae5d36
1 parent 644fc2a
commit eae5d36
Show file tree

Hide file tree

Showing 12 changed files with 828 additions and 828 deletions.
diff --git a/tests/expectations/execution/array_sum.out b/tests/expectations/execution/array_sum.out
@@ -19,44 +19,44 @@ outputs:
  execute:
  - execution:
  transitions:
- - id: au149wvd6tuy2pvz5zpj2mxrysurlf6v7ne2kj4t2xuj8j49mupfc9s38v355
+ - id: au1qj89kkz7sft4s2440w46vj3uvj734e7x0mk3t6zukxwx2eeunygsmvghhs
  program: test.aleo
  function: sum_manually
  inputs:
  - type: private
- id: 3871832004960206007194165418359746087744526367165127597780555009460394183717field
- value: ciphertext1qgqz35t2hd2sk5jvjsmzp3yzgar9yzmgrefkrlqcsdln72dc9arljpxaaue8w5thxecsncyc79g76p82jcx04fufracrdydvd9p2pxxcqq2fev2d
+ id: 3126095730833455306853935096351963578504025181936949761946595476117787028917field
+ value: ciphertext1qgqt9yjn43gcr2zalamw6xcq0fs395r0g92rp7m64mh2dqsaqeu4zzxl42ewqqdul23pnul78s4sym2q877a48gycxz3p75msq2lwqyxps6ugkf3
  outputs:
  - type: private
- id: 7459779374237983347184823155747031487499963576865774196908999556002209801556field
- value: ciphertext1qyq9nwrm5fzlegwaumw953fkf8uhfpmjm3uxkxe32ln2zc4ej53surcfdn0yn
+ id: 4794667733757267598073043169608207157024032765817941239588260679736055618261field
+ value: ciphertext1qyqzny8y3hzns930y655qgregrveq08vrgk7246jhag3gqsvkh6rszg3sc2ce
  tpk: 512383684471783892777788076619862839966981157566564726912316434903274880697group
  tcm: 7975307881435548581927347671860337126690869146772124069070420940707216867640field
  scm: 1893779522364008370528920564800894353816316246386419733877530996647548645046field
  global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
- proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqx5vu65atwnfh8752c43amzrv92ewszvz7u6lf4rjmp7p6wxgfrz92w7c3r6rrp86zsv04lu3p0fsqq8qj88g5naxq8afle0l2feyntzpykcq6qvgjuncs7c8tuu4cvy9lvhpcxknfrpwy9g6v4yldz9lutq9xt45f9hyhu4phvf868sszzxr5fgp294u4j6gr3vwwwg8q3ju4t5awqnh2aryp9s5lfp0p5fl3ekqwg588amjwdyqu7r93vzkkm7ar7s745ayp6ncju5g06f9auyc0zwntspkuy3mudsd6vhcu0zcz9vgq32qx6ktlxw5uq7wjfl20eh7xmts5lvecg22j2mf2du5y0pf7cvny925u78ff7lvgl67r7wuqyqpqqxjs2xykys67mgh8lj9fy94uw9huukadsyu65ns3cvp2zusan4t4zj8fyrpqj22cj27yl5gl5625q8qr6e854p2nmn9qatr295he56fuj38plg2f3w449yexvh5gvlvrnl9w5mtgwm7avt8fkemqpympnqwnv5pachhn4e9jxqzap5csd5r7up73jcvxc98evwv2pfaqagfyq6djmwfys5wfysh5gf9khwkwqvqxyqe5tfc7rj5ht2nzpa8wa0zcczds6m9jyezh94r95usge7q2hnc8njcwyu0ax52v92w55gg40qyqagpz9nz665w5aku20tdtux9zf9j6plfhe5ykahgv70fh7myc2vffws37s6n87g8d2643eydn7tunytgwa5tng42zetautsju7qyd2ztwlckrqqusyu7t4ltg9v2332sf87n2uv97s97nlnwpnlsxus66pdtjntq9ts0tk6zxuwtjfnne5qku0wz8y6j7zw9py0vmhnzw7zns3642a2jeupmvn2qc9elnsvztr0ps52l2jsk3826nsuwkz3rcuegvlk06y6dugkay92ssarcgluhffdkfav2tnl7qa8llmpxvclt2qvq58gwyjc9dv2ypjxy0dql0398z4ggtk54shszxrgelv8cqc64h7qf0s3kpg4hfxaes3k0m0578e2453yvu5qvgxw03kfnwawsmwhyppqe3sx33p2tdj9pxjmf54dc05awpsqcc2fvs8tklj997c0xsjrdpqk8h89jr9jkscp8ln8a3x2kpujg89hcyyfvzgc5mfae3depr96sgqvqqqqqqqqqqppk00dddde9yufqpz4m9selnhc4ldvwv76u4umk4s7gmwucr6rvm7gprzkdg7psvvq2jtmtqjf57qqqws48m75wsygd9sn67uxrqdrurh2r7f7cpfxlszwh8pp9vhdfrvr5l4xghs6fswunrkda8quke6vqpqxpq04qgskn7t7gr355wersrl68zqdjr0hj5ulmal5tvgfhc2dus4xt3qjkgp0zzhgs9zp5ftzz9v4ljrnj7c37exvhqeecws5wnnvcv0wzfz6w6cp2mppys8dhflsvxqyqq55xjj2
+ proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqw5gattye8rcp99d4eqvefm56r4pa8prmpr5gqhh4pyejkm9s94edn27g3dkg4yhjfuep2zlua5yvqq8qj88g5naxq8afle0l2feyntzpykcq6qvgjuncs7c8tuu4cvy9lvhpcxknfrpwy9g6v4yldz9lutqyqsrh25tpdm3v830unglt7cguqdhuhe5tpa99zf7x4ltyymxvghm2yc57waveqaepvg0s48k86pqq586s2d33nja6l483zd60grewcmspjzyt35cr0kj2rc5095p5tafjg2sknu7l3s7pw95kssj9mv3spn67yafdqlauq55mky8ng90xzm27plzy8dj0d6u0x20d6jvpayky58acpwrsqw5yspzcqy0t5y2jcpz2w3vuvzn326ha624njl059shyd6tm6vtrg0kyest82na8w74x6rx4hlru78ymjalryeak7nms5sx4r2c4hgr6vqsq469al9jhj5uh5tx9s0pdfe90aeyv84h9aj98zf3nqx7fcj2wlt25qmlru7wycyqxl2a49ajm3nppvlr0hw8vls6dkm5mvuyqhd76d6s9u5rxsd6apw2rt9z6878gzjrjpr59v22e0vcqt4vpqnnhv5rsqe6qx9s3k6eseryntntu7f7k4xkgcgwn48epwzqpjns6cc3q9dujajqas8qtj6vyq4g3uc95pn6f58t5up94m48anlq7zdsea6cfz5lqpxfhd65d72uq7vugul9guuq6prm60fdy5dxpcd585ylxr9qkalhfjq2f49h3nsz6n0wfwfdywvkw0kpjgxwaz22920usf048fkh86zxj2zhhrnfxwpcfjghsf7pwehclu7g2fp9ygs9zdchgc7505t5al2v3q8c759xyq4he3jnk04pexsshyj8f3wwnt4hmj9ddlqwlt4k5ks0ckyk47rfssa8wsn00g38ty8sn8ysxz5hj9q8kfpngqryg9lswfjdp3jvgaqc8u60c906ugyl4hc880k46nxv5m482c35mqhjqt2gv266kamdc86q200xek7pz82gfkcf9x3mpmy43aqn5j4wqlyl5ty8pnfw0dn9eyz8729yk3aju47txxfvejdk9tsrdjgw70u6aeputmj6nck9dvqw53pahqe253lq6dm7caadfcf7na5m59pxp4s6v7jdvfu4ex0and4ysyqvqqqqqqqqqqqmsrtedmp6u8tau060n0c7ndf22yzwqrds5vak9xp2xqp2jqa04zsvplxf6cgaskp0lacl0atxcyqyqzx8t2hltz6j6rtfpujglpled5k62md0j5umdy0z5lw5e6fl6cc9jvem5ajelvw90fjwm4v9ms55yqq87ad2p7sdufmqq8545eyczj4h6v9sdx2jxesudy47c4tvdkdhgq398k9xrau8nxkhltl483ep3zfnlu7595m50g6f5zk7tpste63axrs97x52mnjdeyphldg3glzujzsqqqacs52l
  verified: true
  status: accepted
  errors: ""
  warnings: ""
  - execution:
  transitions:
- - id: au1gndhxhdnwatf9qxkx4hyfyy69uf6w004fwzlmty93nhq5em2qsfqygfpky
+ - id: au10c3p8ld35urau4qj43v432480dw5y3gpsjg9wgj9q6ku5u5ryyysm97cz0
  program: test.aleo
  function: sum_with_loop
  inputs:
  - type: private
- id: 772635140311600224499625393792585633609227532332583845718848508798666411485field
- value: ciphertext1qgqw6xer529098zj3rgm2nrg3dj20hv4nq4nd5g5qrwh4v335g07yqyhjdspaz3f70jg9v4d8ygguw8ua3s2eaqjjakfxsgyce7zaq94p5q5hl7t
+ id: 3289195781619533221629916132743634175998192962824981243263600440290100173096field
+ value: ciphertext1qgq9rn8tspx8ulzq9wjfhxr5gzpfwnecs952vn9qexzwdrgz7yz9krvwwnnc0fj70yf2k4k9cq7w523zzwwxl6lxmek9gte9vau40xujpv4mdjnv
  outputs:
  - type: private
- id: 2420554371177431671531694917613942509941429348142036766297981901624867129673field
- value: ciphertext1qyq22jv42rfhtk4vm2gdrscyntg34xxxcpz89azdxurffu9tupmquqcmdutsr
+ id: 7597660846863565490980049606983935610977419120716728019349589019887006447014field
+ value: ciphertext1qyqyuw5n6l9qd39l09sp5g9nyu8954wttpyu3ywzsm5pjms9k56x7zcl7vnr9
  tpk: 2648975399333506891066430487012965830441159294533947089744287387271134408105group
  tcm: 4622791303988101841327005652441860772220114266951663803601422301383920316221field
  scm: 7410915781437728459378166429703486561569640859133578857905554519607570043435field
  global_state_root: sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu
- proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqzgk9d7v3lfm8e2zjcg4khtfmqrykh34kacdh37l5lyh7lm8sdp3v7yqhs3y34p879ue4h84r8a3sqqy8ar6emfl4avcm3uwwgk30td78ltv8dgg7cz4urkah8pgepmyuv56jz453p7fty3vn5pcsck4fymqvhpgcmrf65940p3x4h7n0942mael283rfguee8zhhnuw9v36da04243w7zxtmjmzm98905hzhrjuqt5rcpuycammny6nmf30cq7czckglj439h7p3u46wy2t4xdl528hawru7kap4rupkgvxvcs906tzcpmxxfa4yrtkl5p89aqk4ffhcvvacy3ttun8k3l8p9ypnnexzx9djvcm5ejjvjmxzrmw08vgv6kf3sr0jmcj7j20w8ytvec2unnr3kaf977sr3pzphdfxhw880h5xnjuvzw5yv9gxnf2nekkvglgpuk0c7s9988pddf39ckwfa2vxv3q266ce3vy9we9hy2v9edu7dh2tydpg0d0n2xx5vj4llcehrcu8hjqxj8qd52zuq0hyvtmh2vwtxc4enp39qnn5gajqnsmnfhyk6n9mx5gpw4ery6k6s6mz399mu95ru6vk70sq0cuf9nzvrxe8gzlq4zgc6rkju2kuuppk7vwmfgp9jdzawk7ph35u8ga3ywkc9v3dvdjy83ypwytqpuw7tjdkajdp28xyuuyz3t08zte0dk4emmx2lufk248fs3zwz5s84dj7ysmp8ukda89x2ucg33482adw3645m7fhv95sq9pymwnm4jqpk5f2alg73m4ck2jn94y7lcj5n0ef6gd36dr9wv53zuhp8wy0gqf9vt9s9x4rc443nuumuk0t39w2uttxj2yg3zqhywqpqhuyrwzlsgyygjlx8yazk7zwflqgc58sx6x4jrzcn74r7xpt294rkyjd3zkswf0l6nq8hj9fay84kqtcy382p8j6gxpw9t5gp564vx8lmjt57vsxe6ulauyrpyn2t7tx3lgv40p8g5qaqjrhzs4j8fsq6rcu8mv9zurm6qhqjanvng6e9kskyl4v5c8qknze70n090wjzzfx8e8j0yskuqeempzqpf6wtslrsmttxkkmxll8svlggks56m9fj8d9e5gf03dwqjv4qm8d3856qyrngruzz7pzagt56rda0wepsrkq9cpg54njf25svqvqqqqqqqqqqpcvp7r7kxwxmjkvujqs5r2chxct8xjnavucpuygjsvd5xn97cwmpk7meuwtu937ty3ls6275rqzdqqqfp24fl6z6va407yhdgfcz56jv47hpck5rf028xtuy7uxs0ru0qn6g0uu6nd88gt8q6g8arf59e3qqqyvsvt7g3u52huqtepkqghgg5prprns2e3dcn5m0sau0c4dz993s36hmzkw6j29587h36mztpn6ca3ldnur8pf0g7tj4293hhyeag8xtjledt5qcje83dsaq997m7l9qsqqqquj8fn
+ proof: proof1qyqsqqqqqqqqqqqpqqqqqqqqqqq04lejqse3f54ga6p4e255luq39sxud39wqertw38g36y62fjguaz05uv9vewcr4tnzjrztl87stsqqy8ar6emfl4avcm3uwwgk30td78ltv8dgg7cz4urkah8pgepmyuv56jz453p7fty3vn5pcsck4fymqtd9a6c9t8208hvjxm0r5pdalnq8v8r9kuc3vgtjsyhjzqlpm9z79yy4srhya0vwn6f2ttfxgl6qgqpfqvhrr07lwdqmxn9xj0u7nga6clwcxth3w53xwsyh7nm30gjtfllhsvtqflrt39ehyz4qdf7v55qf3uuful3hug4vxdjdmfe8wp3634l53dxf3jruatrp24tfkzjjj4j30v82y5997lv3u9vdvyt9hpqqqrzanuy8wazgafd0pe5hs9x24xzegq083tltq5gc3p32putdh7atyfklz57rpxjknvfgtax7948s8dywt7rr64ga0k09t7nafafutzw9z3s5vmmtgqlpqctcfjkj23f3nfmz4p7gcq45dxv5c5j83nhuqw9duh0895chy0gj958pygnuhh6l7qk78mhu42eckct3wyfrfz4g4y7qv25g9kunvwacd6mg9hw3vqagrzcz5f9f3hd82ndrawqf00x7pjejslduxjxgaqtj0zrrrpj8ekvvhfydw3p0f3wl003wasy9fsqumcxn9dj34vqnn4y0p032ytaz7hhzq3jdhseet9thqmxkzd8vcrlfrczpmvtr66rgun3lavstu90t53ttch3cqatehqhgmk5r6kwup526kwcn28wnvtphttqzylprpjswtlfmevcj2xwmmjxxx0vupwfqxh3ydy4v66xz4jer4dwmpdme46vxcav8tjrrwju47ve0h22g7x3qj0wfrkzwrj42fsffvy5phpecn25hprzqrh3d6feweyqngs8rvq2q7qm37nr62hf9mwv86hjruz7jcxlwdhte27zjepj6vuj64ceecp37xqq3ksyw34kr5zknyd4d5szhwdka47ejdtxqgec0cfzjrdmkpkahm60xuhcprgswn7zwzdlk9895xkrakluvatjmcjx4e92pxgwqp2t5duprn9g30xfctzv594yyn8a9qsjz5djz0t8wljrz30qd6us2dzv5rxpl7qdda0f5drtc8h55r03j6wghcdrpxz7n0jv2xy07hssqvqqqqqqqqqqppcau6f54yksvs0edqw496mcpmvc5et030z7yes6xqtg7ylc9hk8vh40djf65ppr93my63yywc7fqqqfrahzkyha0qe9q0pwjfc7ejpaxlp985je6846vp30g3naxkrzrytjunehdj4w947u44tkv4apk5gpqxt5fwnj6yaze5e0nsc67p4vq4x2xk0auha5m5pr3e4d7zu037ashq4mqdc36n2yd5tkrzuhj5zsj9w6wzp4frf4tg3xpcts0da9gs9m4z34s2ncvv5humylngsxuc6jsqqq360n4e
  verified: true
  status: accepted
  errors: ""