Scalable Verification of Zero-Knowledge Protocols | Publicación