Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Miễn trừ trách nhiệm: Nội dung OKX Orbit chỉ để tham khảo. Tìm hiểu thêm
Phản hồi
Related Flash News
Odaily•2 giờ trướcStablecoin won Hàn Quốc KRW1 sẽ được niêm yết trên Aptos
ChainCatcher•3 giờ trướcChương trình tiền thưởng lỗi nâng cấp Aave: Tiền thưởng tối đa cho các lỗ hổng nghiêm trọng trong V4 và Core V3 sẽ tăng gấp 5 lần
ChainCatcher•5 giờ trướcTownSquare đã công bố ra mắt chương trình thanh khoản stablecoin trị giá 100 triệu USD1
ChainCatcher•2 ngày trướctZERO kết nối nền tảng mã hóa tuân thủ với Aptos và việc phát hành RWA của tổ chức được đẩy nhanh cho các chuỗi công khai hiệu suất cao
ChainCatcher•2 ngày trướcAptos có kế hoạch ra mắt một mempool mật mã gốc, trở thành chuỗi công khai L1 đầu tiên có tính năng này
Odaily•6 ngày trướcQuỹ Aptos đã hợp tác với NETSTARS của Nhật Bản để khám phá các giải pháp thanh toán đa chuỗi
TechFlow•7 ngày trướcQuỹ Aptos và Aptos Labs sẽ đầu tư hơn 50 triệu USD để hỗ trợ hệ sinh thái
ChainCatcher•9 ngày trướcDữ liệu: Vốn hóa thị trường của stablecoin trên chuỗi Aptos vượt quá 1,9 tỷ USD, mức cao kỷ lục
ChainCatcher•13 ngày trướcAptos sinh thái DEX Tapp Exchange thông báo tạm ngưng và việc rút tiền sẽ có sẵn bình thường cho đến ngày 31 tháng 5
TechFlow•14 ngày trướcPaxos, Solana và các tổ chức khác trong các lĩnh vực khác nhau đã công bố hỗ trợ giao thức thanh toán Đại lý OKX