Type Alias rln::circuit::G1Projective

pub type G1Projective = G1Projective;

Aliased Type

struct G1Projective {
    pub x: Fp<MontBackend<FqConfig, 4>, 4>,
    pub y: Fp<MontBackend<FqConfig, 4>, 4>,
    pub z: Fp<MontBackend<FqConfig, 4>, 4>,
}

Fields

x: Fp<MontBackend<FqConfig, 4>, 4>

X / Z projection of the affine X

y: Fp<MontBackend<FqConfig, 4>, 4>

Y / Z projection of the affine Y

z: Fp<MontBackend<FqConfig, 4>, 4>

Projective multiplicative inverse. Will be 0 only at infinity.