Short Discrete Log Proofs for FHE and Ring-LWE Ciphertexts.

Rafaël del Pino Vadim Lyubashevsky Gregor Seiler

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

theorem proving
neural network
theorem prover
finite number
equational theories
data sets
continuous data
discrete geometry
discrete version
formal proof