heir
heir copied to clipboard
google
A compiler for homomorphic encryption
How would one compile a Tensorflow program to HEIR's TOSA frontend?
We can view both as a GLWE ciphertext type. LWE can be instantiated as an RLWE ciphertext currently with a scalar Z/qZ ring in its RLWE params (a 0 degree...
@j2kun - I thought it would be nice to check the Yosys optimizer pass for correctness by chaining yosys-optimizer with secret-forget-secrets and then lowering to LLVM to execute (this would...
Lower secret.generic's containing single tensor_ext / add / mul / extract to bgv dialect. cc @j2kun Components: - [x] #528 - [x] #565 - [ ] #825 - [x] #826...
Cf. https://github.com/google/heir/issues/396 This WIP PR is intended to explore running Polygeist on a variety of C++ input programs, and attempting to feed those as input to HEIR passes, so we...
It's currently ```mlir secret.generic ins(%arg0, %arg1 : secret, secret) { ^bb0(%arg0: ty0, %arg1: ty1): ...ops... } ``` The discrepancy between how the `ins` part is parsed/printed vs the basic block...