|
| 1 | +(module bls) |
| 2 | + |
| 3 | +(defcolumns |
| 4 | + (STAMP :i32) |
| 5 | + (ID :i32) |
| 6 | + (INDEX :i16) |
| 7 | + (LIMB :i128) |
| 8 | + (TOTAL_SIZE :i16) |
| 9 | + (PHASE :i16) |
| 10 | + (INDEX_MAX :i16) |
| 11 | + (SUCCESS_BIT :binary@prove) |
| 12 | + |
| 13 | + (IS_POINT_EVALUATION_DATA :binary@prove) |
| 14 | + (IS_POINT_EVALUATION_RESULT :binary@prove) |
| 15 | + (IS_G1_ADD_DATA :binary@prove) |
| 16 | + (IS_G1_ADD_RESULT :binary@prove) |
| 17 | + (IS_G1_MSM_DATA :binary@prove) |
| 18 | + (IS_G1_MSM_RESULT :binary@prove) |
| 19 | + (IS_G2_ADD_DATA :binary@prove) |
| 20 | + (IS_G2_ADD_RESULT :binary@prove) |
| 21 | + (IS_G2_MSM_DATA :binary@prove) |
| 22 | + (IS_G2_MSM_RESULT :binary@prove) |
| 23 | + (IS_PAIRING_CHECK_DATA :binary@prove) |
| 24 | + (IS_PAIRING_CHECK_RESULT :binary@prove) |
| 25 | + (IS_MAP_FP_TO_G1_DATA :binary@prove) |
| 26 | + (IS_MAP_FP_TO_G1_RESULT :binary@prove) |
| 27 | + (IS_MAP_FP2_TO_G2_DATA :binary@prove) |
| 28 | + (IS_MAP_FP2_TO_G2_RESULT :binary@prove) |
| 29 | + |
| 30 | + |
| 31 | + (TOTAL_INPUTS :i16) |
| 32 | + (ACC_INPUTS :i16) |
| 33 | + (INTERNAL_CHECKS_PASSED :binary@prove) |
| 34 | + (PARTIAL_CHECKS :binary@prove) |
| 35 | + (BYTE_DELTA :byte@prove) |
| 36 | + (CT :i3) |
| 37 | + (CT_MAX :i3) |
| 38 | + (IS_FIRST_INPUT :binary@prove) |
| 39 | + (IS_SECOND_INPUT :binary@prove) |
| 40 | + (IS_INFINITY :binary@prove) |
| 41 | + (TRIVIAL_ALL_INFTY :binary@prove) |
| 42 | + (TRIVIAL_WITH_MEMBERSHIP_CHECK :binary@prove) |
| 43 | + (NOT_ON_CX :binary@prove) |
| 44 | + (NOT_ON_CX_ACC :binary@prove) |
| 45 | + (NOT_ON_CX_ACC_MAX :binary@prove) |
| 46 | + (NOT_ON_GX :binary@prove) |
| 47 | + (NOT_ON_GX_ACC :binary@prove) |
| 48 | + (NOT_ON_GX_ACC_MAX :binary@prove) |
| 49 | + (C1_MEMBERSHIP_TEST_REQUIRED :binary@prove) |
| 50 | + (G1_MEMBERSHIP_TEST_REQUIRED :binary@prove) |
| 51 | + (C2_MEMBERSHIP_TEST_REQUIRED :binary@prove) |
| 52 | + (G2_MEMBERSHIP_TEST_REQUIRED :binary@prove) |
| 53 | + (ACCEPTABLE_PAIR_OF_POINTS_FOR_PAIRING_CIRCUIT :binary@prove) |
| 54 | + |
| 55 | + (CIRCUIT_SELECTOR_POINT_EVALUATION :binary@prove) |
| 56 | + (CIRCUIT_SELECTOR_C1_MEMBERSHIP :binary@prove) |
| 57 | + (CIRCUIT_SELECTOR_G1_MEMBERSHIP :binary@prove) |
| 58 | + (CIRCUIT_SELECTOR_C2_MEMBERSHIP :binary@prove) |
| 59 | + (CIRCUIT_SELECTOR_G2_MEMBERSHIP :binary@prove) |
| 60 | + (CIRCUIT_SELECTOR_PAIRING :binary@prove) |
| 61 | + (CIRCUIT_SELECTOR_G1_ADD :binary@prove) |
| 62 | + (CIRCUIT_SELECTOR_G2_ADD :binary@prove) |
| 63 | + (CIRCUIT_SELECTOR_G1_MSM :binary@prove) |
| 64 | + (CIRCUIT_SELECTOR_G2_MSM :binary@prove) |
| 65 | + (CIRCUIT_SELECTOR_MAP_FP_TO_G1 :binary@prove) |
| 66 | + (CIRCUIT_SELECTOR_MAP_FP2_TO_G2 :binary@prove) |
| 67 | + |
| 68 | + (WCP_FLAG :binary@prove) |
| 69 | + (WCP_ARG1_HI :i128) |
| 70 | + (WCP_ARG1_LO :i128) |
| 71 | + (WCP_ARG2_HI :i128) |
| 72 | + (WCP_ARG2_LO :i128) |
| 73 | + (WCP_RES :binary) |
| 74 | + (WCP_INST :byte :display :opcode) |
| 75 | +) |
| 76 | + |
| 77 | +;; aliases |
| 78 | +(defalias |
| 79 | + ICP INTERNAL_CHECKS_PASSED |
| 80 | + PART_CHECKS PARTIAL_CHECKS |
| 81 | + C1MTR C1_MEMBERSHIP_TEST_REQUIRED |
| 82 | + G1MTR G1_MEMBERSHIP_TEST_REQUIRED |
| 83 | + C2MTR C2_MEMBERSHIP_TEST_REQUIRED |
| 84 | + G2MTR G2_MEMBERSHIP_TEST_REQUIRED |
| 85 | + ACCPC ACCEPTABLE_PAIR_OF_POINTS_FOR_PAIRING_CIRCUIT |
| 86 | + CS_POINT_EVALUATION CIRCUIT_SELECTOR_POINT_EVALUATION |
| 87 | + CS_C1_MEMBERSHIP CIRCUIT_SELECTOR_C1_MEMBERSHIP |
| 88 | + CS_G1_MEMBERSHIP CIRCUIT_SELECTOR_G1_MEMBERSHIP |
| 89 | + CS_C2_MEMBERSHIP CIRCUIT_SELECTOR_C2_MEMBERSHIP |
| 90 | + CS_G2_MEMBERSHIP CIRCUIT_SELECTOR_G2_MEMBERSHIP |
| 91 | + CS_PAIRING CIRCUIT_SELECTOR_PAIRING |
| 92 | + CS_G1_ADD CIRCUIT_SELECTOR_G1_ADD |
| 93 | + CS_G2_ADD CIRCUIT_SELECTOR_G2_ADD |
| 94 | + CS_G1_MSM CIRCUIT_SELECTOR_G1_MSM |
| 95 | + CS_G2_MSM CIRCUIT_SELECTOR_G2_MSM |
| 96 | + CS_MAP_FP_TO_G1 CIRCUIT_SELECTOR_MAP_FP_TO_G1 |
| 97 | + CS_MAP_FP2_TO_G2 CIRCUIT_SELECTOR_MAP_FP2_TO_G2 |
| 98 | +) |
| 99 | + |
| 100 | + |
0 commit comments