@misc{indiciae950e22e4ffc1,
  title = {Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head},
  author = {José Carlos Bacelar Almeida and Manuel Barbosa and Karim Eldefrawy and Stéphane Graham-Lengrand and Hugo Pacheco and Vitor Pereira},
  year = {2021},
  url = {https://arxiv.org/abs/2104.05516},
  note = {Source identifier: 2104.05516}
}