In the pairing implementation there are a few functions that the pairing uses repeatedly. These include the miller_bit_o, miller_bit_p, miller_bit_n and sqr_target. Let's encode these in circuits, these functions will depend on previous circuit implementations.
In the pairing implementation there are a few functions that the pairing uses repeatedly. These include the miller_bit_o, miller_bit_p, miller_bit_n and sqr_target. Let's encode these in circuits, these functions will depend on previous circuit implementations.