Skip to content

Commit 25b86d3

Browse files
author
Tang Jiawei
committed
fix precomputed blocks
1 parent 09fd5a8 commit 25b86d3

File tree

1 file changed

+24
-24
lines changed

1 file changed

+24
-24
lines changed

src/lib/mina_block/sample_precomputed_block.ml

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -291,7 +291,7 @@ let sample_block_sexp =
291291
(permissions
292292
((edit_state Signature) (access None) (send Signature) (receive None)
293293
(set_delegate Signature) (set_permissions Signature)
294-
(set_verification_key Signature) (set_zkapp_uri Signature)
294+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
295295
(edit_action_state Signature) (set_token_symbol Signature)
296296
(increment_nonce Signature) (set_voting_for Signature)
297297
(set_timing Signature)))
@@ -308,7 +308,7 @@ let sample_block_sexp =
308308
(permissions
309309
((edit_state Signature) (access None) (send Signature) (receive None)
310310
(set_delegate Signature) (set_permissions Signature)
311-
(set_verification_key Signature) (set_zkapp_uri Signature)
311+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
312312
(edit_action_state Signature) (set_token_symbol Signature)
313313
(increment_nonce Signature) (set_voting_for Signature)
314314
(set_timing Signature)))
@@ -325,7 +325,7 @@ let sample_block_sexp =
325325
(permissions
326326
((edit_state Signature) (access None) (send Signature) (receive None)
327327
(set_delegate Signature) (set_permissions Signature)
328-
(set_verification_key Signature) (set_zkapp_uri Signature)
328+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
329329
(edit_action_state Signature) (set_token_symbol Signature)
330330
(increment_nonce Signature) (set_voting_for Signature)
331331
(set_timing Signature)))
@@ -342,7 +342,7 @@ let sample_block_sexp =
342342
(permissions
343343
((edit_state Signature) (access None) (send Signature) (receive None)
344344
(set_delegate Signature) (set_permissions Signature)
345-
(set_verification_key Signature) (set_zkapp_uri Signature)
345+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
346346
(edit_action_state Signature) (set_token_symbol Signature)
347347
(increment_nonce Signature) (set_voting_for Signature)
348348
(set_timing Signature)))
@@ -359,7 +359,7 @@ let sample_block_sexp =
359359
(permissions
360360
((edit_state Signature) (access None) (send Signature) (receive None)
361361
(set_delegate Signature) (set_permissions Signature)
362-
(set_verification_key Signature) (set_zkapp_uri Signature)
362+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
363363
(edit_action_state Signature) (set_token_symbol Signature)
364364
(increment_nonce Signature) (set_voting_for Signature)
365365
(set_timing Signature)))
@@ -376,7 +376,7 @@ let sample_block_sexp =
376376
(permissions
377377
((edit_state Signature) (access None) (send Signature) (receive None)
378378
(set_delegate Signature) (set_permissions Signature)
379-
(set_verification_key Signature) (set_zkapp_uri Signature)
379+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
380380
(edit_action_state Signature) (set_token_symbol Signature)
381381
(increment_nonce Signature) (set_voting_for Signature)
382382
(set_timing Signature)))
@@ -393,7 +393,7 @@ let sample_block_sexp =
393393
(permissions
394394
((edit_state Signature) (access None) (send Signature) (receive None)
395395
(set_delegate Signature) (set_permissions Signature)
396-
(set_verification_key Signature) (set_zkapp_uri Signature)
396+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
397397
(edit_action_state Signature) (set_token_symbol Signature)
398398
(increment_nonce Signature) (set_voting_for Signature)
399399
(set_timing Signature)))
@@ -410,7 +410,7 @@ let sample_block_sexp =
410410
(permissions
411411
((edit_state Signature) (access None) (send Signature) (receive None)
412412
(set_delegate Signature) (set_permissions Signature)
413-
(set_verification_key Signature) (set_zkapp_uri Signature)
413+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
414414
(edit_action_state Signature) (set_token_symbol Signature)
415415
(increment_nonce Signature) (set_voting_for Signature)
416416
(set_timing Signature)))
@@ -427,7 +427,7 @@ let sample_block_sexp =
427427
(permissions
428428
((edit_state Signature) (access None) (send Signature) (receive None)
429429
(set_delegate Signature) (set_permissions Signature)
430-
(set_verification_key Signature) (set_zkapp_uri Signature)
430+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
431431
(edit_action_state Signature) (set_token_symbol Signature)
432432
(increment_nonce Signature) (set_voting_for Signature)
433433
(set_timing Signature)))
@@ -444,7 +444,7 @@ let sample_block_sexp =
444444
(permissions
445445
((edit_state Signature) (access None) (send Signature) (receive None)
446446
(set_delegate Signature) (set_permissions Signature)
447-
(set_verification_key Signature) (set_zkapp_uri Signature)
447+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
448448
(edit_action_state Signature) (set_token_symbol Signature)
449449
(increment_nonce Signature) (set_voting_for Signature)
450450
(set_timing Signature)))
@@ -461,7 +461,7 @@ let sample_block_sexp =
461461
(permissions
462462
((edit_state Signature) (access None) (send Signature) (receive None)
463463
(set_delegate Signature) (set_permissions Signature)
464-
(set_verification_key Signature) (set_zkapp_uri Signature)
464+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
465465
(edit_action_state Signature) (set_token_symbol Signature)
466466
(increment_nonce Signature) (set_voting_for Signature)
467467
(set_timing Signature)))
@@ -478,7 +478,7 @@ let sample_block_sexp =
478478
(permissions
479479
((edit_state Signature) (access None) (send Signature) (receive None)
480480
(set_delegate Signature) (set_permissions Signature)
481-
(set_verification_key Signature) (set_zkapp_uri Signature)
481+
(set_verification_key (Signature ((transaction 1) (network 1) (patch 0)))) (set_zkapp_uri Signature)
482482
(edit_action_state Signature) (set_token_symbol Signature)
483483
(increment_nonce Signature) (set_voting_for Signature)
484484
(set_timing Signature)))
@@ -921,7 +921,7 @@ let sample_block_json =
921921
"Signature"
922922
],
923923
"set_verification_key": [
924-
"Signature"
924+
["Signature"], { "transaction": 1, "network": 1, "patch": 0 }
925925
],
926926
"set_zkapp_uri": [
927927
"Signature"
@@ -979,7 +979,7 @@ let sample_block_json =
979979
"Signature"
980980
],
981981
"set_verification_key": [
982-
"Signature"
982+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
983983
],
984984
"set_zkapp_uri": [
985985
"Signature"
@@ -1037,7 +1037,7 @@ let sample_block_json =
10371037
"Signature"
10381038
],
10391039
"set_verification_key": [
1040-
"Signature"
1040+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
10411041
],
10421042
"set_zkapp_uri": [
10431043
"Signature"
@@ -1095,7 +1095,7 @@ let sample_block_json =
10951095
"Signature"
10961096
],
10971097
"set_verification_key": [
1098-
"Signature"
1098+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
10991099
],
11001100
"set_zkapp_uri": [
11011101
"Signature"
@@ -1153,7 +1153,7 @@ let sample_block_json =
11531153
"Signature"
11541154
],
11551155
"set_verification_key": [
1156-
"Signature"
1156+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
11571157
],
11581158
"set_zkapp_uri": [
11591159
"Signature"
@@ -1211,7 +1211,7 @@ let sample_block_json =
12111211
"Signature"
12121212
],
12131213
"set_verification_key": [
1214-
"Signature"
1214+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
12151215
],
12161216
"set_zkapp_uri": [
12171217
"Signature"
@@ -1269,7 +1269,7 @@ let sample_block_json =
12691269
"Signature"
12701270
],
12711271
"set_verification_key": [
1272-
"Signature"
1272+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
12731273
],
12741274
"set_zkapp_uri": [
12751275
"Signature"
@@ -1327,7 +1327,7 @@ let sample_block_json =
13271327
"Signature"
13281328
],
13291329
"set_verification_key": [
1330-
"Signature"
1330+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
13311331
],
13321332
"set_zkapp_uri": [
13331333
"Signature"
@@ -1385,7 +1385,7 @@ let sample_block_json =
13851385
"Signature"
13861386
],
13871387
"set_verification_key": [
1388-
"Signature"
1388+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
13891389
],
13901390
"set_zkapp_uri": [
13911391
"Signature"
@@ -1443,7 +1443,7 @@ let sample_block_json =
14431443
"Signature"
14441444
],
14451445
"set_verification_key": [
1446-
"Signature"
1446+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
14471447
],
14481448
"set_zkapp_uri": [
14491449
"Signature"
@@ -1501,7 +1501,7 @@ let sample_block_json =
15011501
"Signature"
15021502
],
15031503
"set_verification_key": [
1504-
"Signature"
1504+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
15051505
],
15061506
"set_zkapp_uri": [
15071507
"Signature"
@@ -1559,7 +1559,7 @@ let sample_block_json =
15591559
"Signature"
15601560
],
15611561
"set_verification_key": [
1562-
"Signature"
1562+
[ "Signature" ], { "transaction": 1, "network": 1, "patch": 0 }
15631563
],
15641564
"set_zkapp_uri": [
15651565
"Signature"

0 commit comments

Comments
 (0)