Struct RnsContext 

pub struct RnsContext {
    pub moduli: Vec<u64>,
    pub ariths: Vec<Ntt64Arith>,
    pub ntt_ctxs: Vec<Ntt64Context>,
    pub poly_degree: usize,
}

RNS context: a set of coprime moduli.

Precomputes modular arithmetic and NTT contexts for each modulus, enabling efficient component-wise polynomial operations.

Fields

moduli: Vec<u64>

The moduli q₁, q₂, …, q_L.

ariths: Vec<Ntt64Arith>

Modular arithmetic contexts for each modulus (Barrett, Montgomery).

ntt_ctxs: Vec<Ntt64Context>

NTT contexts for each modulus.

poly_degree: usize

Polynomial degree N.

Implementations

impl RnsContext

pub fn new(poly_degree: usize, moduli: Vec<u64>) -> Self

Creates an RNS context with the given moduli.

Precomputes all modular arithmetic and NTT contexts. Each modulus must be NTT-friendly for the given polynomial degree.

Panics

• If poly_degree is not a power of 2
• If moduli is empty
• If any modulus is not NTT-friendly for the given degree

pub fn num_moduli(&self) -> usize

Number of moduli (= total number of levels).