| hash_u384 | — |
| hash_u288 | — |
| hash_quadruple_u288 | — |
| hash_u384_transcript | — |
| hash_u288_transcript | — |
| hash_E12D_u384 | — |
| hash_E12D_u288 | — |
| hash_E12D_one_u384 | — |
| hash_E12D_one_u288 | — |
| hash_MillerLoopResultScalingFactor_u384 | — |
| hash_MillerLoopResultScalingFactor_u288 | — |
| hash_E12D_u384_transcript | — |
| hash_E12D_u288_transcript | — |
| hash_G1G2Pair | — |
| hash_G1Point | — |