TY  - RPRT
TI  - Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AU  - José Carlos Bacelar Almeida
AU  - Manuel Barbosa
AU  - Karim Eldefrawy
AU  - Stéphane Graham-Lengrand
AU  - Hugo Pacheco
AU  - Vitor Pereira
PY  - 2021
UR  - https://arxiv.org/abs/2104.05516
ID  - 2104.05516
ER  -