Skip to main content

xdbl

logicaffeine_proof::elliptic

Function xdbl 

Source 
pub fn xdbl(
    x: &BigInt,
    z: &BigInt,
    a24: &BigInt,
    n: &BigInt,
) -> (BigInt, BigInt)
Expand description

x-only doubling on a Montgomery curve mod n, given a24 = (A+2)/4. Maps (X:Z) to 2·(X:Z) using only field + − × (no inversion).