Jeremy Kun

tfhe_rust: improve generality of e2e test runner

4

- Support generated functions with multiple return values - Support a variable number of input arguments (not just 2 ints) - Custom function name besides `fn_under_test`?

Generate a helper that configures OpenFHE crypto context based on the IR content

2

Right now the user must manually call functions like `EvalMultKeyGen` if the IR contains `EvalMult`, and `EvalRotateKeyGen` with known rotation shifts (which requires looking at the generated code to determine),...

move int64_t casting to `bgv-to-openfhe`

1

I originally wrote the `bgv-to-openfhe` lowering without a complete understanding of the limitations of the OpenFHE API, which results in a decent amount of cruft related to casting types during...

Add design section to documentation

2

Add a `Design` section to the documentation website with the following pages. The purpose of this would be to ramp up someone who already knows a decent amount of MLIR,...

Optimize how much to unroll a loop body vs how much yosys can optimize it

3

On the side of gate-bootstrapped CGGI, we had a path where we fully unrolled all loops before running a circuit optimizer, and for large IRs that was infeasibly slow. We...

Add `tensor_ext.combine` and an associated pattern to replace collapse-insertion-chains

2

From the review on https://github.com/google/heir/pull/471 > In HECO, "left-over" insert/extract ops instead get mapped to the `combine` op which lets you merge two tensors. The `combine` op essentially models the...