Ning Ding, Yanli Ren, Dawu Gu: Four-Round Zero-Knowledge Arguments of Knowledge with Strict Polynomial-Time Simulation from Differing-Input Obfuscation for Circuits. COCOON 2016: 281-292