fhelium.experimental.jit.passes.insert_multiply_ntt_transitions

Insert NTT transitions required by encrypted multiplication.

InsertMultiplyNttTransitionsPass

class View source

InsertMultiplyNttTransitionsPass(name: str = 'insert-multiply-ntt-transitions')

Insert ciphertext NTT transitions for logical multiplication.

Each encrypted operand of an unmarked binary multiply receives one fhelium.ckks.to_ntt operation. This covers both ciphertext-ciphertext and ciphertext-plaintext multiplication and records an idempotence marker. Malformed matches remain unchanged as successful skipped operations.

Attributes

Name	Type	Default/value
name	str	'insert-multiply-ntt-transitions'

run

method

def run(program: Program, workspace: MutableMapping[Any, Any]) -> PassResult: ...

Insert transitions module-wide or return a legal no-op report.