Jeremy Kun

> > A simple fix is to run `pip install python` in your system Python > > `python` here gave me an error. > > [MLIR — Running and Testing...

I was not aware this is possible. Where did you hear about it?

@jasonlxzz I suspect if you had a bazel version error you'd see errors long before a gcc failure, since it would complain about bzlmod.

> Here are some notes on the different packing abstractions from Fhelipe and Viaduct. Thanks for that! It sounds like Fhelipe is the one we should start with. I'd like...

So I added an implementation of Fhelipe notation (without ciphertext-selecting bits!) here: https://github.com/j2kun/fhe-packing/blob/78b1c450b90cf15986f2a063c778a611f68cc63d/fhelipe.py#L120 I was wondering if it's possible to do Halevi-Shoup in this abstraction. I added a FIXME in...

> One that I can think of already is that it seems much easier to "compute" the required conversion from one packing to another with the custom syntaxes, rather than...

> > This would also allow us to use the full hypercube view of packing/rotations (which I'm not sure any of the "custom" approaches currently seem to support?) and would...

No, this is what we'd have to implement. Picking the starting representation is the first choice. I'm leaning toward reusing affine_map, but I want to do some more experiments to...

For what it's worth, I don't think Fhelipe does any sophisticated analysis here. They pick a layout for inputs, propagate forward through ops, insert layout conversion ops as needed, and...

At long last, I have a design document! https://docs.google.com/document/d/1TTj0NDZkn0T9NNQj6idbTk2g65tAb7VxsYpt1hKjK_Y/edit?usp=sharing Please take a look and poke holes in it.