A Machine-Checked Formalization of Sigma-Protocols | Publicación