pub fn coord_lambda(b: &CircuitBuilder) -> BigUint
The value λ of the endomorphism λ (x, y) = (βx, y).
λ
λ (x, y) = (βx, y)