Unified attack-replay regression harness for FHE libraries (SEAL, OpenFHE, Lattigo, tfhe-rs).
Implementation of the additive part of the BGV homomorphic encryption scheme.