get_SECP256R1_modulus

Returns the SECP256R1 (P-256) base field modulus as CircuitModulus.

Fully qualified path: garaga::definitions::curves::get_SECP256R1_modulus

pub fn get_SECP256R1_modulus() -> CircuitModulus