Jeremy Kun
Jeremy Kun
One thing I've determined, at least, is that we won't be able to reproduce lattigo's chebyshev polynomial evaluation exactly without high-precision scale analysis. This is because it requires setting the...
How about an option to omit all replies from your own account that occur within a given duration of the initial post? Since my syndication is automated, I'd set it...
On my system it's using OpenMP and the individual calls to the OpenFHE API are quite a bit faster than we observed internally. I cut the openfhe IR at `ct_9600`...
After trying to run the full model I ran into: ``` terminate called after throwing an instance of 'lbcrypto::OpenFHEException' what(): external/openfhe/src/pke/include/cryptocontext.h:l.315:TypeCheck(): Null Ciphertext ```
Ooh and they have a github repo with the formulas implemented in python: https://github.com/sergirovira/fastparameterselection/
In my increasingly expanding https://github.com/google/heir/pull/1633 I am finding the need to support layout assignment for scalars as well, so this could be reused on the client side step.
It looks like you may have spotted it already, but there is this ArithmeticDag framework now with an option to use "SymbolicValue" (https://github.com/google/heir/blob/e44747cff3ed1cdf1209dd730b5cbe2f96649c4d/lib/Kernel/AbstractValue.h#L110) for leaf nodes. While it doesn't quite...
There is a slightly more general graph problem here, a solution to which would solve this problem: Given a graph G you'd like to produce an induced subgraph G' for...
I suspect the general graph problem will be NP-hard, so some ideas are: 1. Use the special structure of this graph (constructed by evaluating these power-of-two shifts in some order)...