Aptos 成为首个支持动态分发形式化验证的 Layer 1

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