作者: Olivier Blazy , Amandine Jambert , Damien Vergnaud , Georg Fuchsbauer , Malika Izabachène
DOI: 10.1007/978-3-642-13708-14
关键词:
摘要: In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zero-knowledge (and witness-indistinguishable) proofs in bilinear groups. While avoiding expensive NP-reductions, these proof systems are still inefficient due to the number of pairing computations required verification. We apply recent techniques batch verification Groth-Sahai succeed improve significantly complexity give explicit batch-verification formulas generic equations (whose cost is less than tenth original) as well specific popular protocols relying on their (namely Groth's group signatures P-signatures by Belenkiy, Chase, Kohlweiss Lysyanskaya).