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
Ba địa chỉ liên quan đến khoản stake của Multicoin Capital trị giá 82,02 triệu USD HYPE vào HyperCore
Theo ChainCatcher, ba địa chỉ liên quan đến Multicoin Capital đã đặt tổng cộng 82,02 triệu HYPE vào HyperCore hôm nay. Một trong các địa chỉ đã chuyển 28,45 triệu HYPE trị giá token vào giao thức để
GateNews8phút trước
Nâng cấp Ethereum Glamsterdam nhắm tới thời điểm triển khai vào tháng 6/2026, giới hạn gas tăng từ 60 triệu lên 200 triệu
Theo Quỹ Ethereum, bản nâng cấp Glamsterdam dự kiến sẽ được triển khai lên mainnet vào khoảng tháng 6 năm 2026, với giới hạn gas tối đa của khối tăng từ 60 triệu lên 200 triệu. Quá trình phát triển đang tăng tốc, với các mục tiêu cốt lõi nhìn chung đã hoàn thành, bao gồm việc nâng giới hạn đồng thuận tối thiểu
GateNews1giờ trước
Shopify, Ngân hàng Quốc gia Canada hậu thuẫn stablecoin CADD để thanh toán 24/7
Shopify và Ngân hàng Quốc gia Canada nằm trong số các nhà đầu tư hậu thuẫn cho stablecoin CADD mới của Tetra Trust, được thiết kế để phục vụ các tổ chức trong thanh toán xuyên biên giới 24/7 và các hoạt động quản trị ngân quỹ doanh nghiệp theo thời gian thực.
Tổng quan sản phẩm
CADD được định vị như một giải pháp thay thế cho các hệ thống thanh toán theo lô cũ. Phần tiếp theo
CryptoFrontier1giờ trước
Exodus chạm ngưỡng quan trọng chuyển hướng sang nền tảng thanh toán, Benchmark đặt mục tiêu giá 21 USD
Theo nhà phân tích Benchmark Mark Palmer trong ghi chú vào thứ Hai, Exodus Movement đã vượt qua một ngưỡng quan trọng khi chuyển từ nhà cung cấp ví tự lưu ký sang một nền tảng thanh toán tiền mã hóa. Palmer một lần nữa tái khẳng định khuyến nghị Mua với mục tiêu 21 USD
GateNews3giờ trước
Upbit ra mắt GIWA Chain trên Optimism Layer 2 với quyền kiểm soát do tự quản lý
Sàn giao dịch crypto lớn nhất Hàn Quốc Upbit đã hợp tác với Optimism Foundation để xây dựng một blockchain Ethereum Layer 2 mới có tên GIWA Chain, sử dụng OP Stack, theo một thông báo hôm thứ Hai. Upbit sẽ tự vận hành chuỗi, trong khi Optimism Foundation cung cấp hỗ trợ kỹ thuật.
CryptoFrontier3giờ trước
Dự án danh tính On-Chain Phi sẽ ngừng hoạt động vào ngày 25 tháng 5
Theo thông cáo chính thức, Phi, một dự án nhận dạng trên chuỗi, sẽ ngừng hoạt động vào ngày 25/5. Dịch vụ phi.box và các sản phẩm liên quan sẽ ngừng hoạt động, dù token PHI vẫn có thể được giao dịch trên Aerodrome. Nhóm cho biết nguyên nhân là do hạn chế về nguồn lực sau các nỗ lực tái cấu trúc trước đó như là
GateNews4giờ trước
