heir

heir copied to clipboard

[poly]: Implement an end-to-end Dilithium signature scheme to exercise the polynomial dialect lowerings

5

As the title says. We considered the Dilithium signature scheme and the Kyber KEM as initial "end-to-end" examples for `polynomial` and this lowering. While Dilithium shouldn't be an issue, Kyber's...

AlexanderViand-Intel

Cf. https://github.com/google/heir/issues/232#issuecomment-2009684084 for context. Depends on https://github.com/google/heir/issues/182

j2kun

Test "ElementwiseToAffine" support for ops with both tensor and scalar operands

1

The `ElementwiseToLinalg` pass in MLIR only supports operations where all operands are tensors and this requirement has been left in place for the `ElementwiseToAffine` pass. However, the reason that this...

AlexanderViand-Intel

heir-translate: fix issues in hashmap ciphertext insertion for --emit-tfhe-rust

copybara-service[bot]

`//tests/cggi:straight_line_vectorizer.mlir.test` flakes

8

It appears that `//tests/cggi:straight_line_vectorizer.mlir.test` flakily fails, I believe due to arbitrariness in the graph algorithm topo-sorting.

j2kun

Verifier for tensor_ext.rotate: ensure only applied to 1D tensors

1

j2kun

bgv: Add a attribute to ciphertext to track plaintext bits

5

In the last HEIR meeting, we noted that rather than holding onto the underlying encrypted type, that it would be more useful to keep track of the number of plaintext...

asraa

Type materialization bug when lowering polynomial to standard

2

The following code fails when run with `--polynomial-to-standard` and `--heir-polynomial-to-llvm` ```mlir // Regression test for https://github.com/google/heir/issues/505 // RUN: heir-opt --polynomial-to-standard %s | FileCheck %s func.func @test_bin_ops(%arg0: memref, %arg1: memref) ->...

j2kun

j2kun

The plan is to give this to the Google summer intern working on HEIR

j2kun