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
Pi Launchpad 12 Grid mạng thử nghiệm được khởi động, việc phân phối token của những người tiên phong đã hoàn tất
Pi Network gần đây đã khởi động bài kiểm tra phân phối token của Pi Launchpad, với hơn 300.000 người dùng tham gia và số lượng Test-Pi được stake là 24 triệu. Kiến trúc cốt lõi “12 Grid” có thể thực hiện việc phát token từ đầu đến cuối, mọi giao dịch đều công khai và có thể tra cứu được. Thử nghiệm lần này đã xác nhận tính khả thi của hệ thống, đặt nền tảng cho việc ra mắt chính thức trong tương lai. Lộ trình nâng cấp bao gồm khung PiRC1 và Protocol 23 lần lượt được triển khai vào tháng 4 và tháng 5.
MarketWhisper30phút trước
Ripple Mở rộng Các Giải pháp Tài sản Kỹ thuật số của mình với việc ra mắt Hệ thống Quản lý Kho bạc - U.Today
Ripple đã ra mắt một Hệ thống Quản lý Kho bạc (Treasury Management System) với các khả năng tài sản số tích hợp, cho phép các CFO quản lý cả tài sản fiat và tài sản số từ một nền tảng duy nhất, qua đó nâng cao việc doanh nghiệp áp dụng blockchain trong bối cảnh nhu cầu ngày càng tăng đối với các giải pháp tài sản số.
UToday35phút trước
Giao thức lợi nhuận DeFi Saturn ra mắt mainnet, trong giai đoạn thử nghiệm riêng đã nhận được 10 triệu USD tiền gửi
Giao thức lợi nhuận DeFi Saturn đã chính thức ra mắt mainnet vào ngày 9 tháng 4, giai đoạn thử nghiệm công khai đã kết thúc; trong thời gian đó đã thu hút các công ty như Flowdesk và Galaxy gửi 10 triệu USD. USDat stablecoin của Saturn được xây dựng dựa trên M0, với các đối tác bao gồm Galaxy, Securitize và Clear Street. Saturn đã hoàn tất vòng gọi vốn 800 nghìn USD vào tháng 1.
GateNews48phút trước
MiniMax phát hành công cụ dòng lệnh đa phương thức toàn diện MMX-CLI, được thiết kế dành riêng cho AI Agent
MiniMax đã phát hành công cụ dòng lệnh đa phương thức (full-modal) MMX-CLI được thiết kế cho AI Agent vào ngày 9 tháng 4, nhằm đơn giản hóa việc gọi các năng lực AI trên nền tảng MiniMax từ Agent. Công cụ này, bằng cách thực thi lệnh và lấy kết quả, giúp nâng cao hiệu quả của các luồng công việc tự động hóa, đồng thời thực hiện ba cải tiến thiết kế nhằm giải quyết các vấn đề của công cụ dòng lệnh trong môi trường tự động hóa.
GateNews2giờ trước
Nền tảng AI Surf ra mắt công cụ Surf Skill CLI, miễn phí cung cấp hạn mức API trị giá 200k USD
Surf giới thiệu công cụ Surf Skill CLI, giúp các tác nhân AI có khả năng truy vấn dữ liệu tiền mã hóa, thay thế hơn 60 API độc lập. Người dùng có thể phân tích theo thời gian thực về thị trường, DeFi TVL và xu hướng xã hội, đồng thời nhận hạn mức tín dụng API miễn phí trị giá 200k USD để đơn giản hóa quy trình phát triển.
GateNews2giờ trước
OpenClaw phát hành bản cập nhật phiên bản 2026.4.9, giới thiệu tính năng “Mộng cảnh” để tác nhân AI hình thành ký ức
Tin tức Gate News, ngày 9 tháng 4, OpenClaw phát hành bản cập nhật 2026.4.9. Bản cập nhật này chính thức giới thiệu tính năng “Mơ mộng” (Dreaming), xử lý dữ liệu lịch sử thông qua REM để lấp lại và thêm giao diện UI dòng thời gian nhật ký, để tác nhân AI có thể phát lại ghi chú của người dùng nhằm hình thành trí nhớ. Đồng thời, bản cập nhật cũng tăng cường các biện pháp bảo vệ an toàn trước SSRF và chèn/xâm nhập thực thi tại nút, bổ sung đánh giá QA về bầu không khí của nhân vật, và tối ưu hóa toàn diện quy trình ghép nối trên Android.
GateNews2giờ trước
