Alexander Viand
Alexander Viand
Add a demo for low-level polynomial access, maybe based on CKKS attack FHE lab, and adjust library as needed to make it work properly.
Benchmarking the libraries against each other: ## Micro-benchmarks - Ctxt-Ctxt Multiplication time (incl. relin) - Ctxt-Ptxt Multiplication time (incl. relin) - Ctxt-Ctxt Addition time - Ctxt-Ptxt Addition - Sk Encryption...
To implement the [NN-Inference](https://github.com/MarbleHE/SoK/wiki/NN-Inference) application, the following needs to be done: - [x] Train Plaintext version of LeNet-5 for MNIST using approximated activation functions - [ ] Train Plaintext version...
@pjattke The ConeWriting paper [1] has a heuristic for runtime of FHE operations at certain depths, we should probably add this to get some fast rough estimates of optimisation impact...
Tries to address the use case presented in #1789 though it does so not via type hints but via adding support for casts: ```llvm def sub_bytes(x: Secret[I8]): x0 = I1((x...
Various clean-ups in the frontend, including adding tests that correspond to `example.py` examples. However, that E2E test currently fails because of #1823, therefore this is in draft state for now.
Using secret tensors of integer types work fine with the CKKS pipeline (e.g., `simple_sum.mlir` works fine). However, trying the same with scalar types does not work: ```llvm // heir-opt --mlir-to-ckks...
While putting together some tests, I had two `@compile() def foo(...): ...` functions (in separate tests cases) and noticed the first test would get the result I expected from the...
Looks like something broke in the recent frontend refactoring: `TypeError: CleartextBackend.run_backend() missing 1 required positional argument: 'debug'` Also, there's a (commented out) example in `frontend/example.py` that passes `backend=None` to `@compile(...)`...
Placeholder issue arising from today's office hour. 1) make lattigo backend usable from Python frontend 2) Allow setting scale in frontend, probably something like `def foo(x: Secret[F32, Scale[50]], y: Secret[F32]):`...