1  program test.alpha;
 2  
 3  function check_starting_height:
 4      input r0 as u32.private;
 5      async check_starting_height r0 into r1;
 6      output r1 as test.alpha/check_starting_height.future;
 7  
 8  finalize check_starting_height:
 9      input r0 as u32.public;
10      lte r0 block.height into r1;
11      assert.eq r1 true;
12  
13  constructor:
14      assert.eq edition 0u16;
15  verified: true
16  status: accepted
17  {
18    "transitions": [
19      {
20        "id": "au14r6g4khcuz0yehjk245eg3v0m2ap7fnmr25mgctxp58dln4akggsx8kd58",
21        "program": "test.alpha",
22        "function": "check_starting_height",
23        "inputs": [
24          {
25            "type": "private",
26            "id": "1553221872361350390328780308896629248271075349277151022618151446446804126621field",
27            "value": "ciphertext1qyqw5sj4rd3ll2hldd0juhh0rcztphwg60ts6vzyyjkul2s9ayawcrsc993xh"
28          }
29        ],
30        "outputs": [
31          {
32            "type": "future",
33            "id": "6893088969801450645971579170253839939706086152684272478118310630648509258233field",
34            "value": "{\n  program_id: test.alpha,\n  function_name: check_starting_height,\n  arguments: [\n    23u32\n  ]\n}"
35          }
36        ],
37        "tpk": "2905672311966844198716069664590806530390302313264856617616375898018257051735group",
38        "tcm": "2481423588448870836371192248037209559359239915598773869461726199561920568755field",
39        "scm": "6884379395272189290334508407648077468009219861245593783809629085751623837409field"
40      }
41    ],
42    "global_state_root": "sr1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq6gk0xu"
43  }
44