Struct ReductionContext 

pub struct ReductionContext {
    pub m: BigNumber,
    pub mont: Option<Montgomery>,
    /* private fields */
}

Context for performing modular reduction operations.

Mirrors the TS SDK’s ReductionContext class. Can be constructed with an arbitrary modulus or with the string “k256” to use the secp256k1 prime.

Fields

m: BigNumber

The modulus used for reduction.

mont: Option<Montgomery>

Optional Montgomery context for the modulus (available for K256).

Implementations

impl ReductionContext

pub fn new(m: BigNumber) -> Arc<Self>

Create a new ReductionContext with the given modulus.

pub fn k256() -> Arc<Self>

Create a ReductionContext for the secp256k1 field prime (k256). Includes a Montgomery context for use by callers needing Montgomery form.

pub fn with_prime(prime: Box<dyn MersennePrime>) -> Arc<Self>

Create a new ReductionContext with a Mersenne prime.

pub fn imod(&self, a: &BigNumber) -> BigNumber

Reduce a BigNumber modulo m.

pub fn convert_to(&self, num: &BigNumber) -> BigNumber

Convert a BigNumber into this reduction context (reduce mod m).

pub fn convert_from(&self, num: &BigNumber) -> BigNumber

Convert a BigNumber from this reduction context (just clone).

pub fn neg(&self, a: &BigNumber) -> BigNumber

Negate a in the context of modulus m.

pub fn add(&self, a: &BigNumber, b: &BigNumber) -> BigNumber

Add two BigNumbers mod m.

pub fn sub(&self, a: &BigNumber, b: &BigNumber) -> BigNumber

Subtract b from a mod m.

pub fn mul(&self, a: &BigNumber, b: &BigNumber) -> BigNumber

Multiply two BigNumbers mod m. For K256 with 4-limb operands, uses Karatsuba mul_4x4 followed by limb-level K256 reduction, avoiding all BigNumber temporary allocations.

pub fn sqr(&self, a: &BigNumber) -> BigNumber

Square a BigNumber mod m. For K256 with 4-limb operands, uses sqr_4x4 followed by limb-level K256 reduction.

pub fn invm(&self, a: &BigNumber) -> BigNumber

Modular inverse in context.

pub fn pow(&self, a: &BigNumber, exp: &BigNumber) -> BigNumber

Modular exponentiation: a^exp mod m.

pub fn sqrt(&self, a: &BigNumber) -> BigNumber

Modular square root (Tonelli-Shanks for p % 4 == 3).

Trait Implementations

impl Debug for ReductionContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.