Verifiable AES: encryption using zero-knowledge proofsnotamonadtutorial.com1 pointcinthialedesma3 years ago