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

