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
Productive Stablecoins: Thu hẹp khoảng trống hiệu quả 300B USD (Efficiency Gap)
Bài viết này thảo luận về sự kém hiệu quả của stablecoin, nêu bật rằng 90% không tạo ra giá trị và hoạt động như một khoản thuế ẩn. Bài viết xác định một cơ hội lớn trong kho quỹ của DAO và tính thanh khoản của DEX, cũng như các giải pháp đang nổi lên như HyENA và Solomon nhằm nâng cao lợi suất cho người dùng.
CoinDesk52phút trước
Báo cáo hoạt động Q1 2026 của Riot Platforms: năng lực tính toán tăng 26% theo năm, nhưng lượng nắm giữ Bitcoin giảm 18% xuống còn 15,680 BTC
Riot Platforms trong báo cáo quý 1 năm 2026 cho thấy lượng nắm giữ Bitcoin giảm từ 19,223 xuống còn 15,680, chủ yếu do bán 3,778 Bitcoin để thu về gần 290M USD. Mặc dù sản lượng Bitcoin giảm nhẹ, công suất tính toán lại tăng 26%, và chi phí điện năng trung bình giảm xuống còn 3.0 cent/kWh. Công ty đang chuyển mình thành nhà phát triển trung tâm dữ liệu quy mô lớn và tham gia nhiều hội nghị trong ngành để thúc đẩy kế hoạch vốn.
ChainNewsAbmedia1giờ trước
Pudgy Penguins: Thử thách di sản Pokemon và Disney trong cuộc đua IP toàn cầu
Pudgy Penguins phá vỡ thị trường đồ chơi được cấp phép trị giá 31,7B USD bằng cách sử dụng mô hình “Negative CAC”, đạt hơn 2M đơn vị bán ra tại 10.000 điểm bán lẻ. Công ty đã giành được ý nghĩa văn hóa nhờ các quan hệ đối tác và đặt mục tiêu doanh thu 120M USD vào năm 2026 trước một khả năng IPO.
CoinDesk1giờ trước
Pipe Network ra mắt SolanaCDN: Một ứng dụng khách trình xác thực miễn phí, mã nguồn mở với tính năng tăng tốc tích hợp cho Solana
San Francisco, CA, ngày 26 tháng 2 năm 2026, Chainwire
SolanaCDN cung cấp tốc độ lan truyền shred nhanh hơn 3,8 lần thông qua một mạng lưới toàn cầu gồm hơn 35.000 nút, được cung cấp như một hàng hóa công cho mạng Solana
Pipe Network hôm nay đã công bố việc ra mắt SolanaCDN, một trình khách validator Solana miễn phí, mã nguồn mở với một
CoinDesk2giờ trước
Phần thưởng của Pi Network đạt mốc 1 triệu trình xác thực KYC
Pi Network đã đạt được một cột mốc với hơn 1 triệu trình xác thực (validator) hoàn tất 526 triệu tác vụ KYC, qua đó thể hiện nỗ lực xác minh danh tính phi tập trung của mình. Mô hình lai kết hợp xác minh của con người và AI để đảm bảo tính xác thực. Với 18 triệu danh tính đã được xác minh, dự án chuyển trọng tâm từ phân phối token sang xây dựng một nền kinh tế blockchain hoạt động, nhấn mạnh sự tham gia của cộng đồng và giá trị sử dụng dài hạn.
Coinfomania5giờ trước
