compute_yInvXnegOverY
Fully qualified path: garaga::ec::pairing::pairing_check::compute_yInvXnegOverY
pub fn compute_yInvXnegOverY(x: u384, y: u384, modulus: CircuitModulus) -> (u384, u384)
Press ← or → to navigate between chapters
Press ? to show this help
Press Esc to hide this help
Fully qualified path: garaga::ec::pairing::pairing_check::compute_yInvXnegOverY
pub fn compute_yInvXnegOverY(x: u384, y: u384, modulus: CircuitModulus) -> (u384, u384)