Obfuscation-based non-black-box extraction and constant-round zero-knowledge arguments of knowledge

From MaRDI portal