Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Застереження. Вміст, опублікований на OKX Orbit, надається виключно в інформаційних цілях. Докладніше
Відповіді
Related Flash News
Odaily•1г томуСтейблкоїн за корейську вон KRW1 буде котируватися на Aptos
ChainCatcher•2г томуAave Upgrade Bug Bounty Program: Максимальна винагорода за критичні вразливості у V4 та Core V3 буде збільшена у 5 разів
ChainCatcher•4г томуTownSquare оголосила про запуск програми ліквідності стейблкоїнів на суму 100 мільйонів доларів США 1
ChainCatcher•2д томуtZERO підключає сумісну платформу токенізації з Aptos, а випуск інституційних RWA прискорюється для високопродуктивних публічних ланцюгів
ChainCatcher•2д томуAptos планує запустити нативний криптографічний мемпул, ставши першим публічним ланцюгом L1 з цією функцією
Odaily•6д томуФонд Aptos співпрацює з японською компанією NETSTARS для дослідження рішень для багатоланцюгових платежів
TechFlow•6д томуФонд Aptos та Aptos Labs інвестують понад 50 мільйонів доларів для підтримки екосистеми
ChainCatcher•9д томуДані: Ринкова капіталізація стейблкоїнів на ланцюжку Aptos перевищила $1,9 мільярда, що є рекордним показником
ChainCatcher•13д томуЕкологічна біржа Aptos DEX Tapp оголосила про призупинення, і зняття коштів буде доступне у звичайному режимі до 31 травня
TechFlow•14д томуPaxos, Solana та інші установи в різних сферах оголосили про підтримку протоколу оплати OKX Agent