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
Chứng khoán Nhật Bản và Hàn Quốc phục hồi》Ví Phantom ra mắt hợp đồng vĩnh viễn ETF Nhật Bản và Hàn Quốc của BlackRock, đòn bẩy tối đa 20 lần
Ví Wallet Phantom thông báo bổ sung giao dịch hợp đồng vĩnh viễn ETF của Hàn Quốc và Nhật Bản, và có thể tham gia giao dịch mua bán dài hạn của thị trường Nhật Bản và Hàn Quốc với đòn bẩy tối đa 20 lần, người dùng có thể thao tác trực tiếp trong ví mà không cần nền tảng bên ngoài. Những ETF này do BlackRock phát hành, lần lượt theo dõi các chỉ số chính của Hàn Quốc và Nhật Bản.
動區BlockTempo3phút trước
X Money bắt đầu thử nghiệm giới hạn "Gửi tiền nhận lãi suất 6% hàng năm", Chiến tranh giữa các vì sao Shatner đấu giá thư mời với giá 1000 đô la
Ứng dụng thanh toán của Elon Musk, X Money, đã bắt đầu thử nghiệm bên ngoài trong tuần này, cung cấp lãi suất gửi tiền 6% hàng năm và được bảo hiểm bởi FDIC, tạo ra thách thức cho các ngân hàng truyền thống và PayPal. Người dùng có thể nhận thẻ kim loại Visa in tên và hoàn tiền khi tiêu dùng, ngoài ra, X Money còn dự định tích hợp dần các loại tiền điện tử, mặc dù hiện tại chưa có hành động cụ thể nào.
動區BlockTempo8phút trước
Quỹ Ethereum: Mục tiêu chiến lược AI của Ethereum là trở thành lớp điều phối và xác thực trong thế giới AI
Giám đốc AI của Quỹ Ethereum Davide Crapis cho biết, mục tiêu của Ethereum là trở thành lớp điều phối và xác thực AI, nhấn mạnh tầm quan trọng của phi tập trung và quyền riêng tư. Chiến lược AI của Ethereum tập trung vào điều phối AI phi tập trung và đưa giá trị cốt lõi vào lĩnh vực AI để bảo vệ dữ liệu và danh tính người dùng.
GateNews34phút trước
Giá của Pi Network đạt mức cao mới trong hai tuần, nâng cấp giao thức thúc đẩy mức tăng 8.5%
Pi Network của token gốc PI đã tăng khoảng 8.5% vào ngày 4 tháng 3, đạt mức cao mới trong gần hai tuần, nhờ việc nâng cấp thành công của giao thức v19.9. Việc nâng cấp nhằm mục đích củng cố khả năng mạng lưới và sẽ giới thiệu v20.2 trước Pi Day 2026. Mặc dù tăng trong ngắn hạn, Quỹ Pi đã chuyển 60,099,000 token, có thể gây áp lực cung cấp. Về mặt kỹ thuật, PI đang đối mặt với mức kháng cự quan trọng ở 0.173 USD.
MarketWhisper35phút trước
Base xem AI Agent và robot là những lĩnh vực công nghệ hàng đầu tiếp theo, kêu gọi các nhà phát triển tham gia
Nền tảng AI đại lý của hệ sinh thái Base, Virtuals Protocol, đã khởi động dự án 「Base Batches 003： Robotics」, nhằm thúc đẩy sự phát triển của AI đại lý trong lĩnh vực robot, hỗ trợ xây dựng đại lý robot và các quy trình công việc liên quan. Những người đăng ký thành công sẽ nhận được hướng dẫn từ cố vấn và khoản tài trợ tối đa 50.000 USD, đồng thời tham gia ngày trình diễn Demo Day tại San Francisco.
GateNews45phút trước
Byreal mở nguồn kỹ năng AI Agent, hỗ trợ giao dịch trên chuỗi, quản lý vị thế và sao chép chiến lược
Giao thức Solana Byreal đã mở mã nguồn công cụ tương tác trên chuỗi dành riêng cho AI Agent là byreal-cli, hỗ trợ truy vấn pool thanh khoản, Token Swap và các chức năng cốt lõi khác, tương thích với hơn 40 khung AI Agent, thuận tiện cho việc sử dụng chỉ với một cú nhấp chuột.
GateNews51phút trước
