Formal security analysis of MPC-in-the-head zero-knowledge protocols

Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

11 Citationer (Scopus)

Abstract

Zero-knowledge proofs allow a prover to convince a verifier of the veracity of a statement without revealing any other information. An interesting class of zero-knowledge protocols are those following the MPC-in-the-head paradigm (Ishai et al., STOC '07) which use secure multiparty computation (MPC) protocols as the basis. Efficient instances of this paradigm have emerged as an active research topic in the last years, starting with ZKBoo (Giacomelli et al., USENIX '16). Zero-knowledge protocols are a vital building block in the design of privacypreserving technologies as well as cryptographic primitives like digital signature schemes that provide post-quantum security. This work investigates the security of zero-knowledge protocols following the MPC-in-the-head paradigm. We provide the first machine-checked security proof of such a protocol on the example of ZKBoo. Our proofs are checked in the EasyCrypt proof assistant. To enable a modular security proof, we develop a new security notion for the MPC protocols used in MPC-in-thehead zero-knowledge protocols. This allows us to recast existing security proofs in a black-box fashion which we believe to be of independent interest.

OriginalsprogEngelsk
TitelProceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021
Antal sider14
ForlagIEEE
Publikationsdato2021
Sider607-620
ISBN (Trykt)978-1-7281-7608-6
ISBN (Elektronisk)978-1-7281-7607-9
DOI
StatusUdgivet - 2021
Begivenhed34th IEEE Computer Security Foundations Symposium - Virtual, Online, USA
Varighed: 21 jun. 202125 jun. 2021
Konferencens nummer: 34
https://www.ieee-security.org/TC/CSF2021/

Konference

Konference34th IEEE Computer Security Foundations Symposium
Nummer34
LokationVirtual
Land/OmrådeUSA
ByOnline
Periode21/06/202125/06/2021
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal security analysis of MPC-in-the-head zero-knowledge protocols'. Sammen danner de et unikt fingeraftryk.

Citationsformater