多方安全计算(MPC)门限签名协议的形式化验证

通过数学定理形式化推演，证明任意小于门限数量的共谋节点均无法反推主私钥。

Key Architectural Specifications

基于 Coq 与 Isabelle/HOL 的门限签名核心代码机器形式化证明
分片私钥有效性与完整性的交互式零知识证明校验
在无需变更底层公钥的前提下动态刷新分片私钥(Resharing)
在异步网络分区与恶劣网络环境下的强拜占庭容错保障