1  program cond_exec_in_finalize.alpha;
  2  
  3  function f:
  4      input r0 as u64.private;
  5      input r1 as u64.private;
  6      async f r1 r0 into r2;
  7      output r2 as cond_exec_in_finalize.alpha/f.future;
  8  
  9  finalize f:
 10      input r0 as u64.public;
 11      input r1 as u64.public;
 12      is.eq r0 0u64 into r2;
 13      branch.eq r2 false to end_then_0_0;
 14      assert.eq r0 0u64;
 15      branch.eq true true to end_otherwise_0_1;
 16      position end_then_0_0;
 17      div r1 r0 into r3;
 18      assert.eq r3 1u64;
 19      position end_otherwise_0_1;
 20  
 21  constructor:
 22      assert.eq edition 0u16;
 23  verified: true
 24  status: accepted
 25  {
 26    "transitions": [
 27      {
 28        "id": "au186fgaktg0n2w6f2qzy82qaeppauy4ytesap9e9gcd7r4zvkk6cpqs9lssp",
 29        "program": "cond_exec_in_finalize.alpha",
 30        "function": "f",
 31        "inputs": [
 32          {
 33            "type": "private",
 34            "id": "2999799439712545150911076744688649574541241161830586677037527758496232440130field",
 35            "value": "ciphertext1qyqr239th75zjt5f635l2kms4juwzcsqcuhtcp7tdpd3xv35ylnpyysjfkkh5"
 36          },
 37          {
 38            "type": "private",
 39            "id": "4910350261310345166926800432851464462735398371995533843978976352681107714561field",
 40            "value": "ciphertext1qyqytclswwks7y47fh09zfaxeaksrj6zfumkvsnte4ccvhvduwccgrc75gfpq"
 41          }
 42        ],
 43        "outputs": [
 44          {
 45            "type": "future",
 46            "id": "4942714559445508506805813996100841842942096375633311100327670121729183872095field",
 47            "value": "{\n  program_id: cond_exec_in_finalize.alpha,\n  function_name: f,\n  arguments: [\n    0u64,\n    1u64\n  ]\n}"
 48          }
 49        ],
 50        "tpk": "2751733417304612357467971263332185129830360004011090696522947076627934061719group",
 51        "tcm": "63955800758380612892116310158449366168901401280826971304767892483486123293field",
 52        "scm": "2167083824024684988852246761100396077947696021268508334131261916227742070983field"
 53      }
 54    ],
 55    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
 56  }
 57  
 58  verified: true
 59  status: accepted
 60  {
 61    "transitions": [
 62      {
 63        "id": "au1t8vjpq7a5nztczgc6lfsa680rngj4dwrnza69q4gkm7n6um8tvzqs6kfgw",
 64        "program": "cond_exec_in_finalize.alpha",
 65        "function": "f",
 66        "inputs": [
 67          {
 68            "type": "private",
 69            "id": "3991552217061697966381505929849095486457889470320464616913387161327776607300field",
 70            "value": "ciphertext1qyqf9exck74vlrlq3mza6lapw64v478lwfjydcz04nptedh08yr7qzq38tqz4"
 71          },
 72          {
 73            "type": "private",
 74            "id": "8326196156939116486915496915438823190353183771532030712930984186727324576543field",
 75            "value": "ciphertext1qyqpdnd4cj8azxp4v8ls643234az5c85p942wcfqf8x2xkg6n3wmcpqjg8cr7"
 76          }
 77        ],
 78        "outputs": [
 79          {
 80            "type": "future",
 81            "id": "4616150625580949511153785864632113145445437739422529491443742064813932747103field",
 82            "value": "{\n  program_id: cond_exec_in_finalize.alpha,\n  function_name: f,\n  arguments: [\n    1u64,\n    1u64\n  ]\n}"
 83          }
 84        ],
 85        "tpk": "1285476211890680742999213084746902257955616734969982584735712765146537708649group",
 86        "tcm": "5990356249810967691683692797341143655370684331339778667935509956888373541347field",
 87        "scm": "2119707308717950125907363364086555143058996688014139745579157244433141494869field"
 88      }
 89    ],
 90    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
 91  }
 92  
 93  verified: true
 94  status: rejected
 95  {
 96    "transitions": [
 97      {
 98        "id": "au1pcdlqu44dcupxxw2zwwh9e7uj0k3qjqrj2dg8dvhjapza52455zqyspdfx",
 99        "program": "cond_exec_in_finalize.alpha",
100        "function": "f",
101        "inputs": [
102          {
103            "type": "private",
104            "id": "2957491233760333782213385048588537481207428064746231835708699972723519116613field",
105            "value": "ciphertext1qyqvtmzdkk39g5v49yjsu9kcwr44gq94aktw9vlaewusl4yeth7ucrgczm4zs"
106          },
107          {
108            "type": "private",
109            "id": "3958384291974373723067053391183439268111375544468551361632999223187992882952field",
110            "value": "ciphertext1qyqtpjre4wgqkg3z7lngmvhrqwk67w6cx0csw75kyk4ser6ywsweqzqu7z58f"
111          }
112        ],
113        "outputs": [
114          {
115            "type": "future",
116            "id": "6232309551446638861414366238461833019714253121144679927542374464034090451345field",
117            "value": "{\n  program_id: cond_exec_in_finalize.alpha,\n  function_name: f,\n  arguments: [\n    2u64,\n    1u64\n  ]\n}"
118          }
119        ],
120        "tpk": "6688967275623687273273304250173546639531955998538709919241515435351157586203group",
121        "tcm": "1672473733151625432185171943401737930653699546503947785735189493385817589516field",
122        "scm": "8190068619378200806921199967852714924586659228149070261137556439003999241646field"
123      }
124    ],
125    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
126  }
127