3 vụ hack khét tiếng trong lịch sử DeFi và cách chúng liên quan đến kiểm toán

Được xuất bản lại bởi Plato

Người theo dõi: 0

Mục lục

DeFi đã là một thành phần năng động của ngành công nghiệp tiền điện tử với khoảng $80 tỷ tài sản bị khóa vào các giao thức vào tháng 2021 năm XNUMX. Tuy nhiên, như người ta đã nói, các vấn đề tích tụ lại nơi tiền ở.

Các dự án trong DeFi đều là giả mạo và lừa đảo, và mấu chốt lỏng lẻo trong các hoạt động đó là các hợp đồng thông minh được xây dựng một cách tồi tệ. Điều này trở nên rõ ràng nếu bạn nhìn vào các vụ lừa đảo trong những tháng gần đây.

Tấn công mạng Poly

Được phát triển để giải quyết khả năng tương tác của các blockchain, Poly Network phát triển nhanh chóng và khóa tài sản tiền điện tử trị giá khoảng một tỷ đô la Mỹ. Tuy nhiên, các bên liên quan bị sốc khi nhiều hơn $600 hàng triệu USD tiền điện tử đã bị đánh cắp chỉ trong một cuộc tấn công. Điều này khiến tài sản của giao thức đang được quản lý (AUM) bị cắt giảm hơn một nửa.

Để có được thành công của vụ hack, thủ phạm sở hữu nhờ vào lỗ hổng trong hợp đồng thông minh được sử dụng trong giao thức chuyển tài sản xuyên chuỗi. Các tin tặc đã thay thế địa chỉ ví của chính họ bằng địa chỉ thường được sử dụng bởi hợp đồng thông minh. Toán tử mô-đun đã được nhân rộng trên các chuỗi khối Polygon, Ethereum và BSC để nắm giữ tiền điện tử, khiến hàng chục nghìn người dùng giao thức phải chịu cảnh lạnh giá.

Nhóm bảo mật tại Poly Network đã có thể tìm hiểu email, IP và các chi tiết khác của tin tặc. Dưới áp lực, họ đã trả lại một lượng lớn đồ bị đánh cắp! Nhưng tất cả các giao thức đều không may mắn như vậy.

Pancake

Vào tháng 2021 năm XNUMX, giao thức PancakeBunny phải đối mặt với một cuộc tấn công khi tin tặc tạo ra một chiến lợi phẩm gồm các tài sản tiền điện tử có giá trị $45 triệu. Họ đã sử dụng một hình thức khai thác cho vay chớp nhoáng cho mục đích này. Tệ hơn nữa, tin tặc đã trao đổi BUNNY mã thông báo cho tiền Binance, làm cho giá của mã thông báo BUNNY tăng lên $6 từ $146.

Tệ hơn nữa, một cuộc tấn công khác nối tiếp nhau nhanh chóng. Bất chấp cuộc tấn công, các nhà phát triển tại Bunny Finance đã không thể ngăn chặn cuộc tấn công vào PolyBunny, fork blockchain Polygon của công ty. Những kẻ tấn công đã đúc $2.1 trị giá hàng triệu POLYBUNNY. Giá của mã thông báo POLYBUNNY giảm xuống còn 2 đô la từ 10 đô la.

Khoản vay nhanh liên quan đến một hợp đồng thông minh cho phép bất kỳ ai cũng có thể vay và trả trong một giao dịch duy nhất. Họ đã thao túng giá BNB bằng cách sử dụng lỗ hổng trong nhóm thanh khoản BNB-USDT của PancakeBunny, khai thác thành công gần bảy triệu BUNNY trong một quy trình sáu giai đoạn.

Tấn công BurgerSwap

Vào ngày 28 tháng 2021 năm XNUMX, BurgerSwap trên blockchain BSC đã bị một cuộc tấn công cho vay nhanh. Tin tặc đã đánh cắp $ 7.2M trong 14 giao dịch. Một lần nữa, thủ phạm là một vụ khai thác cho vay chớp nhoáng.

Những gì những kẻ tấn công đã làm là tạo đồng tiền giả của riêng họ (mã thông báo BEP-20 không chuẩn) và tạo một cặp giao dịch mới với $ BURGER. Sử dụng định tuyến $ WBNB, tin tặc đã nhập lại BurgerSwap thông qua các đồng tiền giả và các khoản dự trữ bị thao túng trong hợp đồng của cặp tiền, khiến giá thay đổi và kiếm tiền của họ.

Vai trò của hợp đồng

Các dự án DeFi được tự quản lý bởi các hợp đồng thông minh, vì vậy bất kỳ sự thất bại nào cũng trở thành mối lo ngại lớn đối với các bên liên quan. Hợp đồng thông minh bao gồm một loạt các mã phần mềm được thiết kế để tự động hóa việc thực hiện và giải quyết. Chính lớp này làm cho tự động hóa trong các giao thức blockchain trở thành hiện thực. Hợp đồng thông minh có các sự kiện bắt đầu và kết thúc được xác định, dựa trên một sự kiện đang diễn ra bên ngoài.

Đọc nhiều nhất - Những điều không nên quên khi Kiểm tra các hợp đồng thông minh trong DeFi

Chữ ký đa bên kiểm soát quyền truy cập vào hợp đồng. Quyền truy cập vào các nguồn dữ liệu bên ngoài và nội bộ sẽ kích hoạt việc thực thi các điều khoản. Hợp đồng thông minh có thể truy cập cơ sở dữ liệu phân tán nơi lưu trữ nội dung. Chúng cũng chứa thông tin nhúng về quyền sở hữu tài sản và các bên liên quan.

Tại sao việc tạo hợp đồng thông minh thực sự thông minh lại quan trọng đến vậy

Hợp đồng thông minh là tâm trí và linh hồn của giao thức DeFi. Các giao thức hoạt động chính xác theo cách mà các hợp đồng thông minh cung cấp năng lượng cho chúng được lập trình. Một lỗi có thể dẫn đến tổn thất lớn cho giao thức. Tệ hơn nữa, nó có thể dẫn đến việc tắt máy không thể đảo ngược.

Cơ sở của việc tạo ra các hợp đồng thông minh hoàn hảo là do các nhà phát triển. Các sai sót trong thiết kế hợp đồng dẫn đến các lỗi có thể nặng, trung bình hoặc trung bình. Các nhà phát triển có thể tạo các hợp đồng an toàn và hoạt động như mong đợi. Không được có cửa hậu mà tin tặc có thể lợi dụng. Một khi hợp đồng có đầy đủ tiền điện tử, các phần tử vô đạo đức có thể cố gắng rút cạn hợp đồng.

Vai trò của kiểm toán

Kiểm toán hợp đồng thông minh là bắt buộc để phát hiện ra các lỗi, sơ hở và lỗ hổng bảo mật trong mã và đề xuất các cải tiến. Mặc dù blockchain thực tế là một hệ sinh thái an toàn, nhưng một hợp đồng thông minh được viết kém sẽ tạo ra một lỗ hổng. Các nhà phát triển không thể được tin cậy hoàn toàn cho tạo ra các hợp đồng hoàn hảo Vì hai lý do.

Thứ nhất, một nhà phát triển hoặc một nhóm trong số họ không thể đảm bảo đáp ứng tất cả các thông số liên quan đến lỗ hổng bảo mật. Thứ hai, các nhà phát triển có thể cố tình để lại một cửa hậu để rút cạn hợp đồng tại thời điểm họ lựa chọn. Để loại bỏ cả hai trở ngại này, cần phải kiểm tra kỹ lưỡng.

Kiểm toán bảo mật các hợp đồng thông minh bao gồm việc phân tích kỹ lưỡng mã chạy ứng dụng với mục tiêu khắc phục các vấn đề về thiết kế, lỗi trong mã hoặc lỗ hổng bảo mật. Bạn cần tham gia vào một công ty kiểm toán bảo mật mà bạn có thể tin tưởng để kiểm tra. Quy trình này thường bao gồm các bước như Đồng ý về một tập hợp các thông số kỹ thuật, Thực thi kiểm tra, Chạy các công cụ thực thi tự động, Phân tích thủ công mã và Tạo báo cáo.

Kết thúc

Các cuộc tấn công như Poly Network, PancakeBunny và BurgerSwap nhấn mạnh cách thực hiện kiểm toán hợp đồng thông minh quan trọng là vì sự thành công của một dự án blockchain. Kiểm toán giúp phát hiện ra các lỗi, sự cố và lỗ hổng bảo mật, giúp bịt các lỗ hổng trước khi bất kỳ thiệt hại nào được thực hiện.

Liên hệ với QuillAudits

QuillAudit là một nền tảng kiểm tra hợp đồng thông minh an toàn được thiết kế bởi QuillHash
Công nghệ.
Nó là một nền tảng kiểm toán phân tích và xác minh chặt chẽ các hợp đồng thông minh để kiểm tra các lỗ hổng bảo mật thông qua hiệu quả nhãn hiệu đánh giá với tĩnh và năng động công cụ phân tích, máy phân tích khí cũng như trình mô phỏng. Hơn nữa, quá trình đánh giá cũng bao gồm kiểm tra đơn vị cũng như phân tích cấu trúc.
Chúng tôi tiến hành cả hợp đồng thông minh kiểm toán và thâm nhập kiểm tra để tìm tiềm năng
các lỗ hổng bảo mật có thể gây hại cho nền tảng tính toàn vẹn.