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
∙
01/25/2013
