API

Modules

• concrete.compiler: Compiler submodule.

• concrete.compiler.compilation_context: CompilationContext.

• concrete.compiler.compilation_feedback: Compilation feedback.

• concrete.compiler.tfhers_int: Import and export TFHErs integers into Concrete.

• concrete.compiler.utils: Common utils for the compiler submodule.

• concrete.fhe: Concrete.

• concrete.fhe.compilation: Glue the compilation process together.

• concrete.fhe.compilation.artifacts: Declaration of DebugArtifacts class.

• concrete.fhe.compilation.circuit: Declaration of Circuit class.

• concrete.fhe.compilation.client: Declaration of Client class.

• concrete.fhe.compilation.compiler: Declaration of Compiler class.

• concrete.fhe.compilation.composition: Declaration of classes related to composition.

• concrete.fhe.compilation.configuration: Declaration of Configuration class.

• concrete.fhe.compilation.decorators: Declaration of circuit and compiler decorators.

• concrete.fhe.compilation.evaluation_keys: Declaration of EvaluationKeys.

• concrete.fhe.compilation.keys: Declaration of Keys class.

• concrete.fhe.compilation.module: Declaration of FheModule classes.

• concrete.fhe.compilation.module_compiler: Declaration of MultiCompiler class.

• concrete.fhe.compilation.server: Declaration of Server class.

• concrete.fhe.compilation.specs: Declaration of ClientSpecs class.

• concrete.fhe.compilation.status: Declaration of EncryptionStatus class.

• concrete.fhe.compilation.utils: Declaration of various functions and constants related to compilation.

• concrete.fhe.compilation.value: Declaration of Value class.

• concrete.fhe.compilation.wiring: Declaration of wiring related class.

• concrete.fhe.dtypes: Define available data types and their semantics.

• concrete.fhe.dtypes.base: Declaration of BaseDataType abstract class.

• concrete.fhe.dtypes.float: Declaration of Float class.

• concrete.fhe.dtypes.integer: Declaration of Integer class.

• concrete.fhe.dtypes.utils: Declaration of various functions and constants related to data types.

• concrete.fhe.extensions: Provide additional features that are not present in numpy.

• concrete.fhe.extensions.array: Declaration of array function, to simplify creation of encrypted arrays.

• concrete.fhe.extensions.bits: Bit extraction extensions.

• concrete.fhe.extensions.constant: Declaration of constant functions, to allow server side trivial encryption.

• concrete.fhe.extensions.convolution: Tracing and evaluation of convolution.

• concrete.fhe.extensions.hint: Declaration of hinting extensions, to provide more information to Concrete.

• concrete.fhe.extensions.identity: Declaration of identity extension.

• concrete.fhe.extensions.maxpool: Tracing and evaluation of maxpool.

• concrete.fhe.extensions.multivariate: Declaration of multivariate extension.

• concrete.fhe.extensions.ones: Declaration of ones and one functions, to simplify creation of encrypted ones.

• concrete.fhe.extensions.relu: Declaration of relu extension.

• concrete.fhe.extensions.round_bit_pattern: Declaration of round_bit_pattern function, to provide an interface for rounded table lookups.

• concrete.fhe.extensions.table: Declaration of LookupTable class.

• concrete.fhe.extensions.tag: Declaration of tag context manager, to allow tagging certain nodes.

• concrete.fhe.extensions.truncate_bit_pattern: Declaration of truncate_bit_pattern extension.

• concrete.fhe.extensions.univariate: Declaration of univariate function.

• concrete.fhe.extensions.zeros: Declaration of zeros and zero functions, to simplify creation of encrypted zeros.

• concrete.fhe.internal.

• concrete.fhe.internal.utils: Declaration of various functions and constants related to the entire project.

• concrete.fhe.mlir: Provide computation graph to mlir functionality.

• concrete.fhe.mlir.context: Declaration of Context class.

• concrete.fhe.mlir.conversion: Declaration of ConversionType and Conversion classes.

• concrete.fhe.mlir.converter: Declaration of Converter class.

• concrete.fhe.mlir.processors: All graph processors.

• concrete.fhe.mlir.processors.assign_bit_widths: Declaration of AssignBitWidths graph processor.

• concrete.fhe.mlir.processors.assign_node_ids: Declaration of AssignNodeIds graph processor.

• concrete.fhe.mlir.processors.check_integer_only: Declaration of CheckIntegerOnly graph processor.

• concrete.fhe.mlir.processors.process_rounding: Declaration of ProcessRounding graph processor.

• concrete.fhe.mlir.utils: Declaration of various functions and constants related to MLIR conversion.

• concrete.fhe.representation: Define structures used to represent computation.

• concrete.fhe.representation.evaluator: Declaration of various Evaluator classes, to make graphs picklable.

• concrete.fhe.representation.graph: Declaration of Graph class.

• concrete.fhe.representation.node: Declaration of Node class.

• concrete.fhe.representation.operation: Declaration of Operation enum.

• concrete.fhe.representation.utils: Declaration of various functions and constants related to representation of computation.

• concrete.fhe.tfhers: tfhers module to represent, and compute on tfhers integer values.

• concrete.fhe.tfhers.bridge: Declaration of tfhers.Bridge class.

• concrete.fhe.tfhers.dtypes: Declaration of TFHERSIntegerType class.

• concrete.fhe.tfhers.specs: TFHE-rs client specs.

• concrete.fhe.tfhers.tracing: Tracing of tfhers operations.

• concrete.fhe.tfhers.values: Declaration of TFHERSInteger which wraps values as being of tfhers types.

• concrete.fhe.tracing: Provide function to computation graph functionality.

• concrete.fhe.tracing.tracer: Declaration of Tracer class.

• concrete.fhe.tracing.typing: Declaration of type annotation.

• concrete.fhe.values: Define the available values and their semantics.

• concrete.fhe.values.scalar: Declaration of ClearScalar and EncryptedScalar wrappers.

• concrete.fhe.values.tensor: Declaration of ClearTensor and EncryptedTensor wrappers.

• concrete.fhe.values.value_description: Declaration of ValueDescription class.

• concrete.fhe.version: Version of the project, which is updated automatically by the CI right before releasing.

• concrete.lang: Concretelang python module

• concrete.lang.dialects

• concrete.lang.dialects.fhe: FHE dialect module

• concrete.lang.dialects.fhelinalg: FHELinalg dialect module

• concrete.lang.dialects.tracing: Tracing dialect module

Classes

• compiler.KeysetRestrictionHandler: Handler to serialize and deserialize keyset restrictions

• compiler.RangeRestrictionHandler: Handler to serialize and deserialize range restrictions

• compilation_context.CompilationContext: Compilation context.

• compilation_feedback.MoreCircuitCompilationFeedback: Helper class for compilation feedback.

• tfhers_int.TfhersExporter: A helper class to import and export TFHErs big integers.

• artifacts.DebugArtifacts: DebugArtifacts class, to export information about the compilation process for single function.

• artifacts.DebugManager: A debug manager, allowing streamlined debugging.

• artifacts.FunctionDebugArtifacts: An object containing debug artifacts for a certain function in an fhe module.

• artifacts.ModuleDebugArtifacts: An object containing debug artifacts for an fhe module.

• circuit.Circuit: Circuit class, to combine computation graph, mlir, client and server into a single object.

• client.Client: Client class, which can be used to manage keys, encrypt arguments and decrypt results.

• compiler.Compiler: Compiler class, to glue the compilation pipeline.

• composition.CompositionClause: A raw composition clause.

• composition.CompositionPolicy: A protocol for composition policies.

• composition.CompositionRule: A raw composition rule.

• configuration.ApproximateRoundingConfig: Controls the behavior of approximate rounding.

• configuration.BitwiseStrategy: BitwiseStrategy, to specify implementation preference for bitwise operations.

• configuration.ComparisonStrategy: ComparisonStrategy, to specify implementation preference for comparisons.

• configuration.Configuration: Configuration class, to allow the compilation process to be customized.

• configuration.Exactness.

• configuration.MinMaxStrategy: MinMaxStrategy, to specify implementation preference for minimum and maximum operations.

• configuration.MultiParameterStrategy: MultiParamStrategy, to set optimization strategy for multi-parameter.

• configuration.MultivariateStrategy: MultivariateStrategy, to specify implementation preference for multivariate operations.

• configuration.ParameterSelectionStrategy: ParameterSelectionStrategy, to set optimization strategy.

• configuration.SecurityLevel: Security level used to optimize the circuit parameters.

• decorators.Compilable: Compilable class, to wrap a function and provide methods to trace and compile it.

• evaluation_keys.EvaluationKeys: EvaluationKeys required for execution.

• keys.Keys: Keys class, to manage generate/reuse keys.

• module.ExecutionRt: Runtime object class for execution.

• module.FheFunction: Fhe function class, allowing to run or simulate one function of an fhe module.

• module.FheModule: Fhe module class, to combine computation graphs, mlir, runtime objects into a single object.

• module.SimulationRt: Runtime object class for simulation.

• module_compiler.FunctionDef: An object representing the definition of a function as used in an fhe module.

• module_compiler.ModuleCompiler: Compiler class for multiple functions, to glue the compilation pipeline.

• server.Server: Server class, which can be used to perform homomorphic computation.

• specs.ClientSpecs: ClientSpecs class, to create Client objects.

• status.EncryptionStatus: EncryptionStatus enum, to represent encryption status of parameters.

• utils.Lazy: A lazyly initialized value.

• value.Value: A public value object that can be sent between client and server.

• wiring.AllComposable: Composition policy that allows to forward any output of the module to any of its input.

• wiring.AllInputs: All the encrypted inputs of a given function of a module.

• wiring.AllOutputs: All the encrypted outputs of a given function of a module.

• wiring.Input: The input of a given function of a module.

• wiring.NotComposable: Composition policy that does not allow the forwarding of any output to any input.

• wiring.Output: The output of a given function of a module.

• wiring.TracedOutput: A wrapper type used to trace wiring.

• wiring.Wire: A forwarding rule between an output and an input.

• wiring.WireInput: A protocol for wire inputs.

• wiring.WireOutput: A protocol for wire outputs.

• wiring.WireTracingContextManager: A context manager returned by the wire_pipeline method.

• wiring.Wired: Composition policy which allows the forwarding of certain outputs to certain inputs.

• base.BaseDataType: BaseDataType abstract class, to form a basis for data types.

• float.Float: Float class, to represent floating point numbers.

• integer.Integer: Integer class, to represent integers.

• bits.Bits: Bits class, to provide indexing into the bits of integers.

• round_bit_pattern.Adjusting: Adjusting class, to be used as early stop signal during adjustment.

• round_bit_pattern.AutoRounder: AutoRounder class, to optimize for number of msbs to keep during round bit pattern operation.

• table.LookupTable: LookupTable class, to provide a way to do direct table lookups.

• truncate_bit_pattern.Adjusting: Adjusting class, to be used as early stop signal during adjustment.

• truncate_bit_pattern.AutoTruncator: AutoTruncator class, to optimize for the number of msbs to keep during truncate operation.

• context.Context: Context class, to perform operations on conversions.

• conversion.Conversion: Conversion class, to store MLIR operations with additional information.

• conversion.ConversionType: ConversionType class, to make it easier to work with MLIR types.

• converter.Converter: Converter class, to convert a computation graph to MLIR.

• assign_bit_widths.AdditionalConstraints: AdditionalConstraints class to customize bit-width assignment step easily.

• assign_bit_widths.AssignBitWidths: AssignBitWidths graph processor, to assign proper bit-widths to be compatible with FHE.

• assign_node_ids.AssignNodeIds to node properties.

• check_integer_only.CheckIntegerOnly: CheckIntegerOnly graph processor, to make sure the graph only contains integer nodes.

• process_rounding.ProcessRounding: ProcessRounding graph processor, to analyze rounding and support regular operations on it.

• utils.Comparison: Comparison enum, to store the result comparison in 2-bits as there are three possible outcomes.

• utils.HashableNdarray: HashableNdarray class, to use numpy arrays in dictionaries.

• evaluator.ConstantEvaluator: ConstantEvaluator class, to evaluate Operation.Constant nodes.

• evaluator.GenericEvaluator: GenericEvaluator class, to evaluate Operation.Generic nodes.

• evaluator.GenericTupleEvaluator: GenericEvaluator class, to evaluate Operation.Generic nodes where args are packed in a tuple.

• evaluator.InputEvaluator: InputEvaluator class, to evaluate Operation.Input nodes.

• graph.Graph: Graph class, to represent computation graphs.

• graph.GraphProcessor: GraphProcessor base class, to define the API for a graph processing pipeline.

• graph.MultiGraphProcessor: MultiGraphProcessor base class, to define the API for a multiple graph processing pipeline.

• node.Node: Node class, to represent computation in a computation graph.

• operation.Operation: Operation enum, to distinguish nodes within a computation graph.

• bridge.Bridge: TFHErs Bridge extend a Client with TFHErs functionalities.

• dtypes.CryptoParams: Crypto parameters used for a tfhers integer.

• dtypes.EncryptionKeyChoice: TFHErs key choice: big or small.

• dtypes.TFHERSIntegerType to represent tfhers integer types.

• specs.TFHERSClientSpecs: TFHE-rs client specs.

• values.TFHERSInteger into typed values, using tfhers types.

• tracer.Annotation: Base annotation for direct definition.

• tracer.ScalarAnnotation: Base scalar annotation for direct definition.

• tracer.TensorAnnotation: Base tensor annotation for direct definition.

• tracer.Tracer: Tracer class, to create computation graphs from python functions.

• typing.f32: Scalar f32 annotation.

• typing.f64: Scalar f64 annotation.

• typing.int1: Scalar int1 annotation.

• typing.int10: Scalar int10 annotation.

• typing.int11: Scalar int11 annotation.

• typing.int12: Scalar int12 annotation.

• typing.int13: Scalar int13 annotation.

• typing.int14: Scalar int14 annotation.

• typing.int15: Scalar int15 annotation.

• typing.int16: Scalar int16 annotation.

• typing.int17: Scalar int17 annotation.

• typing.int18: Scalar int18 annotation.

• typing.int19: Scalar int19 annotation.

• typing.int2: Scalar int2 annotation.

• typing.int20: Scalar int20 annotation.

• typing.int21: Scalar int21 annotation.

• typing.int22: Scalar int22 annotation.

• typing.int23: Scalar int23 annotation.

• typing.int24: Scalar int24 annotation.

• typing.int25: Scalar int25 annotation.

• typing.int26: Scalar int26 annotation.

• typing.int27: Scalar int27 annotation.

• typing.int28: Scalar int28 annotation.

• typing.int29: Scalar int29 annotation.

• typing.int3: Scalar int3 annotation.

• typing.int30: Scalar int30 annotation.

• typing.int31: Scalar int31 annotation.

• typing.int32: Scalar int32 annotation.

• typing.int33: Scalar int33 annotation.

• typing.int34: Scalar int34 annotation.

• typing.int35: Scalar int35 annotation.

• typing.int36: Scalar int36 annotation.

• typing.int37: Scalar int37 annotation.

• typing.int38: Scalar int38 annotation.

• typing.int39: Scalar int39 annotation.

• typing.int4: Scalar int4 annotation.

• typing.int40: Scalar int40 annotation.

• typing.int41: Scalar int41 annotation.

• typing.int42: Scalar int42 annotation.

• typing.int43: Scalar int43 annotation.

• typing.int44: Scalar int44 annotation.

• typing.int45: Scalar int45 annotation.

• typing.int46: Scalar int46 annotation.

• typing.int47: Scalar int47 annotation.

• typing.int48: Scalar int48 annotation.

• typing.int49: Scalar int49 annotation.

• typing.int5: Scalar int5 annotation.

• typing.int50: Scalar int50 annotation.

• typing.int51: Scalar int51 annotation.

• typing.int52: Scalar int52 annotation.

• typing.int53: Scalar int53 annotation.

• typing.int54: Scalar int54 annotation.

• typing.int55: Scalar int55 annotation.

• typing.int56: Scalar int56 annotation.

• typing.int57: Scalar int57 annotation.

• typing.int58: Scalar int58 annotation.

• typing.int59: Scalar int59 annotation.

• typing.int6: Scalar int6 annotation.

• typing.int60: Scalar int60 annotation.

• typing.int61: Scalar int61 annotation.

• typing.int62: Scalar int62 annotation.

• typing.int63: Scalar int63 annotation.

• typing.int64: Scalar int64 annotation.

• typing.int7: Scalar int7 annotation.

• typing.int8: Scalar int8 annotation.

• typing.int9: Scalar int9 annotation.

• typing.tensor: Tensor annotation.

• typing.uint1: Scalar uint1 annotation.

• typing.uint10: Scalar uint10 annotation.

• typing.uint11: Scalar uint11 annotation.

• typing.uint12: Scalar uint12 annotation.

• typing.uint13: Scalar uint13 annotation.

• typing.uint14: Scalar uint14 annotation.

• typing.uint15: Scalar uint15 annotation.

• typing.uint16: Scalar uint16 annotation.

• typing.uint17: Scalar uint17 annotation.

• typing.uint18: Scalar uint18 annotation.

• typing.uint19: Scalar uint19 annotation.

• typing.uint2: Scalar uint2 annotation.

• typing.uint20: Scalar uint20 annotation.

• typing.uint21: Scalar uint21 annotation.

• typing.uint22: Scalar uint22 annotation.

• typing.uint23: Scalar uint23 annotation.

• typing.uint24: Scalar uint24 annotation.

• typing.uint25: Scalar uint25 annotation.

• typing.uint26: Scalar uint26 annotation.

• typing.uint27: Scalar uint27 annotation.

• typing.uint28: Scalar uint28 annotation.

• typing.uint29: Scalar uint29 annotation.

• typing.uint3: Scalar uint3 annotation.

• typing.uint30: Scalar uint30 annotation.

• typing.uint31: Scalar uint31 annotation.

• typing.uint32: Scalar uint32 annotation.

• typing.uint33: Scalar uint33 annotation.

• typing.uint34: Scalar uint34 annotation.

• typing.uint35: Scalar uint35 annotation.

• typing.uint36: Scalar uint36 annotation.

• typing.uint37: Scalar uint37 annotation.

• typing.uint38: Scalar uint38 annotation.

• typing.uint39: Scalar uint39 annotation.

• typing.uint4: Scalar uint4 annotation.

• typing.uint40: Scalar uint40 annotation.

• typing.uint41: Scalar uint41 annotation.

• typing.uint42: Scalar uint42 annotation.

• typing.uint43: Scalar uint43 annotation.

• typing.uint44: Scalar uint44 annotation.

• typing.uint45: Scalar uint45 annotation.

• typing.uint46: Scalar uint46 annotation.

• typing.uint47: Scalar uint47 annotation.

• typing.uint48: Scalar uint48 annotation.

• typing.uint49: Scalar uint49 annotation.

• typing.uint5: Scalar uint5 annotation.

• typing.uint50: Scalar uint50 annotation.

• typing.uint51: Scalar uint51 annotation.

• typing.uint52: Scalar uint52 annotation.

• typing.uint53: Scalar uint53 annotation.

• typing.uint54: Scalar uint54 annotation.

• typing.uint55: Scalar uint55 annotation.

• typing.uint56: Scalar uint56 annotation.

• typing.uint57: Scalar uint57 annotation.

• typing.uint58: Scalar uint58 annotation.

• typing.uint59: Scalar uint59 annotation.

• typing.uint6: Scalar uint6 annotation.

• typing.uint60: Scalar uint60 annotation.

• typing.uint61: Scalar uint61 annotation.

• typing.uint62: Scalar uint62 annotation.

• typing.uint63: Scalar uint63 annotation.

• typing.uint64: Scalar uint64 annotation.

• typing.uint7: Scalar uint7 annotation.

• typing.uint8: Scalar uint8 annotation.

• typing.uint9: Scalar uint9 annotation.

• value_description.ValueDescription: ValueDescription class, to combine data type, shape, and encryption status into a single object.

Functions

• compiler.check_gpu_available: Check whether a CUDA device is available and online.

• compiler.check_gpu_enabled: Check whether the compiler and runtime support GPU offloading.

• compiler.init_dfr: Initialize dataflow parallelization.

• compiler.round_trip: Parse the MLIR input, then return it back.

• compilation_feedback.tag_from_location: Extract tag of the operation from its location.

• utils.lookup_runtime_lib: Try to find the absolute path to the runtime library.

• decorators.circuit: Provide a direct interface for compilation of single circuit programs.

• decorators.compiler: Provide an easy interface for the compilation of single-circuit programs.

• decorators.function: Provide an easy interface to define a function within an fhe module.

• decorators.module: Provide an easy interface for the compilation of multi functions modules.

• utils.add_nodes_from_to: Add nodes from from_nodes to to_nodes, to all_nodes.

• utils.check_subgraph_fusibility: Determine if a subgraph can be fused.

• utils.convert_subgraph_to_subgraph_node: Convert a subgraph to Operation.Generic node.

• utils.find_closest_integer_output_nodes: Find the closest upstream integer output nodes to a set of start nodes in a graph.

• utils.find_float_subgraph_with_unique_terminal_node: Find a subgraph with float computations that end with an integer output.

• utils.find_single_lca: Find the single lowest common ancestor of a list of nodes.

• utils.find_tlu_subgraph_with_multiple_variable_inputs_that_has_a_single_common_ancestor: Find a subgraph with a tlu computation that has multiple variable inputs where all variable inputs share a common ancestor.

• utils.friendly_type_format: Convert a type to a string. Remove package name and class/type keywords.

• utils.fuse: Fuse appropriate subgraphs in a graph to a single Operation.Generic node.

• utils.get_terminal_size: Get the terminal size.

• utils.inputset: Generate a random inputset.

• utils.is_single_common_ancestor: Determine if a node is the single common ancestor of a list of nodes.

• utils.validate_input_args: Validate input arguments.

• utils.combine_dtypes: Get the 'BaseDataType' that can represent a set of 'BaseDataType's.

• array.array: Create an encrypted array from either encrypted or clear values.

• bits.bits: Extract bits of integers.

• constant.constant: Trivial encryption of a cleartext value.

• convolution.conv: Trace and evaluate convolution operations.

• hint.hint: Hint the compilation process about properties of a value.

• identity.identity: Apply identity function to x.

• identity.refresh: Refresh x.

• maxpool.maxpool: Evaluate or trace MaxPool operation.

• multivariate.multivariate: Wrap a multivariate function so that it is traced into a single generic node.

• ones.one: Create an encrypted scalar with the value of one.

• ones.ones: Create an encrypted array of ones.

• ones.ones_like: Create an encrypted array of ones with the same shape as another array.

• relu.relu: Rectified linear unit extension.

• round_bit_pattern.round_bit_pattern: Round the bit pattern of an integer.

• tag.tag: Introduce a new tag to the tag stack.

• truncate_bit_pattern.truncate_bit_pattern: Round the bit pattern of an integer.

• univariate.univariate: Wrap a univariate function so that it is traced into a single generic node.

• zeros.zero: Create an encrypted scalar with the value of zero.

• zeros.zeros: Create an encrypted array of zeros.

• zeros.zeros_like: Create an encrypted array of zeros with the same shape as another array.

• utils.assert_that: Assert a condition.

• utils.unreachable: Raise a RuntimeError to indicate unreachable code is entered.

• utils.construct_deduplicated_tables: Construct lookup tables for each cell of the input for an Operation.Generic node.

• utils.construct_table: Construct the lookup table for an Operation.Generic node.

• utils.construct_table_multivariate: Construct the lookup table for a multivariate node.

• utils.flood_replace_none_values: Use flooding algorithm to replace None values.

• utils.format_constant: Get the textual representation of a constant.

• utils.format_indexing_element: Format an indexing element.

• tfhers.get_type_from_params: Get a TFHE-rs integer type from TFHE-rs parameters in JSON format.

• tfhers.get_type_from_params_dict: Get a TFHE-rs integer type from TFHE-rs parameters in JSON format.

• bridge.new_bridge: Create a TFHErs bridge from a circuit or module or client.

• tracing.from_native: Convert a Concrete integer to the tfhers representation.

• tracing.to_native: Convert a tfhers integer to the Concrete representation.

• scalar.clear_scalar_builder: Build a clear scalar value.

• scalar.encrypted_scalar_builder: Build an encrypted scalar value.

• scalar.clear_scalar_builder: Build a clear scalar value.

• scalar.encrypted_scalar_builder: Build an encrypted scalar value.

• tensor.clear_tensor_builder: Build a clear tensor value.

• tensor.encrypted_tensor_builder: Build an encrypted tensor value.

• tensor.clear_tensor_builder: Build a clear tensor value.

• tensor.encrypted_tensor_builder: Build an encrypted tensor value.