تدّعي Aptos أنها أول شبكة من الطبقة الأولى تدعم التحقق الرسمي للمجدولة الديناميكية
وفقاً لما ذكرته Aptos، أصبحت السلسلة أول شبكة Layer 1 تدعم التحقق الرسمي من جدولة ديناميكية، بما يتيح إثباتاً رياضياً بأن نظامها يعمل كما هو مُصمَّم. وذكرت Aptos أن المواصفات التي يتم توليدها بالذكاء الاصطناعي، إلى جانب Move Prover بوصفه آلية وسيط (oracle)، تخلق طبقة ثقة بين المشاركين في السوق والبروتوكول.
GateNews·منذ 1 س

