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
Gauntlet đang thảo luận với Resolv về giải pháp, quỹ nền tảng không bị ảnh hưởng bởi việc phát hành bất thường USR
Gauntlet đang thảo luận các giải pháp với Resolv và xây dựng kế hoạch bồi thường. Nền tảng Gauntlet USD Alpha và các nhà cung cấp quỹ không bị ảnh hưởng bởi sự kiện phát hành USR, phần lớn các kho bạc đều ổn định và chỉ một số ít kho bạc có lợi suất cao bị ảnh hưởng hạn chế.
GateNews4phút trước
Resolv Labs dự định bật tính năng hoàn lại USR trước cuộc tấn công vào ngày 23 tháng 3
Resolv Labs thông báo sẽ kích hoạt tính năng hoàn lại USR trước cuộc tấn công, dự kiến khởi động vào ngày 23 tháng 3, những người dùng bị ảnh hưởng cần liên hệ với RDAL. Sự cố này xuất phát từ cuộc tấn công của bên thứ ba, các tài sản cơ bản không bị thiệt hại, hiện đang theo dõi USR được đúc trái phép, khuyến nghị người dùng tạm dừng các giao dịch liên quan.
GateNews56phút trước
Fluid được vay ngắn hạn để bao phủ 100% nợ xấu của Giao thức, tiền của người dùng an toàn
Nhóm Fluid đã nhận được khoản vay ngắn hạn, bao phủ 100% nợ xấu, đảm bảo an toàn quỹ người dùng. ResolvLabs sẽ xử lý vị thế USR trước sự kiện bảo mật, các nhà đầu tư có ý định tăng nắm giữ FLUID để tăng cường bảo vệ. Hợp đồng thông minh hoạt động bình thường, thị trường vận hành ổn định, có thể sẽ xuất hiện biến động lãi suất.
GateNews1giờ trước
Uniswap Vượt Quá $1T Khối Lượng Layer-2 Khi "Pink Acceleration" Tăng Tốc Độ
Uniswap Labs tiếp tục đạt được một cột mốc đáng chú ý khác, lần này làm nổi bật quy mô hoạt động chảy qua các mạng layer-2 trên Giao thức Uniswap. Trong một bài đăng được chia sẻ bởi nhóm, Uniswap cho biết khối lượng giao dịch L2 đã vượt qua mức $1 trillion, kèm theo thông điệp với cụm từ "Pink
BlockChainReporter1giờ trước
Bounce Finance Khởi động 'Bounce Predict' cho Thị trường Đấu giá Sotheby's
Bounce Finance đã triển khai Bounce Predict, cho phép các thị trường dự đoán cho các cuộc đấu giá Sotheby's. Sáng kiến này kết nối DeFi với động lực đấu giá truyền thống, thúc đẩy tính minh bạch và niềm tin thông qua dữ liệu được xác minh, nâng cao các cơ hội thị trường cho những người tham gia.
BlockChainReporter4giờ trước
BTQ Triển khai Testnet Lượng tử Bitcoin Đầu tiên Với BIP-360
_BTQ ra mắt Bitcoin Quantum testnet với BIP 360, giới thiệu Pay to Merkle Root và cho phép kiểm thử giao dịch chống lại lượng tử._
BTQ Technologies đã phát động một bước tiến mới trong nghiên cứu tập trung vào Bitcoin bằng một môi trường kiểm thử lượng tử hoạt động.
Công ty xác nhận rằng nó đã triển khai Bitcoin I
LiveBTCNews10giờ trước
