google/heir
The compiler for homomorphic encryption
https://skillcdn.ai/gh/google/heirConnect this address to your AI to use these skills. How to connect
- Unverified
- Default branch
main - Commit
e450c39 - License
Apache-2.0 - Searchwords and meaning
Explore this repository
Searches the original text of skills and documents by words and by meaning; display translations are not searched.
Documents
- DesignHEIR is a compiler toolchain that allows the compilation of high-level programs to equivalent programs that operate on encrypted data.docs/content/en/docs/Design/_index.md
- Data-oblivious TransformationsA data-oblivious program is one that decouples data input from program execution. Such programs exhibit control-flow and memory access patterns that are independent of their input(s). This programmin…docs/content/en/docs/Design/do_transformation.md
- HECO SIMD OptimizationsHEIR includes a SIMD (Single Instruction, Multiple Data) optimizer which is designed to exploit the restricted SIMD parallelism most (Ring-LWE-based) FHE schemes support (also commonly known as "pack…docs/content/en/docs/Design/heco.md
- Ciphertext Packing SystemThis document describes HEIR's ciphertext packing system, including:docs/content/en/docs/Design/layout.md
- Ciphertext ManagementOn 2025-04-17, Hongren Zheng gave a talk overview of the ciphertext management system in the HEIR working group meeting. The video can be found here and the slides can be found heredocs/content/en/docs/Design/management.md
- ML with HEIRHEIR's ML frontend, compilation pipeline, hardware integrations, and active research directions.docs/content/en/docs/Design/ml_with_heir.md
- Noise AnalysisHomomorphic Encryption (HE) schemes based on Learning-With-Errors (LWE) and Ring-LWE naturally need to deal with noises. HE compilers, in particular, need to understand the noise behavior to ensure c…docs/content/en/docs/Design/noise.md
- Optimizing relinearizationThis document outlines the integer linear program model used in the optimize-relinearization pass.docs/content/en/docs/Design/relinearization_ilp.md
- SecretThe secret dialect contains types and operations to represent generic computations on secret data. It is intended to be a high-level entry point for the HEIR compiler, agnostic of any particular FHE…docs/content/en/docs/Design/secret.md
Skipped (4)
These manifests were not served. Fix them and push: the next commit is indexed again.
docs/content/en/blog/fheorg_poster_2026_03.mdlink_missinga link names no file of the repository (/slides/fheorg_poster_2026_03.pdf)docs/content/en/blog/heir_meeting_2025-04-17.mdlink_missinga link names no file of the repository (/slides/mgmt-2025-04-17.pdf)docs/content/en/docs/Design/management.mdlink_missinga link names no file of the repository (/slides/mgmt-2025-04-17.pdf)docs/content/en/docs/Design/noise.mdlink_missinga link names no file of the repository (/docs/passes)