fhelium.experimental.jit.passes.validate_cipher_states
Invoke an provided ciphertext-state validator.
StateValidator
data View source
python
StateValidator = Callable[[Program, MutableMapping[Any, Any]], None]1
ValidateCipherStatesPass
class View source
python
ValidateCipherStatesPass(validator: StateValidator, name: str = 'validate-cipher-states')1
Apply one caller-selected numerical ciphertext-state validator.
The validator receives the current Program and retained Workspace and owns backend-specific policy for engines, parameter sets, and exact CKKS state. Successful validation returns the Program unchanged and reports the number of direct module-wide operation candidates.
Attributes
| Name | Type | Default/value |
|---|---|---|
validator | StateValidator | |
name | str | 'validate-cipher-states' |
run
method
python
def run(program: Program, workspace: MutableMapping[Any, Any]) -> PassResult: ...1
Validate exact state through the selected service.