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