面向去中心化资本筹集的密码学资金信托与反欺诈机制研究

Abstract: 针对智能合约托管资金池的形式化验证、Gas成本优化的退款算法及机构安全边界研究。