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
Pi Network Mở Rộng Công Cụ Dành Cho Nhà Phát Triển Với Nâng Cấp Máy Chủ RPC
Pi Network đã thực hiện thêm một bước để cải thiện hệ thống của mình dành cho các nhà phát triển. Dự án đã ra mắt một bản nâng cấp máy chủ RPC mới trên Testnet, giúp việc xây dựng và kiểm thử ứng dụng trên mạng trở nên dễ dàng hơn. Cập nhật này cho phép các nhà điều hành node chạy các máy chủ RPC của riêng họ
Nói đơn giản, các nhà phát triển không còn
Coinfomania14phút trước
Chống mối đe dọa lượng tử! Ngành công nghiệp đề xuất công cụ cứu hộ ví Bitcoin, không cần soft fork QSB theo phương án QSB
Cộng đồng Bitcoin gần đây đã đưa ra hai phương án phòng thủ để đối phó với rủi ro bị máy tính lượng tử bẻ khóa: Công cụ cứu hộ của Lightning Labs có thể chứng minh quyền sở hữu của ví mà không làm lộ hạt giống; Còn Bitcoin an toàn lượng tử (QSB) của StarkWare thì, mà không thay đổi giao thức cốt lõi, sử dụng các hàm băm để tăng cường tính an toàn cho giao dịch. Những công nghệ này giúp nâng cao độ bền của Bitcoin trước các rủi ro trong tương lai.
CryptoCity18phút trước
Chống mối đe dọa lượng tử! Ngành đề xuất công cụ cứu hộ ví Bitcoin, giải pháp QSB không cần soft fork
Cộng đồng Bitcoin trước nguy cơ bị máy tính lượng tử phá mã đã đề xuất gần đây hai phương án phòng thủ: công cụ cứu hộ của Lightning Labs có thể chứng minh quyền sở hữu ví mà không làm lộ seed; Bitcoin an toàn lượng tử (QSB) của StarkWare, mà không thay đổi giao thức cốt lõi, sẽ sử dụng hàm băm để tăng cường an ninh cho giao dịch. Những công nghệ này góp phần nâng cao độ bền của Bitcoin trước các rủi ro trong tương lai.
CryptoCity3giờ trước
Chống mối đe dọa lượng tử! Ngành công nghiệp đề xuất công cụ cứu hộ ví Bitcoin, không cần phương án QSB không phân nhánh mềm
Cộng đồng Bitcoin gần đây đã đề xuất hai phương án phòng thủ lớn trước rủi ro mà máy tính lượng tử có thể bị dùng để bẻ khóa: công cụ cứu hộ của Lightning Labs có thể chứng minh quyền sở hữu của ví mà không làm lộ hạt giống; Bitcoin an toàn lượng tử (QSB) của StarkWare thì, mà không thay đổi giao thức lõi, sử dụng hàm băm để tăng cường an toàn giao dịch. Những công nghệ này giúp nâng cao khả năng chống chịu của Bitcoin trước các rủi ro trong tương lai.
CryptoCity6giờ trước
Mạng công khai RWA Layer1 SimpleChain ra mắt trên mạng thử nghiệm, hoàn tất vòng hạt giống trị giá 15 triệu đô la Mỹ
Chuỗi công khai Layer1 của RWA SimpleChain đã chính thức ra mắt testnet vào ngày 10 tháng 4 và khởi động kế hoạch airdrop cho hệ sinh thái; người dùng có thể nhận điểm thông qua các nhiệm vụ trên testnet, và các điểm này sẽ được dùng làm căn cứ để airdrop token trong tương lai. Các thành viên trong nhóm đến từ QianShu Qin Technology và Tập đoàn Ant, đã hoàn tất vòng gọi vốn seed trị giá 15 triệu USD. Testnet sẽ xác minh các năng lực cốt lõi, bao gồm dịch vụ dữ liệu đáng tin cậy, bộ công cụ tuân thủ và giao thức phát hành tài sản.
GateNews7giờ trước
Người dẫn chương trình All-In Podcast đánh giá cao dự án sub-net Bittensor, cho biết nó đạt 80% hiệu năng của Claude 4 trong 45 ngày
Nhà đầu tư thiên thần nổi tiếng của Mỹ Jason Calacanis, trong All-In Podcast, bày tỏ lạc quan về Bittensor và dự án mạng con của nó là Ridges AI, nói rằng trợ lý AI mã nguồn mở này đã đạt khoảng 80% hiệu năng của Claude 4 trong vòng 45 ngày, đồng thời nhấn mạnh lợi thế đổi mới của phi tập trung và cơ chế khuyến khích. Ông cũng đã thành lập quỹ Stillcore Capital để tập trung đầu tư vào hệ sinh thái Bittensor.
GateNews8giờ trước
