heir

heir copied to clipboard

Add initial poly approximation for "ReLU via tosa.clamp"

3

Add initial poly approximation for "ReLU via tosa.clamp"

copybara-service[bot]

poly: add pass to convert poly.mul to use ntt ops

2

- We can reduce complexity of polynomial multiplication by using the number-theoretic transform - Here we add a pass that will convert all poly.mul operations into a poly.ntt of both...

inbelic

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`?

j2kun

cleanup: share components of verilog emitter and tfhe-rs emitter

1

Likely flattening indices with values, for e.g.

asraa

Clean-up tasks for tfhe-rs emitter

1

- [ ] Handle non-memref Ciphertext args in tfhe-rs-emitter.: Right now, we assume that temp_nodes contains all possible input ciphertexts by inserting `create_trivial` and any `memref.load` ops from ciphertext memrefs...

asraa

Right now, most of the emitter type conversions to Rust assume inputs are EncryptedUint3's - we should have a trait /interface on the tfhe_rust dialect's encrypted types and use that.

asraa

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

7

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),...

j2kun

Support non-tensor types as input to `lwe.rlwe_encode` in lowerings to BGV/OpenFHE

1

j2kun

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...

j2kun

add-client-interface: add pre-encode/post-decode ops to convert scalar values to tensors if necessary

4

j2kun