Signatures of knowledge for boolean circuits under standard assumptions

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Baghery, Karim
• dc.contributor.author González, Alonso
• dc.contributor.author Pindado, Zaira
• dc.contributor.author Ràfols, Carla
• dc.date.accessioned 2021-07-05T08:30:58Z
• dc.date.available 2021-07-05T08:30:58Z
• dc.date.issued 2020
• dc.description Comunicació presentada al AFRICACRYPT 2020: 12th International Conference on Cryptology in Africa, celebrat del 20 al 22 de juliol de 2021 al Caire, Egipte.
• dc.description.abstract This paper constructs unbounded simulation sound proofs for boolean circuit satisfiability under standard assumptions with proof size O(n+d) bilinear group elements, where d is the depth and n is the input size of the circuit. Our technical contribution is to add unbounded simulation soundness to a recent NIZK of González and Ràfols (ASIACRYPT’19) with very small overhead. Our new scheme can be used to construct the most efficient Signature-of-Knowledge based on standard assumptions that also can be composed universally with other cryptographic protocols/primitives.en
• dc.description.sponsorship Karim Baghery was supported by CyberSecurity Research Flanders with reference number VR20192203.
• dc.format.mimetype application/pdf
• dc.identifier.citation Baghery K, González A, Pindado Z, Ràfols C. Signatures of knowledge for boolean circuits under standard assumptions. In: Nitaj A, Youssef A, editors. AFRICACRYPT 2020: 12th International Conference on Cryptology in Africa; 2020 Jul 20-22; Cairo, Egypt. Cham: Springer; 2020. p. 24-44. DOI: 10.1007/978-3-030-51938-4_2
• dc.identifier.doi http://dx.doi.org/10.1007/978-3-030-51938-4_2
• dc.identifier.uri http://hdl.handle.net/10230/48075
• dc.language.iso eng
• dc.publisher Springer
• dc.relation.ispartof Nitaj A, Youssef A, editors. AFRICACRYPT 2020: 12th International Conference on Cryptology in Africa; 2020 Jul 20-22; Cairo, Egypt. Cham: Springer; 2020. p. 24-44
• dc.rights © Springer The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-51938-4_2
• dc.rights.accessRights info:eu-repo/semantics/openAccess
• dc.subject.keyword NIZKen
• dc.subject.keyword Signaturesen
• dc.subject.keyword Bilinear groupsen
• dc.title Signatures of knowledge for boolean circuits under standard assumptionsen
• dc.type info:eu-repo/semantics/conferenceObject
• dc.type.version info:eu-repo/semantics/acceptedVersion