get_modulus

Returns the base field modulus p as a CircuitModulus for circuit operations.

CircuitModulus is used by Cairo’s circuit builtins for modular arithmetic.

Arguments

• curve_index - Index of the curve (0-5)

Returns

• The prime modulus p as CircuitModulus

Panics

• Panics for invalid curve indices

Fully qualified path: garaga::definitions::curves::get_modulus

pub fn get_modulus(curve_index: u32) -> CircuitModulus