authentication protocol to validate an RLWE key $ p= as+ e $ with secret $ s $ and error $ e
$ in the Random Oracle Model (ROM). With this protocol, a verifier can validate that a key $
p $ presented to him by a prover $ P $ is of the form $ p= as+ e $ with $ s, e $ small and that
the prover knows $ s $. We accompany the description of the protocol with proof to show that
it has negligible soundness and completeness error. The soundness of our protocol relies …