QA-NIZK arguments of same opening for bilateral commitments

Ràfols, Carla; Silva, Javier

doi:http://dx.doi.org/10.1007/978-3-030-51938-4_1

QA-NIZK arguments of same opening for bilateral commitments

Citation

Ràfols C, Silva J. QA-NIZK arguments of same opening for bilateral commitments. 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. 3-23. DOI: 10.1007/978-3-030-51938-4_1

Abstract

Zero-knowledge proofs of satisfiability of linear equations over a group are often used as a building block of more complex protocols. In particular, in an asymmetric bilinear group we often have two commitments in different sides of the pairing, and we want to prove that they open to the same value. This problem was tackled by González, Hevia and Ràfols (ASIACRYPT 2015), who presented an aggregated proof, in the QA-NIZK setting, consisting of only four group elements. In this work, we present a more efficient proof, which is based on the same assumptions and consists of three group elements. We argue that our construction is optimal in terms of proof size.

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.