fhelium.engine.rns.chain

Mathematical Q/P modulus-chain layout for rank-local CKKS values.

RnsChain

class View source

RnsChain(num_q_primes: int, num_p_primes: int)

Prime identities and active bases for a CKKS modulus chain.

Prime ids follow the engine's canonical parameter order [Q | P]. For Q ids (0, ..., num_q_primes - 1) and P ids in the fixed suffix, public level $\ell$ has

$$I_{\ell }=(\ell ,\dots ,\mathtt{num}\mathtt{\_}\mathtt{q}\mathtt{\_}\mathtt{primes}-1),Q_{\ell }=\prod _{i\in I_{\ell }}{q}_i.$$

include_p=True appends every P id and therefore describes $Q_{\ell }P$; it is an internal layout selector rather than semantic value metadata. These ids map limb row j to parameter prime prime_ids[j] exactly.

Attributes

Name	Type	Default/value
num_q_primes	int
num_p_primes	int

rns_basis_level_count

property

rns_basis_level_count: int

total_modulus_count

property

total_modulus_count: int

q_prime_ids

property

q_prime_ids: tuple[int, ...]

p_prime_ids

property

p_prime_ids: tuple[int, ...]

base_q_prime_id

property

base_q_prime_id: int

check_level

method

def check_level(level: int) -> None: ...

q_prime_ids_at_level

method

def q_prime_ids_at_level(level: int) -> tuple[int, ...]: ...

Return ordered ids for $Q_{\ell }$.

qp_prime_ids_at_level

method

def qp_prime_ids_at_level(level: int) -> tuple[int, ...]: ...

Return ordered ids for $Q_{\ell }P$.

prime_ids

method

def prime_ids(level: int, *, include_p: bool=False) -> tuple[int, ...]: ...

parameter_rows

method

def parameter_rows(level: int, *, include_p: bool=False) -> slice: ...

Return the zero-copy interval for the selected canonical basis.