Aptos成为首个支持动态分发形式化验证的Layer1区块链

发布时间：2026-05-14 已有：位网友关注

　　币界网消息，吴说获悉，Aptos表示，其成为首个支持对动态分发进行形式化验证的Layer 1区块链，可通过数学方法验证相关机制是否按设计运行。Aptos称，开发者可借助AI编写规范，并通过Move Prover对智能合约逻辑进行验证，以提升链上程序的可验证性与安全性。