Aptos trở thành L1 đầu tiên hỗ trợ xác minh hình thức phân phối động
Foresight News đưa tin, Aptos đã đăng tweet cho biết Aptos trở thành L1 đầu tiên thực hiện xác minh hình thức (formal verification) phương thức dynamic dispatch, có thể chứng minh bằng toán học rằng nó hoạt động đúng theo thiết kế. Aptos cho biết, AI đảm nhiệm việc viết đặc tả, Move Prover chứng minh tính đúng đắn thông qua phương pháp toán học. Điều này cung cấp lớp nền tảng tin cậy cho thị trường và máy móc. Ngoài ra, Move là ngôn ngữ hợp đồng thông minh duy nhất tích hợp xác minh hình thức nguyên bản, hiện đã mở rộng hỗ trợ cho dynamic dispatch.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
UBS nâng mục tiêu giá của Dell lên 455 đô la
Vanguard mua lại nền tảng quản lý tài sản Altruist
Bitcoin đạt trên 80,000 USD rồi biến động ở vùng cao, quy luật chu kỳ lịch sử cho thấy cửa sổ thời gian quan trọng đang đến
Sau đợt phục hồi mạnh mẽ gần đây, bitcoin đã bắt đầu dao động và điều chỉnh quanh mức trên 75,000 USD. Trước đó, giá bitcoin đã lần đầu tiên vượt qua 80,000 USD kể từ giữa tháng 5, nhưng sau đó đã giảm nhẹ.
Giá tiền điện tử
Thêm
