fhelium.compile.passes.ckks._insert_multiply_ntt_transitions
Insert NTT transitions required by encrypted multiplication.
InsertMultiplyNttTransitionsPass
class View source
python
InsertMultiplyNttTransitionsPass(name: str = 'insert-multiply-ntt-transitions')1
Insert typed CKKS NTT transitions at registered logical multiplies.
The transformed operand type records NTT/Montgomery state, so repeated application is idempotent without a marker attribute. Unrealized casts preserve visible type-changing edges from logical values to CKKS values.
Attributes
| Name | Type | Default/value |
|---|---|---|
name | str | 'insert-multiply-ntt-transitions' |
run
method
python
def run(compilation: 'Compilation') -> PassResult: ...1
Insert missing transitions or return a legal no-op report.