论文标题
抢救：零知识的接触证明
SNARKs to the rescue: proof-of-contact in zero knowledge
论文作者
论文摘要
本文介绍了有助于共同进行共同建立自动接触跟踪以及恢复工作的技术。我们在零知识中描述了````接触''''的分散协议，其中一个人可以发表简短的加密证明，证明他们已经被感染了，并且他们与一组人接触而没有透露有关任何人的任何信息。更重要的是，我们描述了如何撰写这些证据以支持更广泛的功能，例如$ n $ th级曝光的证明，这可以进一步加快自动接触跟踪。加密证明是可以公开验证的，并使证明接触的人负担负担，而不是对第三方或医疗保健提供商的负担，从而使系统更加分散，因此更可扩展。
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.
