Skip to content

Commit e677a81

Browse files
jayz22jayz22
committed
cleanup, add documentation, fix observations
clean up, add documentation add tests for flag handling remove g1_vectors test
1 parent 0893abc commit e677a81

14 files changed

+902
-1334
lines changed

‎soroban-env-host/observations/25/test__bn254__g1_add_mul_hardcoded.json‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
{
2+
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
3+
" 1 call bn254_g1_add(Bytes(obj#3), Bytes(obj#3))": "cpu:1958, mem:320, objs:-/2@324b470d",
4+
" 2 call bytes_new_from_slice(64)": "cpu:10470",
5+
" 3 ret bytes_new_from_slice -> Ok(Bytes(obj#5))": "cpu:11449, mem:480, objs:-/3@ba4a17db",
6+
" 4 ret bn254_g1_add -> Ok(Bytes(obj#5))": "cpu:11510",
7+
" 5 call obj_cmp(Bytes(obj#5), Bytes(obj#1))": "",
8+
" 6 ret obj_cmp -> Ok(0)": "cpu:11806",
9+
" 7 call bn254_g1_mul(Bytes(obj#3), U256(2))": "",
10+
" 8 call bytes_new_from_slice(64)": "cpu:1167112",
11+
" 9 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1168091, mem:640, objs:-/4@f44bfa60",
12+
" 10 ret bn254_g1_mul -> Ok(Bytes(obj#7))": "cpu:1168152",
13+
" 11 call obj_cmp(Bytes(obj#7), Bytes(obj#1))": "",
14+
" 12 ret obj_cmp -> Ok(0)": "cpu:1168448",
15+
" 13 end": "cpu:1168448, mem:640, prngs:-/-, objs:-/4@f44bfa60, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
16+
}

‎soroban-env-host/observations/25/test__bn254__g1_pairing_hardcoded.json‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
{
2+
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
3+
" 1 call vec_new_from_slice(2)": " objs:-/4@20c682c0",
4+
" 2 ret vec_new_from_slice -> Ok(Vec(obj#9))": "cpu:1089, mem:112, objs:-/5@c2deb084",
5+
" 3 call vec_new_from_slice(2)": "",
6+
" 4 ret vec_new_from_slice -> Ok(Vec(obj#11))": "cpu:2178, mem:224, objs:-/6@474fa541",
7+
" 5 call bn254_multi_pairing_check(Vec(obj#9), Vec(obj#11))": "",
8+
" 6 call vec_len(Vec(obj#9))": "cpu:2422",
9+
" 7 ret vec_len -> Ok(U32(2))": "cpu:2544",
10+
" 8 call vec_len(Vec(obj#11))": "cpu:7073, mem:368",
11+
" 9 ret vec_len -> Ok(U32(2))": "cpu:7195",
12+
" 10 ret bn254_multi_pairing_check -> Ok(True)": "cpu:17289379, mem:99844",
13+
" 11 end": "cpu:17289379, mem:99844, prngs:-/-, objs:-/6@474fa541, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
14+
}

‎soroban-env-host/observations/25/test__bn254__g1_vectors.json‎

Lines changed: 0 additions & 626 deletions
This file was deleted.

‎soroban-env-host/observations/25/test__bn254__hardcoded_serialization.json‎

Lines changed: 28 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,42 @@
11
{
22
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
33
" 1 call bn254_g1_mul(Bytes(obj#1), U256(2))": "cpu:2953, mem:544, objs:-/3@94c97854",
4-
" 2 call bytes_new_from_slice(64)": "cpu:1158589",
5-
" 3 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1159568, mem:704, objs:-/4@77104004",
6-
" 4 ret bn254_g1_mul -> Ok(Bytes(obj#7))": "cpu:1159629",
4+
" 2 call bytes_new_from_slice(64)": "cpu:1158259",
5+
" 3 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1159238, mem:704, objs:-/4@77104004",
6+
" 4 ret bn254_g1_mul -> Ok(Bytes(obj#7))": "cpu:1159299",
77
" 5 call bn254_g1_add(Bytes(obj#1), Bytes(obj#1))": "",
8-
" 6 call bytes_new_from_slice(64)": "cpu:1169489",
9-
" 7 ret bytes_new_from_slice -> Ok(Bytes(obj#9))": "cpu:1170468, mem:864, objs:-/5@9587fe44",
10-
" 8 ret bn254_g1_add -> Ok(Bytes(obj#9))": "cpu:1170529",
8+
" 6 call bytes_new_from_slice(64)": "cpu:1167811",
9+
" 7 ret bytes_new_from_slice -> Ok(Bytes(obj#9))": "cpu:1168790, mem:864, objs:-/5@9587fe44",
10+
" 8 ret bn254_g1_add -> Ok(Bytes(obj#9))": "cpu:1168851",
1111
" 9 call obj_cmp(Bytes(obj#7), Bytes(obj#9))": "",
12-
" 10 ret obj_cmp -> Ok(0)": "cpu:1170825",
12+
" 10 ret obj_cmp -> Ok(0)": "cpu:1169147",
1313
" 11 call bn254_g1_add(Bytes(obj#1), Bytes(obj#5))": "",
14-
" 12 call bytes_new_from_slice(64)": "cpu:1180685",
15-
" 13 ret bytes_new_from_slice -> Ok(Bytes(obj#11))": "cpu:1181664, mem:1024, objs:-/6@d2dc0ba8",
16-
" 14 ret bn254_g1_add -> Ok(Bytes(obj#11))": "cpu:1181725",
14+
" 12 call bytes_new_from_slice(64)": "cpu:1177659",
15+
" 13 ret bytes_new_from_slice -> Ok(Bytes(obj#11))": "cpu:1178638, mem:1024, objs:-/6@d2dc0ba8",
16+
" 14 ret bn254_g1_add -> Ok(Bytes(obj#11))": "cpu:1178699",
1717
" 15 call bn254_g1_add(Bytes(obj#5), Bytes(obj#1))": "",
18-
" 16 call bytes_new_from_slice(64)": "cpu:1191585",
19-
" 17 ret bytes_new_from_slice -> Ok(Bytes(obj#13))": "cpu:1192564, mem:1184, objs:-/7@7b5b6828",
20-
" 18 ret bn254_g1_add -> Ok(Bytes(obj#13))": "cpu:1192625",
18+
" 16 call bytes_new_from_slice(64)": "cpu:1187211",
19+
" 17 ret bytes_new_from_slice -> Ok(Bytes(obj#13))": "cpu:1188190, mem:1184, objs:-/7@7b5b6828",
20+
" 18 ret bn254_g1_add -> Ok(Bytes(obj#13))": "cpu:1188251",
2121
" 19 call obj_cmp(Bytes(obj#11), Bytes(obj#13))": "",
22-
" 20 ret obj_cmp -> Ok(0)": "cpu:1192921",
22+
" 20 ret obj_cmp -> Ok(0)": "cpu:1188547",
2323
" 21 call vec_new_from_slice(2)": "cpu:0, mem:0",
2424
" 22 ret vec_new_from_slice -> Ok(Vec(obj#15))": "cpu:1089, mem:112, objs:-/8@e1c7a2ed",
25-
" 23 call bytes_new_from_slice(128)": "",
26-
" 24 ret bytes_new_from_slice -> Ok(Bytes(obj#17))": "cpu:2084, mem:336, objs:-/9@a3507cf3",
25+
" 23 call bytes_new_from_slice(128)": "cpu:2465",
26+
" 24 ret bytes_new_from_slice -> Ok(Bytes(obj#17))": "cpu:3460, mem:336, objs:-/9@a3507cf3",
2727
" 25 call vec_new_from_slice(2)": "",
28-
" 26 ret vec_new_from_slice -> Ok(Vec(obj#19))": "cpu:3173, mem:448, objs:-/10@5f3b6373",
28+
" 26 ret vec_new_from_slice -> Ok(Vec(obj#19))": "cpu:4549, mem:448, objs:-/10@5f3b6373",
2929
" 27 call bn254_multi_pairing_check(Vec(obj#15), Vec(obj#19))": "",
30-
" 28 call vec_len(Vec(obj#15))": "cpu:3417",
31-
" 29 ret vec_len -> Ok(U32(2))": "cpu:3539",
32-
" 30 call vec_len(Vec(obj#19))": "cpu:10104, mem:592",
33-
" 31 ret vec_len -> Ok(U32(2))": "cpu:10226",
34-
" 32 ret bn254_multi_pairing_check -> Ok(False)": "cpu:14351876, mem:100068",
35-
" 33 call bn254_g1_add(Bytes(obj#1), Bytes(obj#21))": "cpu:14352855, mem:100228, objs:-/11@9d3cb468",
36-
" 34 call bytes_new_from_slice(64)": "cpu:14359749",
37-
" 35 ret bytes_new_from_slice -> Ok(Bytes(obj#23))": "cpu:14360728, mem:100388, objs:-/12@2ff61ce0",
38-
" 36 ret bn254_g1_add -> Ok(Bytes(obj#23))": "cpu:14360789",
30+
" 28 call vec_len(Vec(obj#15))": "cpu:4793",
31+
" 29 ret vec_len -> Ok(U32(2))": "cpu:4915",
32+
" 30 call vec_len(Vec(obj#19))": "cpu:9444, mem:592",
33+
" 31 ret vec_len -> Ok(U32(2))": "cpu:9566",
34+
" 32 ret bn254_multi_pairing_check -> Ok(False)": "cpu:14349180, mem:100068",
35+
" 33 call bn254_g1_add(Bytes(obj#1), Bytes(obj#21))": "cpu:14350159, mem:100228, objs:-/11@9d3cb468",
36+
" 34 call bytes_new_from_slice(64)": "cpu:14356723",
37+
" 35 ret bytes_new_from_slice -> Ok(Bytes(obj#23))": "cpu:14357702, mem:100388, objs:-/12@2ff61ce0",
38+
" 36 ret bn254_g1_add -> Ok(Bytes(obj#23))": "cpu:14357763",
3939
" 37 call obj_cmp(Bytes(obj#23), Bytes(obj#1))": "",
40-
" 38 ret obj_cmp -> Ok(0)": "cpu:14361085",
41-
" 39 end": "cpu:14361085, mem:100388, prngs:-/-, objs:-/12@2ff61ce0, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
40+
" 38 ret obj_cmp -> Ok(0)": "cpu:14358059",
41+
" 39 end": "cpu:14358059, mem:100388, prngs:-/-, objs:-/12@2ff61ce0, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
4242
}

0 commit comments

Comments
 (0)