Kareem Shehata

So basically, n=2048 is no longer supported for this? That's a shame, since for PIR that makes the minimum size for returned values much larger.

I've managed to use Wei's approach 2 above by setting PlainModulus::Batching(2048, 16) and CoeffModulus::Create(poly_mod_degree, {40, 14}). With that I can now create encrypt and decrypt a CT. The decryptor shows...

That's likely to be more complicated than I can dedicate to this project. Let me know if you decide to implement that switch, otherwise we'll stick to 4096 for now,...

> I no longer use this module in production and I do not have time to give it regular maintenance. I'm curious: what do you use in production now? Or...

Moving a conversation from PR#597 to here. The FoundBugException idea is great for showing that we found an actual bug instead of hitting some other snag that needs to be...

> Thanks for the summary of the problem and potential ways of going forward! I think either letting `TestOracle.check()` return a `Reproducer` as a cleaner way, or the generic method...

I'm trying to think of how to encode each of the four possible results of a call to `check()`: 1. No error found. Return Null ? 2. Possible bug found,...

Added a preview of the refactoring changes in https://github.com/sqlancer/sqlancer/pull/624

Now that we've merged in https://github.com/sqlancer/sqlancer/pull/624, should we get some feedback, or perhaps look at expanding to new test oracles?