#covert security

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

← 返回所有主题
👥 作者: 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)