#MPC

共收录 2 条相关安全情报。

← 返回所有主题
👥 作者: Dariia Porechna

本文提出一种数字资产托管的新架构,将成员认证与阈值授权分离,摆脱对阈值签名方案(TSS)的依赖。传统TSS在哈希后量子签名(如SLH-DSA)中效率低下,且格基阈值协议尚不成熟。作者设计双门架构:每个成员使用任意EUF-CMA安全的普通签名方案签署批准,而阈值授权则通过基于Shamir秘密共享的“阈值封印”实现。该封印是“可编程授权计算”的基础实例,支持简单法定人数策略以及更丰富的秘密共享状态评估,且成员签名方案不参与该计算。签名方案作为部署参数,从ECDSA迁移到SLH-DSA或ML-DSA只需密钥轮换,无需重新设计协议;成员可使用商用HSM的标准签名API参与。该架构适用于智能合约、保险库模块或守护主密钥的HSM等支持可编程验证的资产控制路径,产生执行层授权而非原生链上签名。低于阈值时具有信息论安全性:即使攻击者持有 ≥ t 个签名密钥但没有系数份额,仍无法生成封印。实验证明该架构在保持安全性的同时显著简化后量子迁移。

💡 推荐理由: 为数字资产托管提供后量子迁移路径,无需依赖不成熟的阈值签名方案,降低工程复杂度。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Nitin Agrawal 0002, James Bell 0001, Adrià Gascón, Matt J. Kusner

本文研究了在双方安全计算(MPC)中高效验证承诺的问题。考虑场景:一方P1向另一方P2承诺一个值x,后续将用于安全计算,P2希望确保P1没有作弊,即x确实被输入到安全计算中。作者在公开验证隐蔽(PVC)安全模型下构造承诺方案,该模型是恶意模型的松弛,适用于P1作弊会面临声誉损害的场景。首先提出了PVC承诺方案的概念和索引哈希函数,以构建适用于PVC框架的承诺方案,并针对算术电路和布尔电路给出了高效构造。实验表明,对于布尔电路,所提方案的评估速度比基于哈希的基线方法快60倍,通信量减少36倍。此外,通过证明承诺验证电路的非线性门数量的下界,证明了构造在非线性操作需求方面是最优的。最后,提出了一种增强安全性的技术,能够以统计安全性高效恢复恶意模型的安全保证。

💡 推荐理由: 提出了一种在松弛安全模型下高效验证承诺的新方法,大幅提升性能,对实际安全多方计算应用有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)