google / heir

A compiler for homomorphic encryption

https://heir.dev/

google/heir Issues

Avoid fully unrolling loops for insert-rotate
Updated a month ago3
Determine how to generically identify and handle plaintext-ciphertext ops in `insert-rotate`
Updated a month ago3
Complete secret->bgv->OpenFHE end-to-end lowering path
Updated a month ago7
Port remaining HECO evaluation artifacts and ensure they produce equivalently optimal results.
Updated a month ago7
Upgrade polynomial ops to apply to `rns.rns` types
Updated 2 months ago
[BGV]: add lazy relinearization
Updated 2 months ago
Adapt LLVM upstream `multiplicativeInverse` API change.
Closed 2 months ago
Write an initial lowering for NTT/INTT using a standard algorithm
Updated 2 months ago9
bgv: parameter selection computations during lowerings for BGV
Updated 2 months ago3
Determine if nested `AlignRotations` patterns are still necessary
Updated 2 months ago1
CollapseInsertionChains doesn't handle linear polynomial
Closed 2 months ago2
Determine if `AlignRotations` pattern needs more complex patterns
Updated 2 months ago2
Handle ND secret tensors in `insert-rotate`
Updated 2 months ago
memref: cleanup "dead" memref pass
Closed 2 months ago
rotate-and-reduce: apply for sums of contiguous regions exceeding a threshold
Updated 2 months ago
rotate-and-reduce: support variations on simple reduction patterns
Updated 2 months ago1
rotate-and-reduce: replace repeated backward slices with an analysis pass
Updated 2 months ago1
Find a better way to initialize a dataflow analysis dependent on another dataflow analysis
Updated 2 months ago1
Write better documentation for the tests in tests/polynomial/runner
Closed 2 months ago
Clean up hard-coded variable names in lower_mul.mlir test
Closed 2 months ago1
Add a consistent overall pipeline for scheme-agnostic rotation insertion heuristics
Closed 2 months ago
yosys-optimizer: segfault when using abc-mode=True and mode=Boolean
Closed 2 months ago3
Implement a rotate-and-sum pattern in `tensor_ext`
Closed 2 months ago1
Achieve the optimum rotations for insert-rotate on a simple_sum example
Closed 2 months ago3
Add a section to heir.dev explaining the merge procedure
Closed 2 months ago1
[internal]: see if we can get pre-commit to block patched copybara dry_run exports
Closed 2 months ago1
Get initial timing numbers for benchmark BGV programs on BASALISC accelerator
Updated 2 months ago
insert-rotate: support target slot selection when the last op is a `tensor.insert` op
Closed 2 months ago2
Create `rns.decompose` and `rns.recompose` ops
Updated 2 months ago
Complete secret->cggi->tfhe-rs boolean end-to-end lowering path
Updated 2 months ago
Add `tensor_ext.combine` and an associated pattern to replace collapse-insertion-chains
Updated 2 months ago2
Add an overall architecture diagram for the dialects and lowerings
Updated 2 months ago
Write optimized NTT/INTT lowerings for special hardware
Updated 2 months ago
Add a pass that converts polynomial multiplication to NTT/INTT + arith.muli
Updated 2 months ago
Write canonicalization patterns for NTT/INTT
Updated 2 months ago
Test "ElementwiseToAffine" support for ops with both tensor and scalar operands
Updated 2 months ago1
`//tests/cggi:straight_line_vectorizer.mlir.test` flakes
Updated 2 months ago1
thfe-rs-emitter: Runtime error when lower arith::ConstantOp
Closed 2 months ago2
Refactor DRR helper functions into a centralized location
Closed 2 months ago1
Verifier for tensor_ext.rotate: ensure only applied to 1D tensors
Updated 2 months ago1
bgv: use LWE toolbox dialect for RLWE ciphertext types
Closed 2 months ago2
Type materialization bug when lowering polynomial to standard
Updated 3 months ago2
Add a ckks dialect
Updated 3 months ago
Complete secret -> ckks -> OpenFHE end-to-end lowering path
Updated 3 months ago
Get initial timing numbers for `micro_speech` on the FPT FPGA
Updated 3 months ago
Complete initial bgv -> llvm lowering path
Updated 3 months ago
Lower cggi -> jaxite
Updated 3 months ago
Add a jaxite exit dialect
Updated 3 months ago
Tensorflow to TOSA Documentation
Updated 3 months ago2
lwe: merge LWE and RLWE ciphertext types
Updated 3 months ago