Ma, 2019. Noninteractive Zero Knowledge Proof System for NP from Ring LWE.