FHElium

Appearance

fhelium.backend.rns.chain ​

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

RnsChain ​

class View source

python
RnsChain(num_q_primes: int, num_p_primes: int, q_depth_group_sizes: tuple[int, ...] | None = None)

Prime identities and active bases for a CKKS modulus chain.

Prime ids follow the RNS parameter order [Q | P]. Q rows are partitioned by q_depth_group_sizes. If sd is the flattened row offset of group d, the active Q identifiers are

Id=(sd,…,num_q_primes−1),Qd=∏i∈Idqi.

include_p=True appends every P id and therefore describes QdP; 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 ​

NameTypeDefault/value
num_q_primesint
num_p_primesint
q_depth_group_sizestuple[int, ...] | NoneNone

basis_row_starts ​

property

python
basis_row_starts: tuple[int, ...]

Return the flattened Q-row offset of every chain position.

basis_count ​

property

python
basis_count: int

total_modulus_count ​

property

python
total_modulus_count: int

q_prime_ids ​

property

python
q_prime_ids: tuple[int, ...]

p_prime_ids ​

property

python
p_prime_ids: tuple[int, ...]

check_depth ​

method

python
def check_depth(depth: int) -> None: ...

q_prime_ids_at_depth ​

method

python
def q_prime_ids_at_depth(depth: int) -> tuple[int, ...]: ...

Return ordered ids for Qd.

qp_prime_ids_at_depth ​

method

python
def qp_prime_ids_at_depth(depth: int) -> tuple[int, ...]: ...

Return ordered ids for QdP.

prime_ids ​

method

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

parameter_rows ​

method

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

Return the zero-copy interval for the selected basis.