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
Jupiter Wallet ra mắt tính năng Auto Earn tự động sinh lợi
Gate News thông báo, ngày 18 tháng 3, Jupiter Wallet công bố tính năng Auto Earn. Tính năng này cho phép người dùng thiết lập số tiền kích hoạt (tối thiểu 10 đô la), khi số dư ví đạt đến ngưỡng được đặt, hệ thống sẽ tự động gửi token vào giao thức Jup Lend. Quá trình này không yêu cầu người dùng thanh toán phí Gas, các token nhàn rỗi có thể tự động sinh lợi tức.
GateNews24phút trước
Aster ra mắt mainnet Layer 1 về quyền riêng tư, giá ASTER đã phục hồi trong bối cảnh khối lượng giao dịch giảm 76%
Nền tảng phái sinh phi tập trung Aster đã ra mắt Aster Chain, một blockchain riêng tư hiệu suất cao được thiết kế đặc biệt cho hợp đồng vĩnh viễn vào ngày 18 tháng 3, hỗ trợ nạp tài sản xuyên chuỗi và nhấn mạnh bảo vệ quyền riêng tư cấp tài khoản. Mặc dù việc phát hành mainnet đã thúc đẩy giá ASTER tăng lên tạm thời, nhưng khối lượng giao dịch và tổng giá trị bị khóa đã giảm mạnh. Khả năng thu hút thanb khoản trong tương lai sẽ là chìa khóa của sự tăng trưởng của nó.
GateNews28phút trước
Theo hoàn thành vòng gọi vốn 1 tỷ, phát hành thUSD - stablecoin sinh lợi ổn định bằng hợp đồng tương lai vàng
Nền tảng New York Theo công bố hoàn thành vòng gọi vốn 100 triệu USD, ra mắt stablecoin sinh lợi dựa trên vàng thUSD. Nó tạo ra hai nguồn lợi nhuận độc lập thông qua gold token thGOLD và chênh lệch giá vàng kỳ hạn, nhằm cung cấp khả năng phòng ngừa rủi ro và sinh lợi trong thị trường không ổn định. Khác với Tether Gold và PAX Gold, thUSD không chỉ theo dõi giá vàng mà còn chủ động tạo ra lợi nhuận bổ sung. Dự kiến sẽ mở rộng ra 200 quốc gia trên toàn cầu, tương thích với nhiều giao thức cho vay.
MarketWhisper38phút trước
Aave bổ nhiệm João làm trưởng kỹ sư hợp đồng thông minh
Gate News đưa tin, ngày 18 tháng 3, João (@0xTimepunk) đã chính thức gia nhập giao thức Aave với vị trí kỹ sư trưởng hợp đồng thông minh. João sẽ tham gia phát triển hợp đồng thông minh của giao thức và cùng đội ngũ thúc đẩy xây dựng các ứng dụng vay mượn trên chuỗi. Được biết, trước đó João từng giữ vị trí trưởng nhóm kỹ thuật tại Superform XYZ và cũng là một dự án AI.
GateNews44phút trước
Ink sinh thái DEX Nado ra mắt hợp đồng vĩnh viễn bạc, hỗ trợ đòn bẩy tối đa 20 lần
Nado decentralized exchange launched Silver Commodity Perpetual Futures (XAG-PERP) on March 18, supporting up to 20x leverage with independent margin mode, ensuring that liquidation of a single position does not affect other holdings. Trading hours are consistent with CME Globex, with position reduction only allowed during non-trading periods.
GateNews44phút trước
