Ghadafi, Essam, Smart, Nigel P., Warinschi, Bogdan, "Practical zero-knowledge proofs for circuit evaluation", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009