Essam Ghadafi Nigel P. Smart Bogdan Warinschi Practical Zero-Knowledge Proofs for Circuit Evaluation. 469-494 2009 IMACC https://doi.org/10.1007/978-3-642-10868-6_28 conf/ima/2009 db/conf/ima/ima2009.html#GhadafiSW09