Aptos 成为首个支持动态调度形式化验证的 L1

OKXer
ChainCatcher 消息,Aptos 在 X 平台发文表示,Aptos 是首个支持动态调度形式化验证的 L1,可数学证明其按设计运行。Aptos 称,AI 编写规范,数学证明其正确性,Move Prover 即为预言机,这是市场与机器的信任层。

B安/欧意/大门交易所永久入口:点击进入加密货币的世界

OK交易所是全球排名前三的数字货币交易平台,非常符合国人操作,买卖比特币就上OK交易平台

目录[+]