Aave Labs công bố báo cáo kiểm toán minh bạch toàn diện về kế hoạch an ninh Aave V4

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

Fireblocks Ra mắt công cụ tạo lợi suất Stablecoin dành cho tổ chức Earn

Fireblocks đã giới thiệu Earn, cho phép các khách hàng tổ chức sử dụng số dư stablecoin để cho vay trên chuỗi thông qua Aave và Morpho, qua đó nâng cao hiệu quả sử dụng vốn. Tính năng này ban đầu cung cấp các vault của Morpho và thị trường cho vay của Aave, với lợi suất biến đổi.

GateNews9phút trước

ether.fi Hoàn tất quá trình di chuyển sang mạng chính Optimism

Ether.fi đã di chuyển thành công sang mạng chính Optimism, tự hào có hơn 70.000 thẻ đang hoạt động, 300.000 tài khoản và $220 triệu( trong tổng giá trị bị khóa )TVL.

GateNews9phút trước

Circle ra mắt cơ chế thanh toán USDC liên chuỗi hỗ trợ thanh toán theo lô

Circle đã ra mắt một cơ chế thanh toán USDC đa chuỗi mới cho các khoản thanh toán tần suất cao, sử dụng Giao thức Chuyển tiền Đa chuỗi để cấp vốn trước cho các giao dịch và cho phép thanh toán theo lô, nhờ đó giảm thiểu chi phí vận hành và giảm các thao tác đốt.

GateNews39phút trước

Kỷ nguyên stablecoin! Người sáng lập Circle, Jeremy Allaire, góp mặt trong danh sách 100 nhân vật có ảnh hưởng nhất toàn cầu năm 2026

Trong bối cảnh giám sát quy định về tiền mã hóa và tài chính trên toàn cầu đang dần mở rộng, nhà sáng lập Circle, Jeremy Allaire, đã được bình chọn vào danh sách 100 người có ảnh hưởng nhất năm 2026 của tạp chí 《Time》, tượng trưng cho tầm quan trọng ngày càng tăng của stablecoin. Circle đã chuyển mình từ thanh toán số sang mô hình stablecoin lấy USDC làm trung tâm, đồng thời lên kế hoạch trở thành một phần của hạ tầng tài chính toàn cầu. Sự thay đổi này khiến mô hình kinh doanh của họ trở nên giống hơn với các quỹ thị trường tiền tệ kỹ thuật số, báo trước về tiềm năng lợi nhuận và tăng trưởng trong tương lai của stablecoin.

ChainNewsAbmedia8giờ trước

0G Labs ra mắt 0G App với tư cách là cổng hệ sinh thái: điện toán phi tập trung, AI có thể xác minh và $0G Token khép vòng

0G Labs đã ra mắt Ứng dụng 0G (0G App), một nền tảng no-code cho phép người dùng tạo các ứng dụng AI thông qua ngôn ngữ tự nhiên. Nền tảng này kết hợp điện toán phi tập trung và các năng lực AI, giải quyết các vấn đề tập trung hóa đồng thời nâng cao quyền riêng tư. Đợt ra mắt này nhằm thúc đẩy việc áp dụng AI Agent và tích hợp vào hệ sinh thái AI rộng hơn của 0G.

GateNews11giờ trước

WLFI Đề xuất Kế hoạch Quản trị Token: 62.2B Token bị khóa trong ít nhất 2 năm, đốt cháy phần chia sẻ của đội ngũ 10%

World Liberty Financial (WLFI) đã đề xuất một kế hoạch quản trị, khóa 62.2 tỷ token WLFI trong hai năm, với các lịch phân bổ khác nhau cho cố vấn và những người ủng hộ sớm. Mục tiêu này nhằm tăng cường quản trị dài hạn trong DeFi và bao gồm một yêu cầu đốt token.

GateNews13giờ trước
Bình luận
0/400
Không có bình luận