TechFlow đưa tin, gần đây, MoveBit - một trong những đóng góp viên đầu tiên của hệ sinh thái Move, và Wolfgang Grieskamp - người phụ trách Aptos Move, đã cùng công bố bài báo học thuật FMBC-24 (Phương pháp Hình thức cho Blockchain). Bài báo chỉ ra rằng, bằng cách áp dụng phương pháp xác minh hình thức để đảm bảo an toàn cho các hợp đồng trên chuỗi Aptos, có thể duy trì hiệu năng bảo mật trong nhiều tình huống ứng dụng khác nhau. Các nhà phát triển cốt lõi của MoveBit, Luis Loh và Zorrot Chen, đã tham gia sâu vào quá trình xây dựng và có những đóng góp nổi bật trong việc đảm bảo an toàn cho Aptos Framework. Đáng chú ý, Wolfgang cũng sẽ trình bày công trình xác minh hình thức của Aptos - với sự tham gia sâu sắc của MoveBit - tại các hội nghị ETAPS.
Cảnh báo rủi ro: mọi nội dung trên website này không cấu thành tư vấn đầu tư và chúng tôi không cung cấp bất kỳ dịch vụ tín hiệu hay dẫn dắt giao dịch nào. Theo thông báo của PBoC và 10 bộ ngành về việc tăng cường phòng ngừa rủi ro đầu cơ tiền mã hóa, xin hãy nâng cao ý thức rủi ro. Liên hệ: support@techflowpost.com Mã ICP: 琼ICP备2022009338号
