BlockBeats đưa tin, ngày 5 tháng 3, theo thông báo chính thức, Aave Labs đã phát hành báo cáo minh bạch toàn diện về kế hoạch an toàn Aave V4, bao gồm phương pháp, quy trình và kết quả, được các tổ chức an ninh như Trail of Bits, Blackthorn, Certora cùng chứng thực. Thông qua các hoạt động kiểm tra thủ công, xác thực hình thức, kiểm tra bất biến, kiểm thử mờ, cũng như các cuộc thi an toàn công khai, tổng cộng đã tiến hành khoảng 345 ngày kiểm tra an ninh. Kế hoạch này được hỗ trợ bởi ngân sách an toàn đặc biệt 1,5 triệu USD do DAO phê duyệt.
Aave Labs tuyên bố sẽ tiếp tục năm cam kết cốt lõi từ kế hoạch an toàn Aave V4: tích hợp xác thực hình thức trong giai đoạn phát triển ban đầu để đảm bảo kiến trúc được hướng dẫn bởi các phương pháp an toàn chứ không chỉ đơn thuần là xác thực; áp dụng phương pháp an toàn phân lớp, bao gồm kiểm tra thủ công, xác thực hình thức, kiểm tra bất biến, kiểm tra hỗ trợ bởi AI, kiểm thử mờ và các cuộc thi an toàn công khai nhằm bao phủ nhiều lỗ hổng tiềm năng hơn; duy trì phạm vi an toàn liên tục, khung xác thực hình thức và bộ kiểm tra bất biến sẽ tiếp tục hoạt động theo từng phiên bản của giao thức; thiết lập chương trình thưởng lỗi dài hạn, tận dụng cộng đồng an ninh rộng lớn hơn để cung cấp giám sát liên tục; và tối ưu hóa khả năng quét AI, dựa trên kinh nghiệm kiểm thử hiện tại để nâng cao khả năng phát hiện an toàn thông minh cho các phiên bản tương lai.
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo
Tuyên bố miễn trừ trách nhiệm.
Bài viết liên quan
Myriad sẽ sử dụng USD1 trên BNB Chain làm tài sản thanh toán độc quyền
Thị trường dự đoán Myriad đang chuyển sang stablecoin USD1 của World Liberty Financial làm tài sản thanh toán độc quyền.
Như một phần của quá trình này, Myriad, thuộc sở hữu của công ty mẹ _Decrypt_ là Dastan, đang chuyển toàn bộ danh mục thị trường dự đoán của mình sang BNB Chain.
> Chào mừng đến với MÙA 3 của MYRIAD.
>
> Our b
Decrypt1giờ trước
Giao thức DeFi trong hệ sinh thái Solana Drift sẽ ra mắt chức năng nạp đa chuỗi vào ngày 12 tháng 3
Tin tức Gate News, ngày 11 tháng 3, giao thức DeFi trong hệ sinh thái Solana là Drift thông báo sẽ ra mắt chức năng nạp đa chuỗi vào ngày 12 tháng 3, hỗ trợ người dùng chuyển tiền từ bất kỳ nền tảng giao dịch chính nào và bắt đầu giao dịch.
GateNews2giờ trước
VanEck: Các công ty khai thác Bitcoin chuyển đổi sang hạ tầng AI, định giá có khoảng cách chiết khấu
Giám đốc nghiên cứu VanEck Matthew Sigel cho biết, cổ phiếu khai thác Bitcoin hấp dẫn các nhà đầu tư, các công ty khai thác đang chuyển hướng sang thị trường AI để nâng cao giá trị. Core Scientific dự định bán tài sản Bitcoin để mở rộng hoạt động AI, Riot Platforms dự kiến sẽ thực hiện chuyển đổi chiến lược vào năm 2025. Trong 12 tháng qua, cổ phiếu của Core và Riot đều tăng 90%, trong khi MARA giảm 35% do chi phí tăng cao. Quỹ ETF NODE sau khi ra mắt đã tăng hơn 30%.
GateNews2giờ trước
Hướng dẫn ban đầu về Ferra: Chuỗi Sui quyến rũ, phát token trực tuyến
Ferra là một DEX tổng hợp trên chuỗi Sui, sử dụng lớp thanh khoản động và nhiều engine AMM, đã huy động được 2 triệu USD. Người dùng có thể tích lũy điểm thông qua khai thác thanh khoản và giao dịch, tham gia vào các đợt airdrop. Dự án dễ vận hành, chi phí tham gia ban đầu thấp, có tiềm năng tăng trưởng tốt.
PANews2giờ trước
Musk: Macrohard là dự án hợp tác giữa xAI và Tesla, có khả năng mô phỏng toàn bộ hoạt động của công ty
Elon Musk tiết lộ rằng xAI hợp tác phát triển dự án Macrohard hoặc Digital Optimus cùng Tesla, kết hợp công nghệ Grok và AI, có khả năng xử lý thao tác máy tính theo thời gian thực. Hệ thống này mô phỏng toàn bộ hoạt động của công ty, còn được gọi vui là “巨硬”. Mục tiêu của nó là tạo ra hệ thống AI thông minh thời gian thực độc đáo và có chi phí thấp.
GateNews3giờ trước
