SNARKs来拯救：零知识的接触证明
SNARKs to the rescue: proof-of-contact in zero knowledge
摘要：
本文描述了帮助COVID-19自动化接触者追踪和恢复工作的技术。我们描述了一个去中心化的协议，用于零知识的“接触证明”，其中一个人可以发布一个简短的加密证明，证明他们已经被感染，并且他们已经与一组人接触，而不会透露任何有关人员的任何信息。更重要的是，我们描述了如何组成这些证明，以支持更广泛的功能，如证明的$n$第七阶曝光，可以进一步加快自动化的接触跟踪。加密证明是可公开验证的，并且将负担放在证明联系的人身上，而不是第三方或医疗保健提供者身上，从而使系统更加分散，因此更具可扩展性。
英文摘要：
This paper describes techniques to help with COVID-19 automated contact tracing, and with the restoration efforts. We describe a decentralized protocol for ``proof-of-contact'' in zero knowledge where a person can publish a short cryptographic proof attesting to the fact that they have been infected and that they have come in contact with a set of people without revealing any information about any of the people involved. More importantly, we describe how to compose these proofs to support broader functionality such as proofs of $n$th-order exposure which can further speed up automated contact tracing. The cryptographic proofs are publicly verifiable, and places the burden on the person proving contact and not on third parties or healthcare providers rendering the system more decentralized, and accordingly more scalable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
