Từ vụ hack Euler, chúng ta nói về kiểm toán bảo mật và bảo mật của DeFi

Đọc bài viết này mất 8 phút

Ngay cả khi mô hình tiền thưởng được tăng lên 10%, nó cũng không thể vượt trội hơn nhóm hacker trừ khi chi phí tội phạm được thêm vào phương trình.

Tác giả gốc: Dforce Mindao

Tận dụng sự cố hack Euler, chúng ta hãy nói về kiểm tra và bảo mật bảo mật DeFi.

Các giao thức DeFi lớn về cơ bản đã trải qua nhiều vòng kiểm tra. Chúng tôi đã thực hiện 5 cuộc kiểm toán với chi phí hàng triệu đô la. Kiểm toán thường xuyên các giao thức lớn tiêu tốn hàng triệu đô la đô la mỗi năm. Dao, nhưng không có DeFi blue-chip nào bị hack. Lý do rất đơn giản. Từ góc độ tấn công và phòng thủ, đầu vào (đầu tư bảo mật) và đầu ra (phát hiện lỗi) của tất cả các cuộc kiểm tra tĩnh đều bị hạn chế.

Ngoài các cuộc kiểm tra thường xuyên, Euler còn sử dụng Certora để xác minh chính thức. Chúng tôi đã sử dụng điều này trước đây. Việc xác minh chính thức có thể giúp loại bỏ các đường dẫn "đã biết". nhưng không thể cạn kiệt cái “không biết chưa biết”. DeFi là một hệ thống mở, đối với hacker (kẻ tấn công), đầu vào của nó là không giới hạn và đầu ra của nó cũng không giới hạn. Giả sử rằng hành vi phạm tội an ninh và phòng thủ được coi là khai thác. Người bảo vệ của bạn sử dụng ba đến năm máy để tính toán khai thác băm.

Vô số máy ở bên tấn công luôn tính toán các hàm băm và chúng giành chiến thắng miễn là chúng tính toán chính xác một lần; sự tương phản giữa thắng và thua là rõ ràng. Kiểm tra bảo mật tĩnh, do đầu vào và đầu ra cố định nên không thể bao quát được những điều chưa biết, chưa nói đến những điều chưa biết. Do đó, có một loại kiểm toán khác, được gọi là kiểm toán cạnh tranh phát triển, chẳng hạn như Code4rena. Nhóm tiền thưởng kiểm toán là cố định nhưng đầu vào linh hoạt trong một khoảng thời gian nhất định. Mọi người đều có thể tham gia, bất kỳ ai tìm thấy lỗi.

Tiền thưởng được chia theo mức độ nghiêm trọng, phương pháp này để kiểm toán viên/mũ trắng loại bỏ giấy tờ, có thể mở rộng phạm vi bao phủ nhưng tổng thể đầu vào vẫn cố định, điều này còn lâu mới đủ. Cuối cùng là một mô hình hoàn toàn mở, đó là mạng tiền thưởng. Immunefy, nổi tiếng nhất trong DeFi, là nền tảng có số lượng chuyên gia mũ trắng DeFi lớn nhất. Tôi khuyên mọi DeFi nên gửi tiền thưởng trên đó. là rất rõ ràng. Phần thưởng chương trình thưởng của Immunefy rất cao.

Ví dụ, người được trả cao nhất là hàng chục triệu đô la của Warmhole (cùng một cây cầu đã bị hack với số tiền 200 triệu đô la Mỹ và nhận được số tiền thưởng lớn). Euler, người có liên quan đến vụ việc này, cũng treo thưởng 1 triệu dao nhưng lỗ hổng vẫn chưa được phát hiện. Chế độ tiền thưởng cũng mở về đầu vào và đầu ra, tương tự như chế độ tấn công của hacker.

Nhưng hai mô hình khuyến khích này rất khác nhau. Nếu cả hai được coi là xổ số, cùng một giải thưởng 10 triệu, tiền thưởng của chế độ tiền thưởng thường sẽ nằm trong khoảng từ 100.000 đến 300.000, chế độ hacker mũ lưỡi dao là 100% tiền thưởng, hai chế độ, đầu tư như nhau, xác suất chiến thắng như nhau, giả sử không có chi phí phạm tội thì chắc chắn rằng Hacker Pool I/O sẽ hoạt động tốt hơn. Ngay cả khi mô hình tiền thưởng được tăng lên 10%, nó sẽ không hoạt động tốt hơn nhóm hacker trừ khi chi phí tội phạm được thêm vào phương trình.

Một số người đề xuất liên kết tỷ lệ tiền thưởng với TVL, chẳng hạn như 10%. Liệu nó có khuyến khích nhiều tin tặc chuyển sang mũ trắng không? Trước hết, không có giao thức defi nào có thể trả tiền thưởng TVL 10%, thứ hai, nếu bạn gặp một hacker thực sự, rất có thể anh ta sẽ sẵn sàng hack đến cùng mà không ngừng đòi 10%. Vấn đề phức tạp hơn với bảo mật DeFi là ngoài cấp độ mã, còn có những rủi ro kết hợp (chẳng hạn như lần này Euler ảnh hưởng đến nhiều giao thức tích hợp).

Trên bề mặt tấn công, bản thân DeFi tăng lên cùng với sự tích hợp và bề mặt tấn công phát triển theo bốn chiều. Kiểm tra bảo mật tĩnh thường xuyên và tiền thưởng dài hạn không thể bao trùm được Bảo mật DeFi trên bề mặt tấn công ngày càng mở rộng là một trò chơi vô tận. Điều đáng tin cậy duy nhất là giảm sự phụ thuộc bên ngoài (tài sản/lời tiên tri/giao thức của bên thứ ba) vào giao thức, giảm thiểu bề mặt tấn công, cố gắng ở trong "vùng an toàn của riêng bạn" , và không mở rộng ngẫu nhiên sang phần mở Nói một cách có hệ thống, cái giá của sự an toàn là cái giá của sự tự do.