Package: concrete-python
📒 Read documentation|💛 Community support|📚 FHE resourcesConcreteis an open-source FHE Compiler which simplifies the use of fully homomorphic encryption (FHE).FHE is a powerful cryptographic tool, which allows computation to be performed directly on encrypted data without needing to decrypt it first. With FHE, you can build services that preserve privacy for all users. FHE is also great against data breaches as everything is done on encrypted data. Even if the server is compromised, in the end no sensitive data is leaked.Since writing FHE programs can be difficult, Concrete, based on LLVM, make this process easier for developers.Main featuresAbility to compile Python functions (that may include NumPy) to their FHE equivalents, to operate on encrypted dataSupport forlarge collection of operatorsPartial support for floating pointsSupport for table lookups on integersSupport for integration with Client / Server architecturesInstallationOS / HWAvailable on DockerAvailable on PyPILinuxYesYesWindowsYesComing soonWindows Subsystem for LinuxYesYesmacOS 11+ (Intel)YesYesmacOS 11+ (Apple Silicon: M1, M2, etc.)YesYesThe preferred way to install Concrete is through PyPI:pipinstall-Upipwheelsetuptools
pipinstallconcrete-pythonYou can get the concrete-python docker image by pulling the latest docker image:dockerpullzamafhe/concrete-python:v2.0.0You can find more detailed installation instructions ininstalling.mdGetting startedfromconcreteimportfhedefadd(x,y):returnx+ycompiler=fhe.Compiler(add,{"x":"encrypted","y":"encrypted"})inputset=[(2,3),(0,0),(1,6),(7,7),(7,1),(3,2),(6,1),(1,7),(4,5),(5,4)]print(f"Compiling...")circuit=compiler.compile(inputset)print(f"Generating keys...")circuit.keygen()examples=[(3,4),(1,2),(7,7),(0,0)]forexampleinexamples:encrypted_example=circuit.encrypt(*example)encrypted_result=circuit.run(encrypted_example)result=circuit.decrypt(encrypted_result)print(f"Evaluation of{' + '.join(map(str,example))}homomorphically ={result}")or if you have a simple function that you can decorate, and you don't care about explicit steps of key generation, encryption, evaluation and decryption:fromconcreteimportfhe@fhe.compiler({"x":"encrypted","y":"encrypted"})defadd(x,y):returnx+yinputset=[(2,3),(0,0),(1,6),(7,7),(7,1),(3,2),(6,1),(1,7),(4,5),(5,4)]print(f"Compiling...")circuit=add.compile(inputset)examples=[(3,4),(1,2),(7,7),(0,0)]forexampleinexamples:result=circuit.encrypt_run_decrypt(*example)print(f"Evaluation of{' + '.join(map(str,example))}homomorphically ={result}")DocumentationFull, comprehensive documentation is available athttps://docs.zama.ai/concrete.Target usersConcrete is a generic library that supports a variety of use cases. Because of this flexibility,
it doesn't provide primitives for specific use cases.If you have a specific use case, or a specific field of computation, you may want to build abstractions on top of Concrete.One such example isConcrete ML, which is built on top of Concrete to simplify Machine Learning oriented use cases.TutorialsVarious tutorials are proposed in the documentation to help you start writing homomorphic programs:How to use Concrete withDecoratorsPartial support ofFloating PointsHow to performTable LookupIf you have built awesome projects using Concrete, feel free to let us know and we'll link to it.Project layoutconcreteproject is a set of several modules which are high-level frontends, compilers, backends and side tools.frontendsdirectory contains apythonfrontend.compilersdirectory contains theconcrete-compilerandconcrete-optimizermodules.concrete-compileris a compiler that:synthetize a FHE computation dag expressed as aMLIRdialectcompile to a set of artifactsand provide tools to manipulate those artifacts at runtime.concrete-optimizeris a specific module used by the compiler to find the best, secure and accurate set of cryptographic parameters for a given dag.Thebackendsdirectory contains implementations of cryptographic primitives on different computation unit, used byconcrete-compilerruntime.concrete-cpumodule provides CPU implementation, whileconcrete-cudamodule provides GPU implementation using the CUDA platform.Thetoolsdirectory contains side tools used by the rest of the project.Need support?Citing ConcreteTo cite Concrete in academic papers, please use the following entry:@Misc{Concrete,
  title={{Concrete: TFHE Compiler that converts python programs into FHE equivalent}},
  author={Zama},
  year={2022},
  note={\url{https://github.com/zama-ai/concrete}},
}LicenseThis software is distributed under the BSD-3-Clause-Clear license. If you have any questions, please contact us athello@zama.ai.