Struct RnsPoly 

pub struct RnsPoly {
    pub components: Vec<Poly64>,
    pub level: usize,
}

Polynomial in RNS representation: one component per modulus.

Each component components[i] is a polynomial in Z_{q_i}[X]/(X^N+1), stored in NTT domain by default for performance.

The level indicates the number of active moduli. CKKS rescaling reduces the level by removing the last modulus.

Fields

components: Vec<Poly64>

components[i] = polynomial modulo moduli[i].

level: usize

Current level (number of active moduli).

Implementations

impl RnsPoly

pub fn from_coefficients(coeffs: &[i64], ctx: &RnsContext) -> Self

Encodes a signed-integer polynomial into RNS representation.

For each modulus q_i:

1. Reduces each coefficient mod q_i (handles negatives)
2. Converts to NTT domain

Arguments

• coeffs — polynomial coefficients in Z (signed, coefficient domain)
• ctx — RNS context

pub fn add(&self, other: &RnsPoly, ctx: &RnsContext) -> RnsPoly

Component-wise addition in RNS.

Both polynomials must have the same level.

pub fn sub(&self, other: &RnsPoly, ctx: &RnsContext) -> RnsPoly

Component-wise subtraction in RNS.

pub fn mul(&self, other: &RnsPoly, ctx: &RnsContext) -> RnsPoly

Component-wise multiplication in RNS (NTT domain).

All components must be in NTT domain.

pub fn drop_last_modulus(&mut self)

Drops the last modulus (CKKS rescaling).

After this operation, the level decreases by 1 and the last component is removed. The scale factor Δ is implicitly divided by q_L.

Panics

Panics if the level is already 1.

pub fn forward_all(&mut self, ctx: &RnsContext)

Converts all components from coefficient domain to NTT domain.

Components already in NTT domain are skipped.

pub fn inverse_all(&mut self, ctx: &RnsContext)

Converts all components from NTT domain to coefficient domain.

Components already in coefficient domain are skipped.

Trait Implementations

impl Clone for RnsPoly

fn clone(&self) -> RnsPoly

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RnsPoly

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

Formats the value using the given formatter.