Aptos заявляет о первой в мире Layer 1 с поддержкой динамического планирования и формальной верификации

APT1,28%
MOVE0,05%
ORCL3,3%
TRUST2,75%

Согласно Aptos, блокчейн стал первой сетью Layer 1, поддерживающей динамическое планирование формальной верификации, позволяющей дать математическое доказательство того, что система работает так, как задумано. Aptos заявил, что AI-сгенерированные спецификации в сочетании с Move Prover в качестве механизма оракула создают уровень доверия между участниками рынка и протоколом.

Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к Отказу от ответственности.
комментарий
0/400
Нет комментариев