根据 Aptos，公链已成为首个支持动态调度形式化验证的 Layer 1，能够提供数学证明，证明其系统按设计运行。Aptos 表示，由 AI 生成的规范结合 Move Prover 作为预言机机制，构建了市场参与者与协议之间的信任层。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
