rue/tests/builtins.yaml at main · xch-dev/rue · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
tests:
- name: casting
  program: (a (i (= (a (q . 1) (q . 42)) (q . 42)) (q 2 (i (= (a (q . 2) (q "hello" . "world")) (q . "hello")) (q 2 (i (= (a (q . 3) (q "hello" . "world")) (q . "world")) (q) (q 8)) 1) (q 8)) 1) (q 8)) 1)
  debug_program: (a (i (= (q . "hello") (q . "hello")) (q 2 (q 2 (i (= (a 2 (q . 42)) (q . 42)) (q 2 (q 2 (i (= (a 4 (c (q . "hello") (q . "world"))) (q . "hello")) (q 2 (i (= (a 6 (c (q . "hello") (q . "world"))) (q . "world")) (q) (q 8 (q . "assertion failed at builtins.rue:10:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:9:5"))) 1) (c (c (q . 2) (q . 3)) 1)) (q 8 (q . "assertion failed at builtins.rue:5:5"))) 1) (c (q . 1) 1)) (q 8 (q . "assertion failed at builtins.rue:2:5"))) 1)
  output: ()
  runtime_cost: 1640
  byte_cost: 1788000
  total_cost: 1789640
- name: hash_functions
  program: (a (i (= (sha256 (q . "hello")) (q . 0x2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824)) (q 2 (i (= (a (c (c (q . 11) ()) (q "hel" 27759)) ()) (q . 0x2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824)) (q 2 (i (= (keccak256 (q . "hello")) (q . 0x1c8aff950685c2ed4bc3174f3472287b56d9517b9c948127319a09a7a36deac8)) (q 2 (i (= (a (c (c (q . 62) ()) (q "hel" 27759)) ()) (q . 0x1c8aff950685c2ed4bc3174f3472287b56d9517b9c948127319a09a7a36deac8)) (q 2 (q 2 (q 2 (i (= 2 (sha256 9 21 29)) (q 2 (i (= 2 (q . 0xb74ea4f137ada0db15f35bb38f3ae75e5a92d0c9bb2dc8745ed8b202d8397add)) (q) (q 8)) 1) (q 8)) 1) (c (coinid 4 10 14) 1)) (c (c (sha256 (q . "parent_coin_id")) (c (sha256 (q . "puzzle_hash")) (q . 1))) 1)) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1)
  debug_program: (a (i (= (sha256 (q . "hello")) (q . 0x2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824)) (q 2 (i (= (a (c (c (q . 11) ()) (c (q . "hel") (c (q . 27759) ()))) ()) (q . 0x2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824)) (q 2 (i (= (sha256 (q . "hello")) (q . 0x2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824)) (q 2 (i (= (keccak256 (q . "hello")) (q . 0x1c8aff950685c2ed4bc3174f3472287b56d9517b9c948127319a09a7a36deac8)) (q 2 (i (= (a (c (c (q . 62) ()) (c (q . "hel") (c (q . 27759) ()))) ()) (q . 0x1c8aff950685c2ed4bc3174f3472287b56d9517b9c948127319a09a7a36deac8)) (q 2 (i (= (keccak256 (q . "hello")) (q . 0x1c8aff950685c2ed4bc3174f3472287b56d9517b9c948127319a09a7a36deac8)) (q 2 (q 2 (q 2 (i (= 2 (sha256 (concat (concat 9 21) 29))) (q 2 (i (= 2 (q . 0xb74ea4f137ada0db15f35bb38f3ae75e5a92d0c9bb2dc8745ed8b202d8397add)) (q) (q 8 (q . "assertion failed at builtins.rue:38:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:37:5"))) 1) (c (coinid 4 10 14) 1)) (c (c (sha256 (q . "parent_coin_id")) (c (sha256 (q . "puzzle_hash")) (q . 1))) 1)) (q 8 (q . "assertion failed at builtins.rue:28:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:24:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:23:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:19:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:15:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:14:5"))) 1)
  output: ()
  runtime_cost: 9715
  byte_cost: 6072000
  total_cost: 6081715
- name: byte_manipulation
  program: (a (i (a (c (c (q . 14) ()) ()) ()) (q 8) (q 2 (i (= (a (c (c (q . 14) ()) (q "hello")) ()) (q . "hello")) (q 2 (i (= (a (c (c (q . 14) ()) (q "hel" 27759)) ()) (q . "hello")) (q) (q 8)) 1) (q 8)) 1)) 1)
  debug_program: (a (i (= (a (c (c (q . 14) ()) ()) ()) ()) (q 2 (i (= (a (c (c (q . 14) ()) (c (q . "hello") ())) ()) (q . "hello")) (q 2 (i (= (a (c (c (q . 14) ()) (c (q . "hel") (c (q . 27759) ()))) ()) (q . "hello")) (q 2 (i (= (substr (q . "hello") (q . 2)) (q . "llo")) (q 2 (i (= (substr (q . "hello") () (q . 2)) (q . 26725)) (q 2 (i (= (substr (q . "hello") () (q . 5)) (q . "hello")) (q) (q 8 (q . "assertion failed at builtins.rue:48:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:47:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:46:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:44:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:43:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:42:5"))) 1)
  output: ()
  runtime_cost: 3185
  byte_cost: 2004000
  total_cost: 2007185
- name: arithmetic
  program: (a (i (a (c (c (q . 16) ()) ()) ()) (q 8) (q 2 (i (= (a (c (c (q . 16) ()) (q 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 16) ()) (q 1 2)) ()) (q . 3)) (q 2 (i (a (c (c (q . 17) ()) ()) ()) (q 8) (q 2 (i (= (a (c (c (q . 17) ()) (q 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 17) ()) (q 1 2)) ()) (q . -1)) (q 2 (i (= (a (c (c (q . 18) ()) ()) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 18) ()) (q 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 18) ()) (q 2 3)) ()) (q . 6)) (q 2 (q 2 (i (= 4 (q . 3)) (q 2 (i (= 6 (q . 1)) (q) (q 8)) 1) (q 8)) 1) (c (q 3 . 1) 1)) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1)) 1) (q 8)) 1) (q 8)) 1)) 1)
  debug_program: (a (i (= (a (c (c (q . 16) ()) ()) ()) ()) (q 2 (i (= (a (c (c (q . 16) ()) (c (q . 1) ())) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 16) ()) (c (q . 1) (c (q . 2) ()))) ()) (q . 3)) (q 2 (i (= (a (c (c (q . 17) ()) ()) ()) ()) (q 2 (i (= (a (c (c (q . 17) ()) (c (q . 1) ())) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 17) ()) (c (q . 1) (c (q . 2) ()))) ()) (- () (q . 1))) (q 2 (i (= (a (c (c (q . 18) ()) ()) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 18) ()) (c (q . 1) ())) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 18) ()) (c (q . 2) (c (q . 3) ()))) ()) (q . 6)) (q 2 (q 2 (i (= (f 2) (q . 3)) (q 2 (i (= (r 2) (q . 1)) (q 2 (i (= (modpow (q . 2) (q . 3) (q . 5)) (q . 3)) (q) (q 8 (q . "assertion failed at builtins.rue:68:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:66:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:65:5"))) 1) (c (divmod (q . 10) (q . 3)) 1)) (q 8 (q . "assertion failed at builtins.rue:62:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:61:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:60:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:58:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:57:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:56:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:54:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:53:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:52:5"))) 1)
  output: ()
  runtime_cost: 11479
  byte_cost: 6264000
  total_cost: 6275479
- name: boolean_logic
  program: (a (i (a (c (c (q . 33) ()) ()) ()) (q 8) (q 2 (i (a (c (c (q . 33) ()) (q ())) ()) (q 8) (q 2 (i (= (a (c (c (q . 33) ()) (q 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 33) ()) (q () 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 34) ()) ()) ()) (q . 1)) (q 2 (i (a (c (c (q . 34) ()) (q ())) ()) (q 8) (q 2 (i (= (a (c (c (q . 34) ()) (q 1)) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 34) ()) (q 1 1)) ()) (q . 1)) (q) (q 8)) 1) (q 8)) 1)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1)) 1)) 1)
  debug_program: (a (i (= (a (c (c (q . 33) ()) ()) ()) ()) (q 2 (i (= (a (c (c (q . 33) ()) (c () ())) ()) ()) (q 2 (i (= (a (c (c (q . 33) ()) (c (q . 1) ())) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 33) ()) (c () (c (q . 1) ()))) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 34) ()) ()) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 34) ()) (c () ())) ()) ()) (q 2 (i (= (a (c (c (q . 34) ()) (c (q . 1) ())) ()) (q . 1)) (q 2 (i (= (a (c (c (q . 34) ()) (c (q . 1) (c (q . 1) ()))) ()) (q . 1)) (q) (q 8 (q . "assertion failed at builtins.rue:80:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:79:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:78:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:77:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:75:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:74:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:73:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:72:5"))) 1)
  output: ()
  runtime_cost: 9752
  byte_cost: 4668000
  total_cost: 4677752
- name: g1_math
  program: (a (q 2 (q 2 (i (= (q . 0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5) (q 2 (i (= (q . 0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5) (q 2 (i (= (pubkey_for_exp (sha256 ())) 4) (q 2 (i (= (a (c (c (q . 29) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 29) ()) (c 4 (c 4 ()))) ()) 6) (q 2 (i (= (a (c (c (q . 49) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 49) ()) (c 4 (c 4 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 6 (c 4 ()))) ()) 4) (q 2 (i (= (a (c (c (q . 49) ()) (c 6 (c 4 (c 4 ())))) ()) 5) (q) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (c (q 0x8646e8b10532e235ddb8fd7edcdb8d8b76c1006af0518e39d6cc2a84d059d1858f7749e4af3571eb8660d0d3aa91954b . 0xa895cfd6482f4ff7328e0aa65a7902654bfaaf473eadf53a30620d04500949b1b2003c4559cd3a4bed3125f9ea2825d5) 1)) (c (point_add) ()))
  debug_program: (a (q 2 (q 2 (i (= (pubkey_for_exp ()) 5) (q 2 (i (= (pubkey_for_exp (q . 0x0000000000000000000000000000000000000000000000000000000000000000)) 5) (q 2 (i (= (pubkey_for_exp (sha256 ())) 4) (q 2 (i (= (a (c (c (q . 29) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 29) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 29) ()) (c 4 (c 4 ()))) ()) 6) (q 2 (i (= (a (c (c (q . 49) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 49) ()) (c 4 (c 4 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 49) ()) (c 6 (c 4 ()))) ()) 4) (q 2 (i (= (a (c (c (q . 49) ()) (c 6 (c 4 (c 4 ())))) ()) 5) (q) (q 8 (q . "assertion failed at builtins.rue:105:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:104:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:103:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:102:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:101:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:100:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:99:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:97:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:96:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:95:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:94:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:93:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:91:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:88:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:87:5"))) 1) (c (c (q . 0x8646e8b10532e235ddb8fd7edcdb8d8b76c1006af0518e39d6cc2a84d059d1858f7749e4af3571eb8660d0d3aa91954b) (q . 0xa895cfd6482f4ff7328e0aa65a7902654bfaaf473eadf53a30620d04500949b1b2003c4559cd3a4bed3125f9ea2825d5)) 1)) (c (point_add) ()))
  output: ()
  runtime_cost: 25510748
  byte_cost: 11652000
  total_cost: 37162748
- name: g2_math
  program: (a (q 2 (q 2 (i (= (a (c (c (q . 52) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 52) ()) (c 4 (c 4 ()))) ()) 6) (q 2 (i (= (a (c (c (q . 53) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 53) ()) (c 4 (c 4 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 6 (c 4 ()))) ()) 4) (q 2 (i (= (a (c (c (q . 53) ()) (c 6 (c 4 (c 4 ())))) ()) 5) (q) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (c (q 0xb1e87e3c3edbc445c23ec72974abf75ddf37d2958ee46e7c1e625feb3038a22915d5625b09b988d45ac125b43b8bb3bc16de0110df42517cf5e832584015b8af417eaa77df04acf45b4ef5ce0e574d3f5c1a3fc41cbea00500e2da5699ba9063 . 0x8842468e1b71c650a1c89917df83e9d3c7be9768c326cfb3acd392ab9e7bc03631ee0fe5597b6bd64a7d056713c19f6e0269fb581460167adcc15c3602b9d84bdfa3089568697512a2bc09d08be3db872a461f87ced501ccc600830b2ae4df9a) 1)) (c (g2_add) ()))
  debug_program: (a (q 2 (q 2 (i (= (a (c (c (q . 52) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 52) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 52) ()) (c 4 (c 4 ()))) ()) 6) (q 2 (i (= (a (c (c (q . 53) ()) ()) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 5 ())) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 5 (c 5 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 4 ())) ()) 4) (q 2 (i (= (a (c (c (q . 53) ()) (c 4 (c 4 ()))) ()) 5) (q 2 (i (= (a (c (c (q . 53) ()) (c 6 (c 4 ()))) ()) 4) (q 2 (i (= (a (c (c (q . 53) ()) (c 6 (c 4 (c 4 ())))) ()) 5) (q) (q 8 (q . "assertion failed at builtins.rue:124:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:123:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:122:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:121:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:120:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:119:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:118:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:116:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:115:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:114:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:113:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:112:5"))) 1) (c (c (q . 0xb1e87e3c3edbc445c23ec72974abf75ddf37d2958ee46e7c1e625feb3038a22915d5625b09b988d45ac125b43b8bb3bc16de0110df42517cf5e832584015b8af417eaa77df04acf45b4ef5ce0e574d3f5c1a3fc41cbea00500e2da5699ba9063) (q . 0x8842468e1b71c650a1c89917df83e9d3c7be9768c326cfb3acd392ab9e7bc03631ee0fe5597b6bd64a7d056713c19f6e0269fb581460167adcc15c3602b9d84bdfa3089568697512a2bc09d08be3db872a461f87ced501ccc600830b2ae4df9a)) 1)) (c (g2_add) ()))
  output: ()
  runtime_cost: 34216780
  byte_cost: 10596000
  total_cost: 44812780
- name: verifications
  program: (i () (all ()) ())
  debug_program: (i (q . 1) (i (q . 1) (i (q . 1) (i (q . 1) () (secp256r1_verify (q . 0x033e1a1b2ccbc35883c60fdfc3f4a02175096ade6271fe85517ca5772594bbd0dc) (q . 0x85932e4d075615be881398cc765f9f78204033f0ef5f832ac37e732f5f0cbda2) (q . 0xeae2f488080919bd0a7069c24cdd9c6ce2db423861b0c9d4236cdadbd0005f6d8f3709e6eb19249fd9c8bea664aba35218e67ea4b0f2239488dc3147f336e1e6))) (secp256k1_verify (q . 0x02390b19842e100324163334b16947f66125b76d4fa4a11b9ccdde9b7398e64076) (q . 0x85932e4d075615be881398cc765f9f78204033f0ef5f832ac37e732f5f0cbda2) (q . 0x481477e62a1d02268127ae89cc58929e09ad5d30229721965ae35965d098a5f630205a7e69f4cb8084f16c7407ed7312994ffbf87ba5eb1aee16682dd324943e))) (bls_verify (q . 0x80c37921e62092ef55f85f9eccb21bd80cfaafc0bce9cbdd6999b1a8cabadc8f23720f0261efafaf53cbcc74580b9432007b66d824668900a94934f184bc41bf9ccf9ec141c6f7da610aa7296cd0a181ae8fe176b607aa4c367f15ee0cb985d7) (q . 0x8b202593319bce41b090f3309986de59861ab1e2ff32aef871d83f9aac232c7253c01f1f649c6f69879c441286319de4) (q . 0x39cb1950dba19a7bee9924b5bd2b29f190ffe4ef))) (bls_pairing_identity (q . 0x8b202593319bce41b090f3309986de59861ab1e2ff32aef871d83f9aac232c7253c01f1f649c6f69879c441286319de4) (q . 0x942adad4dbeadcfd75aaa11940a5e5e16a8d8e91742029a3944610635ccc0572eceeb1c89d8a0e904c5d30b9497e700312dee7b833535effef24953dbf8f8aa770e2f1a8e01d3b6f6844e01a635ed95664babe9d62a2572651d0258461c8ba00) (q . 0xb7f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb) (q . 0x80c37921e62092ef55f85f9eccb21bd80cfaafc0bce9cbdd6999b1a8cabadc8f23720f0261efafaf53cbcc74580b9432007b66d824668900a94934f184bc41bf9ccf9ec141c6f7da610aa7296cd0a181ae8fe176b607aa4c367f15ee0cb985d7)))
  output: ()
  runtime_cost: 667
  byte_cost: 156000
  total_cost: 156667
- name: g1_map_matches_hash_to_g1
  program: (a (i (= (g1_map (q . "hello")) (q . 0xb9778eae7f8b8835ca69aff31ad9a486c5382eae0f376bb67cb674c9282d4fd85e66370efc51d45fcfff3092cc237589)) (q 2 (i (= (g1_map (q . "hello") (q . "dst")) (q . 0x8952469e0f387c954bb2d9288df4b74ff2e5b5243d7c65404f3dccbb25345227466fc532f0f760d27f5651aaa085f4b1)) (q) (q 8)) 1) (q 8)) 1)
  debug_program: (a (i (= (g1_map (q . "hello")) (q . 0xb9778eae7f8b8835ca69aff31ad9a486c5382eae0f376bb67cb674c9282d4fd85e66370efc51d45fcfff3092cc237589)) (q 2 (i (= (g1_map (q . "hello") (q . "BLS_SIG_BLS12381G1_XMD:SHA-256_SSWU_RO_AUG_")) (q . 0xb9778eae7f8b8835ca69aff31ad9a486c5382eae0f376bb67cb674c9282d4fd85e66370efc51d45fcfff3092cc237589)) (q 2 (i (= (g1_map (q . "hello") (q . "dst")) (q . 0x8952469e0f387c954bb2d9288df4b74ff2e5b5243d7c65404f3dccbb25345227466fc532f0f760d27f5651aaa085f4b1)) (q) (q 8 (q . "assertion failed at builtins.rue:164:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:159:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:155:5"))) 1)
  output: ()
  runtime_cost: 392176
  byte_cost: 2184000
  total_cost: 2576176
- name: g2_map_matches_hash_to_g2
  program: (a (i (= (g2_map (q . "hello")) (q . 0xadd3f3a887f40305145a82da215efda9e8ada4c80a2ce06d5d16ad3ff0d9dbcb15e922064f1c207fb86031c3d8f613ce04cb26e160634a574920b4fcfca41025d31d1e6092223ed2c358687ef7df37fe26ac8d7c4c34a9c376863c31d978d61b)) (q 2 (i (= (g2_map (q . "hello") (q . "dst")) (q . 0xa2e5e6008aca60a3e0db7e814b5de97de2fcc0809f77862ac55845d2a5b4e848180d4cfdd2564335813a6fb1cb767f6815cae7e974a61b4255e6f054604d0b6c53b61d0637dc37d3187e623192f16ba16137bc2b9f0c07057d55689857348426)) (q) (q 8)) 1) (q 8)) 1)
  debug_program: (a (i (= (g2_map (q . "hello")) (q . 0xadd3f3a887f40305145a82da215efda9e8ada4c80a2ce06d5d16ad3ff0d9dbcb15e922064f1c207fb86031c3d8f613ce04cb26e160634a574920b4fcfca41025d31d1e6092223ed2c358687ef7df37fe26ac8d7c4c34a9c376863c31d978d61b)) (q 2 (i (= (g2_map (q . "hello") (q . "BLS_SIG_BLS12381G2_XMD:SHA-256_SSWU_RO_AUG_")) (q . 0xadd3f3a887f40305145a82da215efda9e8ada4c80a2ce06d5d16ad3ff0d9dbcb15e922064f1c207fb86031c3d8f613ce04cb26e160634a574920b4fcfca41025d31d1e6092223ed2c358687ef7df37fe26ac8d7c4c34a9c376863c31d978d61b)) (q 2 (i (= (g2_map (q . "hello") (q . "dst")) (q . 0xa2e5e6008aca60a3e0db7e814b5de97de2fcc0809f77862ac55845d2a5b4e848180d4cfdd2564335813a6fb1cb767f6815cae7e974a61b4255e6f054604d0b6c53b61d0637dc37d3187e623192f16ba16137bc2b9f0c07057d55689857348426)) (q) (q 8 (q . "assertion failed at builtins.rue:181:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:176:5"))) 1) (q 8 (q . "assertion failed at builtins.rue:172:5"))) 1)
  output: ()
  runtime_cost: 1633328
  byte_cost: 3360000
  total_cost: 4993328
- name: g1_map_rejects_pair_message
  program: (a (i (= (g1_map (q 1 . 2) (q . "dst")) (point_add)) (q) (q 8)) 1)
  debug_program: (a (q 2 (i (= (g1_map (c (q . 1) (q . 2)) (q . "dst")) 2) (q) (q 8 (q . "assertion failed at builtins.rue:189:5"))) 1) (c (point_add) ()))
  byte_cost: 528000
  clvm_error: 'InvalidOperatorArg: g1_map used on list'
- name: g2_map_rejects_pair_message
  program: (a (i (= (g2_map (q 1 . 2) (q . "dst")) (g2_add)) (q) (q 8)) 1)
  debug_program: (a (q 2 (i (= (g2_map (c (q . 1) (q . 2)) (q . "dst")) 2) (q) (q 8 (q . "assertion failed at builtins.rue:193:5"))) 1) (c (g2_add) ()))
  byte_cost: 528000
  clvm_error: 'InvalidOperatorArg: g2_map used on list'
diagnostics:
- |-
  Unnecessary comparison with `false` at builtins.rue:72:12
    help: Negate the value instead
- |-
  Unnecessary comparison with `false` at builtins.rue:73:12
    help: Negate the value instead
- |-
  Unnecessary comparison with `true` at builtins.rue:74:12
    help: Use the value directly
- |-
  Unnecessary comparison with `true` at builtins.rue:75:12
    help: Use the value directly
- |-
  Unnecessary comparison with `true` at builtins.rue:77:12
    help: Use the value directly
- |-
  Unnecessary comparison with `false` at builtins.rue:78:12
    help: Negate the value instead
- |-
  Unnecessary comparison with `true` at builtins.rue:79:12
    help: Use the value directly
- |-
  Unnecessary comparison with `true` at builtins.rue:80:12
    help: Use the value directly