Rahul Ilango: Godel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness. Electron. Colloquium Comput. Complex. TR25: Article TR25-095 (2025)