Skip to content

Commit

Permalink
Add test for Fp out-of-range
Browse files Browse the repository at this point in the history
  • Loading branch information
@jayz22
jayz22 committed Sep 17, 2024
1 parent 3f00183 commit ad0b7b3
Show file tree
Hide file tree
Showing 6 changed files with 319 additions and 252 deletions.
90 changes: 47 additions & 43 deletions soroban-env-host/observations/22/test__bls12_381__check_g1_is_in_subgroup.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,47 +28,51 @@
" 26 ret bls12_381_check_g1_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:18393",
" 27 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#23))": "cpu:23007, mem:2113, objs:-/12@85f05c1a",
" 28 ret bls12_381_check_g1_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:27033",
" 29 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#25))": "cpu:29340, mem:2289, objs:-/13@5aa03fef",
" 30 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:763876",
" 31 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#27))": "cpu:766183, mem:2465, objs:-/14@38656519",
" 32 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:1500719",
" 33 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#29))": "cpu:1503026, mem:2641, objs:-/15@c4a5e239",
" 34 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:2237562",
" 35 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#31))": "cpu:2239869, mem:2817, objs:-/16@8ba02515",
" 36 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:2974405",
" 37 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#33))": "cpu:2976712, mem:2993, objs:-/17@c29b4e55",
" 38 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:3711248",
" 39 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#35))": "cpu:3713555, mem:3169, objs:-/18@1641d2ec",
" 40 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:4448091",
" 41 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#37))": "cpu:4450398, mem:3345, objs:-/19@cc8d23ee",
" 42 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:5184934",
" 43 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#39))": "cpu:5187241, mem:3521, objs:-/20@797d6389",
" 44 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:5921777",
" 45 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#41))": "cpu:5924084, mem:3697, objs:-/21@1c345573",
" 46 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:6658620",
" 47 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#43))": "cpu:6660927, mem:3873, objs:-/22@54d1ee5f",
" 48 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:7395463",
" 49 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#45))": "cpu:7397770, mem:4049, objs:-/23@44d12712",
" 50 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:8132306",
" 51 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#49))": "cpu:8136920, mem:4401, objs:-/25@eadeeca2",
" 52 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:8871456",
" 53 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#53))": "cpu:8876070, mem:4753, objs:-/27@710f61db",
" 54 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:9610606",
" 55 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#57))": "cpu:9615220, mem:5105, objs:-/29@7508f59d",
" 56 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:10349756",
" 57 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#61))": "cpu:10354370, mem:5457, objs:-/31@8f31f30b",
" 58 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:11088906",
" 59 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#65))": "cpu:11093520, mem:5809, objs:-/33@c198683c",
" 60 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:11828056",
" 61 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#69))": "cpu:11832670, mem:6161, objs:-/35@324358fe",
" 62 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:12567206",
" 63 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#73))": "cpu:12571820, mem:6513, objs:-/37@c149e38f",
" 64 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:13306356",
" 65 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#77))": "cpu:13310970, mem:6865, objs:-/39@45c38f7f",
" 66 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:14045506",
" 67 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#81))": "cpu:14050120, mem:7217, objs:-/41@1aa8b119",
" 68 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:14784656",
" 69 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#85))": "cpu:14789270, mem:7569, objs:-/43@cb657d13",
" 70 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:15523806",
" 71 end": "cpu:15523806, mem:7569, prngs:-/-, objs:-/43@cb657d13, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
" 29 call bytes_copy_from_slice(Bytes(obj#27), U32(0), 98)": "cpu:31647, mem:2465, objs:-/14@38656519",
" 30 ret bytes_copy_from_slice -> Ok(Bytes(obj#29))": "cpu:33181, mem:2659, objs:-/15@a4950fe8",
" 31 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#29))": "",
" 32 ret bls12_381_check_g1_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:33303",
" 33 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#31))": "cpu:35610, mem:2835, objs:-/16@500e79a7",
" 34 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:770146",
" 35 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#33))": "cpu:772453, mem:3011, objs:-/17@8f4ffce",
" 36 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:1506989",
" 37 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#35))": "cpu:1509296, mem:3187, objs:-/18@2f9e8c61",
" 38 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:2243832",
" 39 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#37))": "cpu:2246139, mem:3363, objs:-/19@69985e40",
" 40 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:2980675",
" 41 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#39))": "cpu:2982982, mem:3539, objs:-/20@d096ebd0",
" 42 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:3717518",
" 43 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#41))": "cpu:3719825, mem:3715, objs:-/21@68ab7bd3",
" 44 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:4454361",
" 45 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#43))": "cpu:4456668, mem:3891, objs:-/22@7e3dc994",
" 46 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:5191204",
" 47 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#45))": "cpu:5193511, mem:4067, objs:-/23@a6f58142",
" 48 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:5928047",
" 49 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#47))": "cpu:5930354, mem:4243, objs:-/24@25b1a124",
" 50 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:6664890",
" 51 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#49))": "cpu:6667197, mem:4419, objs:-/25@ad6b88e5",
" 52 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:7401733",
" 53 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#51))": "cpu:7404040, mem:4595, objs:-/26@bde93363",
" 54 ret bls12_381_check_g1_is_in_subgroup -> Ok(True)": "cpu:8138576",
" 55 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#55))": "cpu:8143190, mem:4947, objs:-/28@200189b4",
" 56 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:8877726",
" 57 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#59))": "cpu:8882340, mem:5299, objs:-/30@9133038c",
" 58 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:9616876",
" 59 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#63))": "cpu:9621490, mem:5651, objs:-/32@db0fc406",
" 60 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:10356026",
" 61 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#67))": "cpu:10360640, mem:6003, objs:-/34@352a99fb",
" 62 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:11095176",
" 63 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#71))": "cpu:11099790, mem:6355, objs:-/36@fc80803a",
" 64 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:11834326",
" 65 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#75))": "cpu:11838940, mem:6707, objs:-/38@6e4b656f",
" 66 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:12573476",
" 67 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#79))": "cpu:12578090, mem:7059, objs:-/40@874192c8",
" 68 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:13312626",
" 69 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#83))": "cpu:13317240, mem:7411, objs:-/42@c24e82e7",
" 70 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:14051776",
" 71 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#87))": "cpu:14056390, mem:7763, objs:-/44@bf8f3db5",
" 72 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:14790926",
" 73 call bls12_381_check_g1_is_in_subgroup(Bytes(obj#91))": "cpu:14795540, mem:8115, objs:-/46@4de2e45d",
" 74 ret bls12_381_check_g1_is_in_subgroup -> Ok(False)": "cpu:15530076",
" 75 end": "cpu:15530076, mem:8115, prngs:-/-, objs:-/46@4de2e45d, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
}
90 changes: 47 additions & 43 deletions soroban-env-host/observations/22/test__bls12_381__check_g2_is_in_subgroup.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,47 +28,51 @@
" 26 ret bls12_381_check_g2_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:25243",
" 27 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#23))": "cpu:32549, mem:3265, objs:-/12@345f9e87",
" 28 ret bls12_381_check_g2_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:42532",
" 29 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#25))": "cpu:46185, mem:3537, objs:-/13@376ef5fd",
" 30 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:1113990",
" 31 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#27))": "cpu:1117643, mem:3809, objs:-/14@5bbf9054",
" 32 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:2185448",
" 33 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#29))": "cpu:2189101, mem:4081, objs:-/15@416695be",
" 34 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:3256906",
" 35 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#31))": "cpu:3260559, mem:4353, objs:-/16@8e09b5f",
" 36 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:4328364",
" 37 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#33))": "cpu:4332017, mem:4625, objs:-/17@f009aea2",
" 38 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:5399822",
" 39 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#35))": "cpu:5403475, mem:4897, objs:-/18@9ae14428",
" 40 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:6471280",
" 41 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#37))": "cpu:6474933, mem:5169, objs:-/19@bd9dfac1",
" 42 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:7542738",
" 43 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#39))": "cpu:7546391, mem:5441, objs:-/20@dcc1270c",
" 44 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:8614196",
" 45 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#41))": "cpu:8617849, mem:5713, objs:-/21@a6b0db9",
" 46 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:9685654",
" 47 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#43))": "cpu:9689307, mem:5985, objs:-/22@4a3f6fb7",
" 48 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:10757112",
" 49 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#45))": "cpu:10760765, mem:6257, objs:-/23@d4c84a78",
" 50 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:11828570",
" 51 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#49))": "cpu:11835876, mem:6801, objs:-/25@430fa4aa",
" 52 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:12903681",
" 53 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#53))": "cpu:12910987, mem:7345, objs:-/27@9e31a04c",
" 54 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:13978792",
" 55 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#57))": "cpu:13986098, mem:7889, objs:-/29@6047ea8d",
" 56 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:15053903",
" 57 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#61))": "cpu:15061209, mem:8433, objs:-/31@3deb0a32",
" 58 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:16129014",
" 59 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#65))": "cpu:16136320, mem:8977, objs:-/33@6c658f19",
" 60 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:17204125",
" 61 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#69))": "cpu:17211431, mem:9521, objs:-/35@1eca5ef7",
" 62 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:18279236",
" 63 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#73))": "cpu:18286542, mem:10065, objs:-/37@65689e4f",
" 64 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:19354347",
" 65 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#77))": "cpu:19361653, mem:10609, objs:-/39@a28f171b",
" 66 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:20429458",
" 67 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#81))": "cpu:20436764, mem:11153, objs:-/41@25bfb586",
" 68 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:21504569",
" 69 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#85))": "cpu:21511875, mem:11697, objs:-/43@268e18bf",
" 70 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:22579680",
" 71 end": "cpu:22579680, mem:11697, prngs:-/-, objs:-/43@268e18bf, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
" 29 call bytes_copy_from_slice(Bytes(obj#27), U32(0), 98)": "cpu:49838, mem:3809, objs:-/14@5bbf9054",
" 30 ret bytes_copy_from_slice -> Ok(Bytes(obj#29))": "cpu:50962, mem:4081, objs:-/15@59d72b9d",
" 31 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#29))": "",
" 32 ret bls12_381_check_g2_is_in_subgroup -> Err(Error(Crypto, InvalidInput))": "cpu:51084",
" 33 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#31))": "cpu:54737, mem:4353, objs:-/16@383aa473",
" 34 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:1122542",
" 35 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#33))": "cpu:1126195, mem:4625, objs:-/17@10e08142",
" 36 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:2194000",
" 37 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#35))": "cpu:2197653, mem:4897, objs:-/18@257c5aed",
" 38 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:3265458",
" 39 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#37))": "cpu:3269111, mem:5169, objs:-/19@bd25c348",
" 40 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:4336916",
" 41 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#39))": "cpu:4340569, mem:5441, objs:-/20@aac1ed33",
" 42 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:5408374",
" 43 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#41))": "cpu:5412027, mem:5713, objs:-/21@485881be",
" 44 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:6479832",
" 45 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#43))": "cpu:6483485, mem:5985, objs:-/22@f6c251d8",
" 46 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:7551290",
" 47 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#45))": "cpu:7554943, mem:6257, objs:-/23@28f2277a",
" 48 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:8622748",
" 49 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#47))": "cpu:8626401, mem:6529, objs:-/24@b60b70c0",
" 50 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:9694206",
" 51 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#49))": "cpu:9697859, mem:6801, objs:-/25@b1831620",
" 52 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:10765664",
" 53 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#51))": "cpu:10769317, mem:7073, objs:-/26@12a73c61",
" 54 ret bls12_381_check_g2_is_in_subgroup -> Ok(True)": "cpu:11837122",
" 55 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#55))": "cpu:11844428, mem:7617, objs:-/28@b222759",
" 56 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:12912233",
" 57 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#59))": "cpu:12919539, mem:8161, objs:-/30@d53d3525",
" 58 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:13987344",
" 59 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#63))": "cpu:13994650, mem:8705, objs:-/32@f338c504",
" 60 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:15062455",
" 61 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#67))": "cpu:15069761, mem:9249, objs:-/34@355470cc",
" 62 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:16137566",
" 63 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#71))": "cpu:16144872, mem:9793, objs:-/36@c13ff257",
" 64 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:17212677",
" 65 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#75))": "cpu:17219983, mem:10337, objs:-/38@89aa31a3",
" 66 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:18287788",
" 67 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#79))": "cpu:18295094, mem:10881, objs:-/40@6af1f9a8",
" 68 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:19362899",
" 69 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#83))": "cpu:19370205, mem:11425, objs:-/42@563d3e28",
" 70 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:20438010",
" 71 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#87))": "cpu:20445316, mem:11969, objs:-/44@3997f663",
" 72 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:21513121",
" 73 call bls12_381_check_g2_is_in_subgroup(Bytes(obj#91))": "cpu:21520427, mem:12513, objs:-/46@ca7e6ad6",
" 74 ret bls12_381_check_g2_is_in_subgroup -> Ok(False)": "cpu:22588232",
" 75 end": "cpu:22588232, mem:12513, prngs:-/-, objs:-/46@ca7e6ad6, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-"
}
Loading

0 comments on commit ad0b7b3

Please sign in to comment.