heir
heir copied to clipboard
google
A compiler for homomorphic encryption
HeLayers is a vectorizing system that supports transforming Tensorflow and PyTorch programs to FHE libraries (e.g. Lattigo, OpenFHE). The system uses a TileTensor abstraction to quickly search the packing space...
Current dep is v1.1.2, which has some known issues with pke tests for scheme switching (see https://github.com/openfheorg/openfhe-development/pull/659). To get an end-to-end build system working inside Google and externally, we'll need...
This would avoid the rust emitter needing to detect it itself
Re-enable the tests of the ML workflow once HEIR is in a place to execute it without it taking ~hours to run.
In a new end to end example, we try to evaluate tfhe-rs-bool code on an FPGA. To communicate with an Xilinx Alveo FPGA we use the XRT library. There is...
An example of an unused memory write: ``` memref.store %c0, %alloc[0] : memref memref.store %c1, %alloc[0] : memref %v = memref.load %alloc[0] : memref ``` The first store is unused...
Specific to NN quantization, but may have some useful generic ideas > an intra-coefficient packing algorithm and a quantization-aware tiling algorithm https://arxiv.org/abs/2401.15970 Abstract: > Secure two-party computation with homomorphic encryption...
The preprint paper "A Compiler from Array Programs to Vectorized Homomorphic Encryption" presents Viaduct-HE, a vectorizing HE compiler for an array-oriented source language. We could port their work to HEIR....
