research
∙
04/12/2021
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
MPC-in-the-Head (MitH) is a general framework that allows constructing e...
share
research
∙
11/08/2019
