Português Contacts Subscribe RSS

1 document found, page 1 of 1

Sort by Issue Date

Sort by: Order:

go first page go previous page

go to page: 1

go next page go last page

rss feed search results

Machine-checked ZKP for NP relations: formally verified security proofs and imp...

Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L.; Eldefrawy, Karim; Graham-Lengrand, Stéphane; Pacheco, Hugo; Pereira, Vitor

MPC-in-the-Head (MitH) is a general framework that enables constructing efficient zero-knowledge (ZK) protocols for NP relations from secure multiparty computation (MPC) protocols. In this paper we present the first machine-checked implementations of MitH. We begin with an EasyCrypt formalization that preserves the modular structure of the original construction and can be instantiated with arbitrary MPC protoco...

Date: 2021 | Origin: RepositóriUM - Universidade do Minho

go first page go previous page

go to page: 1

go next page go last page

rss feed search results