JNO protocol fails for arbitrary moduli #6
Description
The tests for the JNO protocol fails when using an arbitrary prime for the SPDZ field.
To reproduce go to SpdzSetupUtil.getDefaultFieldDefinition and let it return BigInteger.probablePrime(bitLength+40, new Random(42) instead of using ModulusFinder and then run the tests. This is even true when validating that modulus-1 mod 3 = 1, which is required in some sub protocols in Fresco.