Zero Knowledge Proofs in Quantum Networks
该论文研究量子网络环境下的零知识证明（Zero-Knowledge Proofs, ZKP）。ZKP 允许一方在不泄露除命题有效性之外的任何信息的前提下完成命题验证，是密码学与信息论中的基础原语。然而现有构造存在两大局限：其安全性通常建立在
#zero-knowledge-proofs
共收录 7 条相关情报。
← 返回所有主题Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification
本文研究了密码学模型认证（CMC）协议中的安全假设与实际部署之间的差距。隐私保护的机器学习审计协议允许审计员评估模型的准确性或公平性，而无需暴露模型内部或训练数据，因此特别适用于医疗、金融等敏感领域。然而，现有安全定义通常仅保证模型在固定审
ACORN: Input Validation for Secure Aggregation.
本文提出ACORN，一种用于安全聚合协议的输入验证框架。安全聚合允许多方在不泄露各自私密输入的情况下计算聚合结果，但现有方案容易受到恶意参与者的投毒攻击或系统故障导致的错误输入影响。ACORN通过引入高效的零知识证明（ZKP）和分布式验证机
Powers of Tau in Asynchrony.
本文针对q-Strong Diffie-Hellman（q-SDH）参数的分布式安全生成问题，提出了一种异步网络下的高效协议。q-SDH参数是零知识简洁非交互式知识论证（zk-SNARKs）、多项式/向量承诺、可验证秘密共享和随机信标等多种
Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k.
零知识证明是许多安全系统中的关键密码学组件，但传统零知识证明通常基于固定有限域（如素数域）上的算术运算，这限制了它们在表达复杂程序时的灵活性，因为某些操作在特定域中更为高效。例如，现代计算机普遍采用32位或64位整数算术，而固定有限域难以直
ZK-Flex: A Flexible and Scalable Framework for Accelerating Zero-Knowledge Proofs
零知识证明（ZKP）允许证明者在不泄露私有数据的情况下向验证者证明计算正确性，兼顾隐私与可验证性。然而，证明生成过程计算密集，主要涉及多项式（POLY）和椭圆曲线（EC）运算。这两类工作负载对硬件加速提出两个关键挑战：高效支持多种大精度模乘
Springproofs: Efficient Inner Product Arguments for Vectors of Arbitrary Length.
本文提出 Springproofs，一种新的内积论证（IPA）框架，支持任意长度的向量，无需填充零，从而避免了额外的计算开销。核心创新在于一种递归压缩结构，使得证明大小与原始 IPA（如 Bulletproofs）相同，但计算效率更高。实验