get_ED25519_modulus

Returns the ED25519 base field modulus as CircuitModulus. (Modulus of the birationally equivalent Weierstrass curve)

Fully qualified path: garaga::definitions::curves::get_ED25519_modulus

pub fn get_ED25519_modulus() -> CircuitModulus