1  program test.alpha;
  2  
  3  function test_async_u32_rt:
  4      input r0 as u32.private;
  5      async test_async_u32_rt self.caller r0 into r1;
  6      output r1 as test.alpha/test_async_u32_rt.future;
  7  
  8  finalize test_async_u32_rt:
  9      input r0 as address.public;
 10      input r1 as u32.public;
 11      serialize.bits r1 (u32) into r2 ([boolean; 58u32]);
 12      deserialize.bits r2 ([boolean; 58u32]) into r3 (u32);
 13      is.eq r1 r3 into r4;
 14      serialize.bits.raw r1 (u32) into r5 ([boolean; 32u32]);
 15      deserialize.bits.raw r5 ([boolean; 32u32]) into r6 (u32);
 16      is.eq r1 r6 into r7;
 17      and r4 r7 into r8;
 18      assert.eq r8 true;
 19  
 20  function test_async_field_rt:
 21      input r0 as field.private;
 22      async test_async_field_rt self.caller r0 into r1;
 23      output r1 as test.alpha/test_async_field_rt.future;
 24  
 25  finalize test_async_field_rt:
 26      input r0 as address.public;
 27      input r1 as field.public;
 28      serialize.bits r1 (field) into r2 ([boolean; 279u32]);
 29      deserialize.bits r2 ([boolean; 279u32]) into r3 (field);
 30      is.eq r1 r3 into r4;
 31      serialize.bits.raw r1 (field) into r5 ([boolean; 253u32]);
 32      deserialize.bits.raw r5 ([boolean; 253u32]) into r6 (field);
 33      is.eq r1 r6 into r7;
 34      and r4 r7 into r8;
 35      assert.eq r8 true;
 36  
 37  function test_async_array_rt:
 38      input r0 as [u8; 2u32].private;
 39      async test_async_array_rt self.caller r0 into r1;
 40      output r1 as test.alpha/test_async_array_rt.future;
 41  
 42  finalize test_async_array_rt:
 43      input r0 as address.public;
 44      input r1 as [u8; 2u32].public;
 45      serialize.bits r1 ([u8; 2u32]) into r2 ([boolean; 134u32]);
 46      deserialize.bits r2 ([boolean; 134u32]) into r3 ([u8; 2u32]);
 47      is.eq r1[0u32] r3[0u32] into r4;
 48      is.eq r1[1u32] r3[1u32] into r5;
 49      and r4 r5 into r6;
 50      serialize.bits.raw r1 ([u8; 2u32]) into r7 ([boolean; 16u32]);
 51      deserialize.bits.raw r7 ([boolean; 16u32]) into r8 ([u8; 2u32]);
 52      is.eq r1[0u32] r8[0u32] into r9;
 53      is.eq r1[1u32] r8[1u32] into r10;
 54      and r9 r10 into r11;
 55      and r6 r11 into r12;
 56      assert.eq r12 true;
 57  
 58  constructor:
 59      assert.eq edition 0u16;
 60  verified: true
 61  status: accepted
 62  {
 63    "transitions": [
 64      {
 65        "id": "au1shadxrl25q2nz2sexafw3etvw5m69aufewgensju759jyua6xvrs5nm3f8",
 66        "program": "test.alpha",
 67        "function": "test_async_u32_rt",
 68        "inputs": [
 69          {
 70            "type": "private",
 71            "id": "2868378881388724611406574820556945088383795096179732713204207005453275371086field",
 72            "value": "ciphertext1qyq9tavdlnwrg7gf4uwa8u3g55nd62s86aevzkprqgdyjhdym559grc3nsn88"
 73          }
 74        ],
 75        "outputs": [
 76          {
 77            "type": "future",
 78            "id": "3192120973334120765325780919114439804589613852380345951867872474894602539367field",
 79            "value": "{\n  program_id: test.alpha,\n  function_name: test_async_u32_rt,\n  arguments: [\n    aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n    99999u32\n  ]\n}"
 80          }
 81        ],
 82        "tpk": "5660398565090144723436677793436897092228950367852469398575650801378609384422group",
 83        "tcm": "2738244710947030237832595256365557251325966127181449046413737318721535610545field",
 84        "scm": "7582363085240556321928187664577258728215206353830965880405066011935578134118field"
 85      }
 86    ],
 87    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
 88  }
 89  
 90  verified: true
 91  status: accepted
 92  {
 93    "transitions": [
 94      {
 95        "id": "au1zqh5rvs808w88mzeg552waqruyq0mxtvrex26fky7nx60ws8p5yq4kh88q",
 96        "program": "test.alpha",
 97        "function": "test_async_field_rt",
 98        "inputs": [
 99          {
100            "type": "private",
101            "id": "2754965250772267279366359846788189449148903991770961285845655667698669603770field",
102            "value": "ciphertext1qgqzuqj0yvm23fdkvyazqjr9ktgt2f436rhlvpnkvkhqle7hr2na5pqx9ayav4qp9uamkdxfrrv7esf4yz6j0qe3azcn4d65zvs9sj35pgsxxr27"
103          }
104        ],
105        "outputs": [
106          {
107            "type": "future",
108            "id": "6548694937029041869532281043204160112986800628271778497596626815077998521018field",
109            "value": "{\n  program_id: test.alpha,\n  function_name: test_async_field_rt,\n  arguments: [\n    aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n    999999field\n  ]\n}"
110          }
111        ],
112        "tpk": "1038226886578584672742226305561309883052984123828222392342035160065569671124group",
113        "tcm": "7294664264527221268877682662740949695329034861352048163725286751297874591102field",
114        "scm": "4292356555445778388690748455863032266886149286419748150691317631828734598194field"
115      }
116    ],
117    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
118  }
119  
120  verified: true
121  status: accepted
122  {
123    "transitions": [
124      {
125        "id": "au15d08k00tldvsu5fqzwfmvdywnuntssh7d4rr75huvvfz3c275qrqcxnm7y",
126        "program": "test.alpha",
127        "function": "test_async_array_rt",
128        "inputs": [
129          {
130            "type": "private",
131            "id": "6093950017082810363728534158936559023873587345837592907652770931764453094704field",
132            "value": "ciphertext1qyqxmwy2easq90umxdf4msle5gq8ewnulj30pyq56ff773lsu7ut5yqlhand3"
133          }
134        ],
135        "outputs": [
136          {
137            "type": "future",
138            "id": "660935881442049201012033979395573923449139988248876478291908179535957938238field",
139            "value": "{\n  program_id: test.alpha,\n  function_name: test_async_array_rt,\n  arguments: [\n    aleo17z49cl3wfpjdyu5juxaxnuttag24ygz36pg8ln2qmlcsw4w8cs9s3f45uq,\n    [\n  100u8,\n  200u8\n]\n  ]\n}"
140          }
141        ],
142        "tpk": "3075139660232334913543363379665037087953145520234241393097183682318809189089group",
143        "tcm": "5233941980130452935171934847427463952994927531250035042817220464841513448228field",
144        "scm": "379438492354527206433964474615967510798819561162008236805270467280222610291field"
145      }
146    ],
147    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
148  }
149