November 12, 2021· Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
conference-paper
Open access
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
Authors:José Bacelar AlmeidaManuel BarbosaManuel L. CorreiaKarim EldefrawyStéphane Graham-LengrandHugo PachecoVítor Pereira
Abstract
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.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.