アプリトス、AI攻撃に備え「公式検証」システム導入

アプリトス（APT）は、主要なレイヤー1ブロックチェーンの中で初めて公式検証（formal verification）システムを導入したと、公式Xで発表した。 公式検証は、AI攻撃に備えることができる検証方式であり、AIとムーブ言語で書かれた証明ツールであるムーブプロバー（Move Prover）を通じて実装された。