[论文解读] On an innovative architecture for digital immunity passports and vaccination certificates

John R. Polley, Ilias Politis+3 more|arXiv (Cornell University)|Mar 6, 2021

COVID-19 Digital Contact Tracing参考文献 7被引用 10

一句话总结

本文提出了一种去中心化、保护隐私的数字免疫护照与疫苗接种证明架构，利用零知识证明和类似区块链的不可篡改性，实现无需暴露个人数据即可验证、防篡改的健康状态证明。该系统使个人能够安全地向第三方证明其免疫或接种状态，同时保护隐私，并在公共和私营部门之间实现可审计性。

ABSTRACT

With the COVID-19 pandemic entering a second phase and vaccination strategies being applied by countries and governments worldwide, there is an increasing expectation by people to return to normal life. There is currently a debate about immunity passports, privacy, and the enablement of individuals to safely enter everyday social life, workplace, and travel. Such digital immunity passports and vaccination certificates should meet people's expectations for privacy while enabling them to present to 3rd party verifiers tamper-evident credentials. This paper provides a comprehensive answer to the technological, ethical and security challenges, by proposing an architecture that provides to individuals, employers, and government agencies, a digital, decentralized, portable, immutable, and non-refutable health status cryptographic proof. It can be used to evaluate the risk of allowing individuals to return to work, travel, and public life activities.

研究动机与目标

• 为应对后COVID-19阶段社会对安全重返公共生活、工作和旅行的日益增长的需求。
• 解决集中化免疫和疫苗接种数据存储与共享带来的隐私问题。
• 提供一种密码学安全、防篡改、可移植的健康状态验证方法，而无需暴露敏感个人身份信息。
• 通过标准化的去中心化框架，支持政府、雇主和旅行机构之间的互操作性。
• 确保在公共卫生紧急状态下，健康数据管理符合伦理和监管标准。

提出的方法

• 设计一种基于零知识证明（ZKPs）的去中心化架构，使个人能够在不透露底层健康数据的情况下证明其免疫或接种状态。
• 采用分布式账本（受区块链启发）以确保签发凭证的不可篡改性和可审计性。
• 引入多方信任模型，使个人掌控自身凭证，验证方可在不访问原始数据的情况下验证凭证。
• 使用密码学签名和可验证凭证，确保健康状态声明的真实性与不可否认性。
• 通过安全且保护隐私的撤销协议，支持凭证的动态更新与撤销机制。
• 集成基于角色的访问控制，以区分验证方（如雇主、边境机构）和签发方（如卫生部门）。

实验结果

研究问题

• RQ1 如何设计数字免疫护照，以在确保强隐私保护的同时，实现对疫苗接种或免疫状态的可验证证明？
• RQ2 哪些密码学原Primitive可以支持去中心化、防篡改且不可否认的健康凭证？
• RQ3 个人如何在确保第三方可验证（如用于旅行或就业）的同时，保留对其健康数据的控制权？
• RQ4 哪些架构模式能够实现在国家和组织边界之间数字健康凭证的互操作性？
• RQ5 系统如何在不损害隐私或完整性的情况下，支持安全的凭证撤销与更新？

主要发现

• 所提出的架构使个人能够使用零知识证明证明其疫苗接种或免疫状态，确保在验证过程中不暴露任何个人健康数据。
• 通过去中心化账本实现不可篡改性和可审计性，防止签发凭证被篡改。
• 通过标准化凭证格式和验证协议，该设计支持跨不同司法管辖区和组织的互操作性。
• 通过允许个人存储并选择性披露其凭证，而不依赖中心化权威机构，该方案维护了用户主权。
• 该架构通过一种保护隐私的机制支持凭证的安全撤销，无需暴露被撤销者的身份信息。
• 由于敏感健康数据未集中存储于单一位置，系统对数据泄露具有韧性，从而降低了攻击面。