摘要
验证患者是否符合保险报销资格通常需要向第三方披露敏感临床数据——诊断代码、实验室检测值和保单详情——这与现代数据保护法规中的数据最小化原则相冲突。区块链平台提高了可审计性，但当健康记录被放到链上时，会加剧隐私问题。本文提出了一个零知识框架，患者可以在不透露底层数值的情况下，证明由权威机构签署的健康记录满足一组策略谓词——包括被覆盖的诊断、在批准范围内的实验室检测值以及不超过保单上限的索赔金额。记录被承诺到一个链上Merkle注册表中，而与记录绑定的无效化器可以防止双重索赔，同时将索赔与患者关联起来。我们阐述了电路所证明的NP关系，并将索赔的可靠性、索赔的不可链接性以及对抢跑的抵抗力归约为论证的知识可靠性和零知识性、哈希的抗碰撞性以及签名方案的可伪造性。使用circom和snarkjs构建的原型，配合Solidity验证器，编译为10,050个R1CS约束，其中资格谓词仅贡献了2.1%，并产生了一个固定的256字节证明，由固定的四对检查在链上验证。链上成本随着公共输入数量的增加而扩展，而非电路大小。我们识别出此类设计通常留下的攻击面——证明抢跑、发行方端的可链接性以及匿名集大小，后者由注册表的填充度决定而非树的深度。
