高效动态的可验证秘密共享方案：对比Feldman与Pedersen

本文档主要探讨了一种于2007年提出的创新动态可验证秘密共享方案。作者石润华和黄刘生分别来自安徽大学计算机科学与技术学院和中国科学技术大学计算机科学与技术系，他们在该领域的重要贡献在于设计了一种新型的、高效且具有两种形式的秘密共享方案。 首先，这个方案分为计算安全和无条件安全两种类型，与Feldman方案和Pedersen方案相媲美。计算安全的版本确保在信息处理层面的安全，即只有授权的k个参与者协作才能解密，类似于Feldman方案的性质。另一方面，无条件安全的版本则依赖于更为底层的数学原理，即使在某些条件未满足的情况下也能保证安全性，类似于Pedersen方案。 论文的核心部分着重于防止欺诈行为，通过设计防欺诈的共享更新协议和共享重构协议。这些协议旨在解决在实际应用中可能出现的问题，比如参与者可能提供错误的共享或因网络问题导致共享出错，导致授权子集无法正确恢复秘密。传统的秘密共享方案在此类情况下可能存在不足，而新方案通过其动态特性，显著提高了在秘密更新和验证过程中的效率。 在可验证性方面，新方案确保在秘密分发阶段，分发者分发的共享信息准确无误；而在秘密恢复阶段，参与者提交的共享也能被正确验证，增强了方案的可靠性。相比于基于Shamir方案的传统可验证秘密共享方案，这种新型方案在处理动态更新需求时表现得更为高效，对于那些需要频繁更新秘密或共享的现代应用具有重要意义。 这项研究不仅扩展了秘密共享方案的理论框架，还提供了更加实用的解决方案，对信息安全领域的实际应用具有深远的影响。中图分类号TP309表明了该研究属于计算机科学和技术的范畴，而关键词“门限方案”、“秘密共享”、“承诺协议”和“离散对数”揭示了论文核心讨论的数学基础和应用背景。通过这篇文章，读者可以深入了解如何在复杂环境中构建一个动态、高效且可验证的秘密共享系统。