SNARK 来救援：零知识下的接触证明
密码学与安全
2020-07-21 v4 计算机与社会
摘要
本文描述了有助于 COVID-19 自动化接触者追踪及恢复工作的技术。我们描述了一种零知识下的去中心化“接触证明”协议，其中一个人可以发布一个简短的密码学证明，证实自己已被感染并与一组人接触过，而不泄露所涉及任何人的任何信息。更重要的是，我们描述了如何组合这些证明以支持更广泛的功能，例如第 阶暴露证明，从而进一步加速自动化接触者追踪。这些密码学证明可公开验证，并将证明接触的负担置于证明者本人而非第三方或医疗机构上，使系统更加去中心化，从而更具可扩展性。
引用
@article{arxiv.2005.12676,
title = {SNARKs to the rescue: proof-of-contact in zero knowledge},
author = {Zachary Ratliff and Joud Khoury},
journal= {arXiv preprint arXiv:2005.12676},
year = {2020}
}
备注
10 pages, early draft