Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption eprint.iacr.org
Does noise flooding in approximate HE actually compose? This paper machine-checks a square-root-loss proof in Rocq.
trending1
01