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
NEAR Protocol Công bố Bảng Điều Khiển Doanh Thu Công Khai
Gate News thông báo, ngày 24 tháng 3, NEAR Protocol ra mắt bảng điều khiển doanh thu công khai. Bảng điều khiển này có thể theo dõi phí giao thức theo thời gian thực, doanh thu sản phẩm, cũng như quan sát cách mức sử dụng bù đắp lượng phát hành NEAR.
GateNews9phút trước
Tempo Engineering Lead: Payment Channels sẽ được tích hợp vào hệ thống dưới dạng một bộ tiền biên dịch
Gate News thông báo, ngày 24 tháng 3, Trưởng kỹ sư Tempo Georgios Konstantopoulos đã đăng tweet cho biết, Payment Channels sẽ được tích hợp như một tập hợp các precompile vào hệ thống Tempo. Biện pháp này sẽ giảm chi phí Payment Channels, cho phép nó vào các payment lane chuyên dụng (payment lane) và bỏ qua
GateNews1giờ trước
Hey Anon Công bố Ra mắt Thị trường Dự đoán "Pandora" trên Ethereum
Hey Anon ra mắt Pandora, một sàn giao dịch dự đoán được điều khiển bởi AI phi tập trung trên Ethereum, trao quyền cho người dùng tạo ra các thị trường minh bạch mà không có kiểm soát tập trung. Nền tảng này có các cơ chế đồng thuận AI độc đáo và nhằm mục đích đổi mới cảnh quan thị trường dự đoán.
CoinDesk1giờ trước
Sự kiện Crypto, Thích ứng hay Chết: WebZero Khởi động Polar để Kết thúc Thời đại "Mù" của Web3 Event Marketing
BERLIN, ĐỨC, Ngày 31 tháng 12, 2025 - Khi ngành công nghiệp tiền điện tử bước vào "năm thanh toán" quan trọng vào năm 2026, WebZero đã chính thức công bố ra mắt Polar để cách mạng hóa cách các công ty Web3 theo dõi, đo lường và mở rộng quy mô hiện diện sự kiện vật lý của họ. Với nghiên cứu ngành cho thấy rằng >90% của
CoinDesk1giờ trước
Balancer Labs tuyên bố giải thể sau khi bị tấn công, giao thức DeFi được DAO tiếp quản và tái tổ chức
Công ty phát triển Balancer Labs đằng sau giao thức DeFi Balancer tuyên bố đóng cửa, với các lý do bao gồm cấu trúc tài chính mất cân bằng và rủi ro pháp lý. Mặc dù đóng cửa, giao thức sẽ tiếp tục được vận hành bởi Quỹ Balancer và DAO. Các cuộc tấn công lỗ hổng bảo mật gần đây đã khiến TVL của nó giảm từ đỉnh 3,3 tỷ đô la xuống còn khoảng 158 triệu đô la, giảm hơn 95%. Tương lai sẽ thiết kế lại mô hình tokenomics và kiến trúc hoạt động để thúc đẩy sự phát triển bền vững của giao thức.
MarketWhisper1giờ trước
Figure mã token hóa được sửa đổi từ FGRD thành FGRS
Vào ngày 24 tháng 3, Công ty Figure đã đổi mã cổ phiếu token hóa từ FGRD sang FGRS, phù hợp với thông tin đăng ký của SEC và niêm yết trên Provenance Blockchain, không ảnh hưởng đến tính an toàn và cơ chế giao dịch. Cổ phiếu token sẽ được phát hành và giao dịch trên nền tảng OPEN của Figure, đồng thời hỗ trợ vay mượn trong thị trường DeFi.
GateNews1giờ trước
