Kiểm toán bảo mật

Kiểm toán bảo mật trong crypto là gì?

Kiểm toán bảo mật trong crypto là quá trình rà soát có cấu trúc các hệ thống blockchain, hợp đồng thông minh, ví, giao thức, bridge, dApp và hạ tầng nhằm phát hiện lỗ hổng trước khi kẻ tấn công khai thác chúng.

Nói đơn giản, kiểm toán bảo mật là hoạt động kiểm tra chuyên môn đối với mã crypto, kiến trúc, giả định, quyền hạn và cơ chế kiểm soát vận hành.

Mục tiêu là phát hiện lỗi, điểm yếu trong thiết kế, đặc quyền không an toàn, đường tấn công kinh tế và rủi ro tích hợp trước khi tiền thật của người dùng bị đặt vào tình thế nguy hiểm.

Kiểm toán bảo mật đặc biệt quan trọng trong crypto vì hợp đồng thông minh có thể nắm giữ giá trị lớn và các giao dịch blockchain thường khó hoặc không thể đảo ngược sau khi được xác nhận.

Lỗi phần mềm thông thường có thể gây gián đoạn dịch vụ hoặc mất dữ liệu, nhưng lỗi hợp đồng thông minh có thể trực tiếp khiến token bị mất, tiền bị đóng băng, quản trị bị phá vỡ, thanh lý thất bại hoặc thanh khoản bị đánh cắp.

Hướng dẫn bảo mật hợp đồng thông minh chính thức của Ethereum giải thích rằng kiểm toán hữu ích nhưng không nên được xem là giải pháp toàn diện.

Điều này có nghĩa kiểm toán bảo mật là một lớp phòng vệ quan trọng, không phải sự đảm bảo rằng giao thức hoàn toàn an toàn.

Quy trình bảo mật crypto vững chắc kết hợp thiết kế an toàn, kiểm thử, đánh giá mã, kiểm toán, phương pháp hình thức, giám sát, chương trình thưởng tìm lỗi, ứng phó sự cố và quản lý nâng cấp cẩn trọng.

Định nghĩa đơn giản về kiểm toán bảo mật

Kiểm toán bảo mật là quá trình rà soát chi tiết các hệ thống crypto để tìm điểm yếu trước khi triển khai hoặc nâng cấp lớn.

Đối với hợp đồng thông minh, kiểm toán thường xem xét mã nguồn, logic nghiệp vụ, quyền truy cập, hạch toán token, việc sử dụng oracle, khả năng nâng cấp, mức sử dụng gas và các kiểu lỗ hổng đã biết.

Đối với toàn bộ giao thức, kiểm toán cũng có thể xem xét rủi ro frontend, dịch vụ backend, khóa quản trị, cơ chế multisig, thiết kế bridge, hạ tầng validator, quy trình quản trị và kế hoạch giám sát.

Báo cáo kiểm toán bảo mật thường liệt kê các phát hiện theo mức độ nghiêm trọng, giải thích rủi ro, đề xuất cách khắc phục và ghi nhận liệu đội ngũ đã sửa hoặc xác nhận từng vấn đề hay chưa.

Kiểm toán bảo mật giúp người dùng, nhà phát triển, nhà đầu tư và đối tác trong hệ sinh thái hiểu liệu dự án đã thực hiện các bước hợp lý để giảm thiểu rủi ro có thể phòng tránh hay chưa.

Tuy nhiên, kiểm toán không chứng minh giao thức không có rủi ro.

Kiểm toán chỉ cho thấy một phạm vi cụ thể đã được kiểm tra bởi các kiểm toán viên cụ thể trong một khoảng thời gian cụ thể.

Vì sao kiểm toán bảo mật quan trọng trong crypto?

Kiểm toán bảo mật quan trọng vì các hệ thống crypto thường quản lý tài sản trực tiếp thông qua mã.

Hợp đồng cho vay DeFi có thể nắm giữ tài sản thế chấp và các vị thế nợ.

Pool thanh khoản có thể nắm giữ token do người dùng cung cấp.

Bridge có thể kiểm soát tài sản được bọc trên nhiều chain.

Hợp đồng staking có thể quản lý việc ủy quyền validator và hạch toán phần thưởng.

Hợp đồng quản trị có thể kiểm soát nâng cấp, ngân quỹ và các tham số giao thức.

Nếu một trong những hệ thống này có lỗ hổng nghiêm trọng, kẻ tấn công có thể rút cạn tiền hoặc làm tổn hại niềm tin vĩnh viễn.

Kiểm toán bảo mật giảm khả năng các lỗi hiển nhiên và gây ảnh hưởng lớn xuất hiện trong môi trường vận hành thực tế.

Kiểm toán cũng giúp đội ngũ cải thiện tài liệu, làm rõ các giả định và chuẩn bị quy trình triển khai an toàn hơn.

Kiểm toán bảo mật crypto thường rà soát những gì?

Kiểm toán bảo mật crypto thường bắt đầu bằng việc xem xét tài liệu và mô hình mối đe dọa của dự án.

Kiểm toán viên cần hiểu giao thức được thiết kế để hoạt động như thế nào trước khi đánh giá mức độ an toàn của mã.

Sau đó, kiểm toán viên rà soát từng dòng mã hợp đồng thông minh.

Họ kiểm tra việc theo dõi số dư, giới hạn quyền hạn, mức độ an toàn của các lệnh gọi bên ngoài và cách xử lý trường hợp ngoại lệ.

Họ cũng kiểm tra xem hệ thống có thể bị lạm dụng thông qua reentrancy, thao túng giá, nguồn ngẫu nhiên kém, lỗi số nguyên, phát lại chữ ký, tấn công từ chối dịch vụ, nâng cấp không an toàn hoặc kiểm soát truy cập bị lỗi hay không.

Trang Các lưu ý về bảo mật Solidity chính thức cảnh báo rằng hướng dẫn bảo mật hợp đồng thông minh không bao giờ có thể bao quát mọi thứ vì các rủi ro và mô hình mới liên tục xuất hiện.

Đó là lý do công việc kiểm toán cần kết hợp danh sách kiểm tra đã biết với tư duy đối kháng sáng tạo.

Một cuộc kiểm toán tốt không chỉ hỏi mã có hoạt động hay không, mà còn xem hệ thống có thể thất bại như thế nào trong điều kiện bị tấn công.

Kiểm toán bảo mật và đánh giá mã

Đánh giá mã xem xét liệu mã có dễ đọc, chính xác, dễ bảo trì và phù hợp với tiêu chuẩn phát triển hay không.

Kiểm toán bảo mật tập trung sâu hơn vào cách mã có thể bị tấn công, lạm dụng, vượt qua cơ chế bảo vệ hoặc sử dụng sai mục đích.

Cả hai đều hữu ích nhưng không giống nhau.

Người đánh giá mã thông thường có thể xem xét một hàm có gọn gàng và dễ hiểu hay không.

Kiểm toán viên bảo mật sẽ xem hàm đó có thể bị khai thác thông qua dữ liệu đầu vào bất thường, thứ tự gọi ngoài dự kiến, lạm dụng quản trị, thao túng oracle hoặc tương tác với hợp đồng độc hại hay không.

Đội ngũ crypto nên thực hiện đánh giá mã nội bộ trước khi thuê kiểm toán viên bên ngoài.

Kiểm toán viên bên ngoài không nên là những người đầu tiên đọc mã chưa hoàn thiện.

Kết quả kiểm toán thường tốt nhất khi đội ngũ đã kiểm thử, lập tài liệu và làm sạch cơ sở mã.

Kiểm toán bảo mật và xác minh hình thức

Xác minh hình thức sử dụng các phương pháp toán học để chứng minh mã đáp ứng những thuộc tính cụ thể theo các giả định đã xác định.

Kiểm toán bảo mật có phạm vi rộng hơn và có thể bao gồm rà soát thủ công, phân tích bằng công cụ, đánh giá kinh tế, rà soát kiến trúc và đánh giá rủi ro triển khai.

Xác minh hình thức có thể rất hữu ích để kiểm tra các thuộc tính quan trọng như bảo toàn số dư, quy tắc ủy quyền hoặc duy trì bất biến.

Tuy nhiên, xác minh hình thức chỉ chứng minh những thuộc tính thực sự được xác định.

Nếu đặc tả không đầy đủ hoặc sai, chứng minh có thể không bảo vệ được trước rủi ro thực tế.

Kiểm toán và xác minh hình thức phát huy hiệu quả tốt nhất khi được sử dụng cùng nhau.

Kiểm toán viên có thể giúp xác định thuộc tính nào quan trọng, còn phương pháp hình thức có thể tăng độ tin cậy rằng các thuộc tính đó được duy trì.

Với giao thức có giá trị cao, xác minh hình thức có thể bổ sung hữu ích cho kiểm toán bảo mật thủ công.

Kiểm toán bảo mật và chương trình thưởng tìm lỗi

Kiểm toán bảo mật thường là đợt rà soát có kế hoạch do các kiểm toán viên được chọn thực hiện trong phạm vi và thời gian xác định.

Chương trình thưởng tìm lỗi là chương trình liên tục thưởng cho các nhà nghiên cứu bên ngoài khi họ báo cáo lỗ hổng một cách có trách nhiệm.

Kiểm toán hữu ích trước khi ra mắt vì cung cấp đánh giá tập trung từ chuyên gia.

Chương trình thưởng tìm lỗi hữu ích sau khi ra mắt vì theo thời gian, hệ thống có thể gặp các tích hợp, điều kiện thị trường và phương thức tấn công mới.

Chương trình này cũng có thể thu hút các nhà nghiên cứu đa dạng với kỹ năng và góc nhìn khác nhau.

Chương trình thưởng tìm lỗi không nên thay thế kiểm toán trước khi triển khai.

Kiểm toán không nên thay thế việc giám sát bảo mật liên tục sau khi triển khai.

Các chương trình bảo mật crypto vững chắc thường sử dụng cả hai.

Các loại kiểm toán bảo mật crypto phổ biến

Kiểm toán hợp đồng thông minh

Kiểm toán hợp đồng thông minh rà soát mã on-chain thực thi logic của giao thức.

Đây là nghĩa phổ biến nhất của kiểm toán bảo mật trong crypto.

Kiểm toán viên kiểm tra hợp đồng token, hợp đồng cho vay, hợp đồng staking, hợp đồng vault, hợp đồng quản trị, pool thanh khoản, hợp đồng NFT và hợp đồng bridge.

Quá trình rà soát tìm cả lỗi kỹ thuật lẫn sai sót trong logic nghiệp vụ.

Kiểm toán kiến trúc giao thức

Kiểm toán kiến trúc giao thức xem xét cách nhiều hợp đồng, dịch vụ, tác nhân và hệ thống off-chain phối hợp với nhau.

Điều này quan trọng vì giao thức vẫn có thể không an toàn dù từng hợp đồng riêng lẻ có vẻ hợp lý.

Ví dụ, hệ thống có thể quá phụ thuộc vào oracle, khóa quản trị có thể có quá nhiều quyền hoặc quy tắc thanh lý có thể thất bại trong điều kiện thị trường cực đoan.

Kiểm toán kiến trúc giúp phát hiện rủi ro ở cấp độ hệ thống.

Kiểm toán bảo mật bridge

Kiểm toán bridge rà soát việc xác minh thông điệp cross-chain, tập hợp validator, relayer, ngưỡng chữ ký, lưu ký tài sản, logic mint và cơ chế khôi phục khi xảy ra sự cố.

Hệ thống bridge có rủi ro cao vì thường kiểm soát tài sản trên nhiều chain.

Lỗi bridge có thể ảnh hưởng đến cả chain nguồn lẫn chain đích.

Kiểm toán bridge nên bao gồm đánh giá mã, phân tích mức độ tin cậy của validator, cơ chế kiểm soát vận hành và kế hoạch ứng phó khẩn cấp.

Kiểm toán bảo mật ví

Kiểm toán ví rà soát việc xử lý khóa riêng tư, bảo vệ seed phrase, ký giao dịch, hiển thị địa chỉ, quy trình khôi phục, logic trừu tượng hóa tài khoản và mức độ an toàn của giao diện người dùng.

Bảo mật ví rất quan trọng vì người dùng dựa vào ví để hiểu nội dung mình đang ký.

Ví có thể sử dụng mật mã mạnh nhưng vẫn khiến người dùng gặp nguy cơ phishing nếu lời nhắc giao dịch không rõ ràng.

Kiểm toán ví nên bao gồm cả đánh giá kỹ thuật lẫn trải nghiệm người dùng.

Kiểm toán hạ tầng

Kiểm toán hạ tầng rà soát node, endpoint RPC, indexer, dịch vụ backend, quy trình triển khai, quyền truy cập, hệ thống đám mây, giám sát và quy trình ứng phó sự cố.

Người dùng crypto thường chú ý đến hợp đồng thông minh, nhưng sự cố hạ tầng cũng có thể gây tổn thất lớn hoặc gián đoạn dịch vụ.

Giao thức có thể phụ thuộc vào keeper, nguồn giá, validator, sequencer, relayer hoặc bot off-chain.

Các hệ thống này cần được rà soát trong khuôn khổ mô hình bảo mật tổng thể.

Quy trình kiểm toán bảo mật hợp đồng thông minh

Kiểm toán bảo mật hợp đồng thông minh thường bắt đầu bằng việc xác định phạm vi.

Đội ngũ và kiểm toán viên thống nhất những hợp đồng, nhánh mã, commit, tài liệu, bài kiểm thử, tập lệnh và kế hoạch triển khai nào nằm trong phạm vi.

Tiếp theo, kiểm toán viên tìm hiểu hành vi dự kiến và mô hình mối đe dọa của dự án.

Họ rà soát mã thủ công và chạy các công cụ phân tích tự động.

Họ có thể viết mã khai thác thử nghiệm để xác nhận lỗ hổng có thật hay không.

Họ cũng có thể kiểm tra trường hợp ngoại lệ bằng kiểm thử đơn vị, fuzz test, kiểm thử bất biến hoặc mô phỏng.

Sau khi rà soát, kiểm toán viên gửi các phát hiện kèm mức độ nghiêm trọng và khuyến nghị.

Đội ngũ dự án khắc phục các vấn đề, sau đó kiểm toán viên có thể rà soát lại để xác nhận các bản sửa lỗi hoạt động hiệu quả.

Phạm vi kiểm toán nên bao gồm những gì?

Phạm vi kiểm toán nên bao gồm toàn bộ mã có thể ảnh hưởng đến tiền của người dùng, quyền hạn, hạch toán, nâng cấp, quản trị hoặc tích hợp bên ngoài.

Phạm vi cần bao gồm các hợp đồng thông minh dự kiến triển khai.

Phạm vi cần bao gồm tập lệnh nâng cấp và triển khai vì hợp đồng an toàn vẫn có thể trở nên không an toàn nếu được triển khai sai.

Phạm vi cần bao gồm các tệp cấu hình quan trọng, phân công vai trò, cài đặt kiểm soát truy cập và tham số khởi tạo.

Phạm vi cần bao gồm tích hợp oracle, bộ điều hợp bridge, logic keeper và các giả định về phụ thuộc bên ngoài.

Phạm vi cũng cần bao gồm tài liệu giải thích hành vi dự kiến và các giả định về mức độ tin cậy đã biết.

Phạm vi hẹp có thể giảm chi phí kiểm toán nhưng cũng có thể bỏ sót rủi ro ở cấp độ hệ thống.

Người dùng đọc báo cáo kiểm toán luôn cần kiểm tra nội dung nào được đưa vào và nội dung nào bị loại trừ.

Các lỗ hổng phổ biến được phát hiện trong kiểm toán bảo mật

Một lỗ hổng phổ biến là reentrancy, trong đó lệnh gọi bên ngoài cho phép thực thi lặp lại ngoài dự kiến trước khi cập nhật trạng thái hoàn tất.

Một lỗ hổng phổ biến khác là kiểm soát truy cập bị lỗi, khiến địa chỉ không phù hợp có thể gọi các hàm đặc quyền.

Một vấn đề thường gặp khác là thao túng oracle, khi kẻ tấn công tác động đến dữ liệu giá được sử dụng trong hệ thống cho vay, giao dịch hoặc tài sản thế chấp.

Một vấn đề khác là khả năng nâng cấp không an toàn, khi hợp đồng proxy hoặc khóa quản trị có thể thay đổi logic theo cách nguy hiểm.

Một vấn đề khác là phát lại chữ ký, trong đó chữ ký hợp lệ có thể bị sử dụng lại trong ngữ cảnh ngoài dự kiến.

Một vấn đề khác là nguồn ngẫu nhiên kém, khi hợp đồng dùng nguồn dễ đoán cho trò chơi, xổ số hoặc phân bổ NFT.

Danh sách 10 rủi ro hàng đầu của hợp đồng thông minh OWASP cung cấp danh sách cập nhật về các nhóm rủi ro hợp đồng thông minh chính dành cho nhà phát triển và đội ngũ bảo mật.

Kiểm toán viên dùng các danh sách như vậy làm điểm khởi đầu, nhưng một cuộc kiểm toán nghiêm túc còn phải tìm lỗi logic đặc thù của dự án.

Các mức độ nghiêm trọng trong báo cáo kiểm toán

Báo cáo kiểm toán thường phân loại phát hiện theo mức độ nghiêm trọng.

Phát hiện nghiêm trọng có thể cho phép đánh cắp trực tiếp, mất tiền vĩnh viễn, mint trái phép hoặc chiếm quyền kiểm soát toàn bộ giao thức.

Phát hiện mức độ cao có thể gây tổn thất nghiêm trọng, lạm dụng đặc quyền, hạch toán sai hoặc từ chối dịch vụ quy mô lớn.

Phát hiện mức độ trung bình có thể tạo rủi ro đáng kể trong một số điều kiện hoặc khi kết hợp với vấn đề khác.

Phát hiện mức độ thấp có thể liên quan đến điểm yếu bảo mật nhỏ, trường hợp ngoại lệ hoặc cơ hội tăng cường bảo mật.

Phát hiện mang tính thông tin có thể gồm đề xuất cải thiện chất lượng mã, tối ưu gas, bổ sung tài liệu hoặc ghi chú về thông lệ tốt nhất.

Mức độ nghiêm trọng phụ thuộc một phần vào kỹ thuật và một phần vào bối cảnh.

Lỗi có vẻ nhỏ trong một giao thức có thể trở nên nghiêm trọng trong giao thức khác nếu ảnh hưởng đến hạch toán cốt lõi hoặc quyền kiểm soát đặc quyền.

Kiểm toán bảo mật và kiểm soát truy cập

Kiểm soát truy cập là một trong những nội dung quan trọng nhất của kiểm toán bảo mật crypto.

Kiểm toán viên kiểm tra ai có thể tạm dừng hợp đồng, nâng cấp logic, thay đổi phí, cập nhật oracle, mint token, rút tiền, thêm người dùng vào whitelist hoặc thay đổi tham số giao thức.

Họ cũng kiểm tra liệu các vai trò đặc quyền có được giao cho multisig an toàn, timelock, hợp đồng quản trị hay ví đơn khóa không an toàn hay không.

Kiểm soát truy cập kém có thể biến một giao thức trông có vẻ phi tập trung thành hệ thống do một khóa bị xâm phạm kiểm soát.

Kiểm toán viên cần xác định rõ các vai trò đặc quyền trong báo cáo.

Người dùng nên đọc báo cáo kiểm toán để hiểu ai có thể thay đổi hệ thống sau khi ra mắt.

Hợp đồng đã kiểm toán vẫn có thể rủi ro nếu quản trị viên giữ quyền hạn rộng mà không có cơ chế kiểm soát minh bạch.

Kiểm soát truy cập vững chắc nên tuân theo nguyên tắc đặc quyền tối thiểu.

Kiểm toán bảo mật và hợp đồng có thể nâng cấp

Hợp đồng có thể nâng cấp cho phép thay đổi logic giao thức sau khi triển khai.

Điều này giúp đội ngũ sửa lỗi và cải thiện tính năng.

Đồng thời, nó cũng có thể tạo ra rủi ro lớn về niềm tin và quản trị.

Kiểm toán cần rà soát mô hình proxy, bố cục lưu trữ, hàm khởi tạo, quyền nâng cấp, timelock và cơ chế kiểm soát khẩn cấp.

Sai sót trong bố cục lưu trữ có thể làm hỏng số dư hoặc quyền hạn trong quá trình nâng cấp.

Hàm khởi tạo không được bảo vệ có thể cho phép kẻ tấn công chiếm quyền kiểm soát hợp đồng.

Vai trò nâng cấp không bị giới hạn có thể thay thế mã an toàn bằng mã độc hại.

Người dùng nên tìm hiểu liệu quản trị viên hoặc cơ chế quản trị có thể tiếp tục nâng cấp giao thức đã kiểm toán hay không.

Kiểm toán bảo mật và oracle

Oracle đưa dữ liệu bên ngoài như giá, tỷ giá, dự trữ hoặc dữ liệu ngẫu nhiên vào hợp đồng thông minh.

Nhiều giao thức DeFi phụ thuộc vào oracle để xử lý thanh lý, hoán đổi, giới hạn vay, định giá vault và thanh toán.

Kiểm toán cần xem xét liệu dữ liệu oracle có thể bị thao túng, trì hoãn, lỗi thời hoặc cấu hình sai hay không.

Kiểm toán cũng cần kiểm tra logic dự phòng, độ mới của dữ liệu, cách xử lý số thập phân, công tắc ngắt mạch và rủi ro riêng của từng tài sản.

Rủi ro oracle không chỉ là vấn đề mã.

Đây còn là vấn đề kinh tế và cấu trúc thị trường.

Nguồn giá có thể chính xác về mặt kỹ thuật nhưng vẫn không an toàn nếu thị trường cơ sở thiếu thanh khoản hoặc dễ bị thao túng.

Kiểm toán vững chắc sẽ xem xét cả tích hợp oracle lẫn các giả định đằng sau dữ liệu.

Kiểm toán bảo mật và tấn công kinh tế

Giao thức crypto có thể thất bại ngay cả khi mã không có lỗi lập trình rõ ràng.

Tấn công kinh tế khai thác cơ chế khuyến khích, thanh khoản, quản trị, thời điểm cập nhật oracle, đòn bẩy hoặc cơ chế thị trường.

Giao thức cho vay có thể thất bại nếu tài sản thế chấp tạm thời bị định giá quá cao.

Pool thanh khoản có thể bị rút cạn nếu công thức định giá bị lạm dụng.

Hệ thống quản trị có thể bị chiếm quyền nếu quyền biểu quyết có thể được vay mượn hoặc tập trung nhanh chóng.

Bridge có thể thất bại nếu cơ chế khuyến khích validator yếu hoặc quản lý khóa kém.

Kiểm toán bảo mật cần cân nhắc hành vi kinh tế, không chỉ cú pháp mã.

Đó là lý do kiểm toán DeFi thường cần cả chuyên môn kỹ thuật lẫn phân tích rủi ro tài chính.

Kiểm toán bảo mật và công cụ tự động

Công cụ tự động có thể giúp kiểm toán viên nhanh chóng tìm các kiểu lỗ hổng đã biết.

Các công cụ này có thể bao gồm trình phân tích tĩnh, fuzzer, công cụ thực thi ký hiệu, linter, trình quét phần phụ thuộc và khung kiểm thử bất biến.

Công cụ tự động hữu ích nhưng không thể thay thế việc rà soát thủ công của chuyên gia.

Một bài nghiên cứu gần đây về công cụ phân tích bảo mật hợp đồng thông minh ghi nhận sự khác biệt lớn về độ chính xác giữa các công cụ, đồng thời chỉ ra những vấn đề như cảnh báo sai, bỏ sót lỗi, giải thích mơ hồ và thời gian chạy dài.

Điều này có nghĩa kết quả từ công cụ cần được con người am hiểu bối cảnh giao thức xem xét.

Công cụ tự động phù hợp nhất với việc bao quát, lặp lại quy trình và phát hiện các mô hình đã biết.

Kiểm toán viên thủ công phù hợp nhất với logic nghiệp vụ, phân tích kinh tế, kiến trúc và các hướng tấn công sáng tạo.

Một cuộc kiểm toán nghiêm túc xem công cụ là trợ lý chứ không phải người phán xét cuối cùng.

Kiểm toán bảo mật và kiểm thử

Kiểm thử là nền tảng của quy trình kiểm toán tốt.

Trước khi kiểm toán bên ngoài, đội ngũ nên có sẵn kiểm thử đơn vị, kiểm thử tích hợp, fuzz test và kiểm thử bất biến khi phù hợp.

Kiểm thử đơn vị kiểm tra từng hàm riêng lẻ.

Kiểm thử tích hợp kiểm tra cách các thành phần phối hợp với nhau.

Fuzz test thử nhiều dữ liệu đầu vào ngẫu nhiên hoặc bán ngẫu nhiên để phát hiện lỗi ngoài dự kiến.

Kiểm thử bất biến kiểm tra xem các quy tắc quan trọng có luôn được duy trì hay không.

Ví dụ, giao thức cho vay có thể yêu cầu hạch toán tổng nợ và tài sản thế chấp luôn nhất quán.

Kiểm toán hiệu quả hơn khi kiểm toán viên có thể xem xét và mở rộng bộ kiểm thử hiện có thay vì bắt đầu từ con số không.

Kiểm toán bảo mật và tiêu chuẩn

Tiêu chuẩn bảo mật giúp đội ngũ và kiểm toán viên áp dụng các tiêu chí nhất quán.

Tiêu chuẩn xác minh bảo mật hợp đồng thông minh OWASP đưa ra các yêu cầu và bài kiểm thử bảo mật cho hợp đồng thông minh, dApp và hệ thống blockchain dựa trên EVM.

Đặc tả cấp độ bảo mật EthTrust của EEA xác định yêu cầu đối với các cấp chứng nhận bảo mật hợp đồng thông minh.

Tiêu chuẩn không thay thế đánh giá chuyên môn nhưng giúp hoạt động kiểm toán nhất quán và dễ so sánh hơn.

Tiêu chuẩn cũng giúp đội ngũ phát triển chuẩn bị trước khi kiểm toán viên bắt đầu.

Giao thức tuân theo một tiêu chuẩn được công nhận vẫn có thể có lỗi, nhưng sẽ có nền tảng tốt hơn để bắt đầu rà soát bảo mật.

Người dùng nên ưu tiên báo cáo kiểm toán giải thích phương pháp thực hiện, thay vì chỉ có logo hoặc tiêu đề.

Phương pháp rõ ràng giúp đánh giá cuộc kiểm toán dễ hơn.

Báo cáo kiểm toán nên bao gồm những gì?

Báo cáo kiểm toán hữu ích cần xác định dự án, phạm vi kiểm toán, commit mã, ngày thực hiện, kiểm toán viên, phương pháp và giới hạn.

Báo cáo cần mô tả khái quát giao thức.

Báo cáo cần liệt kê tất cả phát hiện kèm mức độ nghiêm trọng, tác động, khả năng xảy ra, tệp bị ảnh hưởng, giải thích kỹ thuật và biện pháp khắc phục được khuyến nghị.

Báo cáo cần cho biết từng vấn đề đã được khắc phục, khắc phục một phần, ghi nhận nhưng chưa sửa hay vẫn chưa được giải quyết.

Báo cáo cần giải thích rủi ro tập trung hóa, quyền quản trị, cơ chế nâng cấp và các vai trò được tin cậy.

Báo cáo cần nêu các giả định lớn nằm ngoài phạm vi kiểm toán.

Báo cáo cần đủ cụ thể để nhà phát triển hành động và người dùng hiểu các rủi ro chính.

Chứng nhận mơ hồ không có chi tiết kỹ thuật kém hữu ích hơn nhiều so với báo cáo rõ ràng.

Cách người dùng đọc báo cáo kiểm toán

Trước tiên, người dùng nên kiểm tra xem báo cáo có khớp với các hợp đồng đã triển khai hay không.

Kiểm toán phiên bản mã cũ có thể không áp dụng cho lần triển khai hiện tại.

Người dùng nên kiểm tra mã commit, địa chỉ hợp đồng, ngày triển khai và lịch sử nâng cấp.

Họ cũng nên đọc các phát hiện chưa được giải quyết thay vì chỉ tìm từ “đã kiểm toán”.

Dự án có thể đã được kiểm toán nhưng vẫn còn rủi ro nghiêm trọng đã được ghi nhận.

Người dùng nên kiểm tra xem các phát hiện nghiêm trọng và mức độ cao đã được khắc phục trước khi ra mắt hay chưa.

Họ cũng nên kiểm tra rủi ro tập trung hóa, khóa quản trị, giả định về oracle và các phần phụ thuộc bên ngoài.

Cách đọc thận trọng nhất rất đơn giản: kiểm toán là bằng chứng cho thấy đã có hoạt động rà soát, không phải bằng chứng bảo đảm an toàn.

Kiểm toán bảo mật trước khi ra mắt mainnet

Kiểm toán trước khi ra mắt rà soát mã trước khi mã được dùng để bảo vệ giá trị thực.

Đây là thời điểm tốt nhất để phát hiện vấn đề nghiêm trọng vì có thể sửa trước khi người dùng nạp tài sản.

Đội ngũ không nên đợi đến ngày cuối cùng trước khi ra mắt mới yêu cầu kiểm toán.

Kiểm toán viên cần thời gian tìm hiểu hệ thống, kiểm tra giả định, đặt câu hỏi và xem xét các bản sửa lỗi.

Kiểm toán vội vàng có thể bỏ sót vấn đề quan trọng.

Đội ngũ nên đóng băng mã trước khi bắt đầu kiểm toán.

Nếu mã liên tục thay đổi trong quá trình rà soát, phạm vi kiểm toán sẽ trở nên thiếu ổn định.

Quy trình kiểm toán trước khi ra mắt bài bản bao gồm chuẩn bị, đóng băng mã, rà soát, khắc phục, kiểm thử lại và triển khai cẩn trọng.

Kiểm toán bảo mật sau khi triển khai

Kiểm toán sau triển khai rất quan trọng khi giao thức nâng cấp, thêm mô-đun mới, thay đổi oracle, thay đổi quản trị hoặc tích hợp với hệ thống mới.

Giao thức crypto không đứng yên.

Theo thời gian, giao thức có thể thêm tài sản, chain, vault, thị trường, chiến lược hoặc tuyến bridge mới.

Mỗi thay đổi đều có thể tạo ra rủi ro mới.

Giao thức an toàn khi ra mắt có thể trở nên rủi ro sau một đợt nâng cấp chưa được rà soát kỹ.

Kiểm toán sau triển khai giúp giảm rủi ro này.

Đội ngũ cũng nên giám sát hoạt động trực tiếp của giao thức vì một số rủi ro chỉ xuất hiện trong điều kiện thị trường thực tế.

Bảo mật là một vòng đời, không phải sự kiện diễn ra một lần.

Kiểm toán bảo mật cho giao thức DeFi

Kiểm toán bảo mật DeFi cần xem xét cả mã lẫn logic tài chính.

Giao thức DeFi có thể phụ thuộc vào tỷ lệ tài sản thế chấp, mô hình lãi suất, độ sâu thanh khoản, nguồn giá, khuyến khích thanh lý, hạch toán phí và hành vi người dùng.

Kiểm toán viên nên kiểm tra liệu người dùng có thể rút cạn pool, bỏ qua kiểm tra nợ, thao túng giá, đánh cắp phần thưởng hoặc khóa tiền hay không.

Họ cũng nên rà soát cách làm tròn, quy đổi số thập phân, giả định về trượt giá và khả năng tương thích token.

Kiểm toán DeFi cần cân nhắc các token bất thường như token tính phí khi chuyển, token có nguồn cung thay đổi và token có chức năng blacklist hoặc tạm dừng.

Kiểm toán cũng nên rà soát cơ chế kiểm soát khẩn cấp và hoạt động rút tiền trong điều kiện căng thẳng.

Đối với người dùng, giao thức DeFi đã kiểm toán vẫn tiềm ẩn rủi ro nếu thanh khoản mỏng hoặc quản trị tập trung.

Tình trạng kiểm toán chỉ nên là một phần trong quá trình thẩm định DeFi.

Kiểm toán bảo mật cho bridge

Kiểm toán bridge là một trong những loại kiểm toán bảo mật crypto quan trọng và khó nhất.

Bridge có thể khóa tài sản trên một chain rồi mint hoặc giải phóng tài sản trên chain khác.

Điều này tạo rủi ro liên quan đến hợp đồng thông minh, xác minh thông điệp, relayer, validator, chữ ký, lưu ký và giả định về tính hoàn tất.

Kiểm toán viên nên xem xét cách bridge chứng minh một sự kiện đã xảy ra trên chain khác.

Họ cũng nên rà soát cách bảo vệ khóa validator và số lượng chữ ký cần thiết.

Kiểm toán bridge nên kiểm thử tấn công phát lại, chấp nhận thông điệp không hợp lệ, rủi ro tái tổ chức chain, giới hạn rút tiền và cơ chế tắt khẩn cấp.

Người dùng nên thận trọng với bridge ngay cả khi đã được kiểm toán vì hệ thống cross-chain phụ thuộc vào nhiều giả định hơn các giao dịch chuyển token đơn giản.

Báo cáo kiểm toán bridge cần giải thích rõ những giả định đó.

Kiểm toán bảo mật cho NFT và trò chơi

Kiểm toán NFT và trò chơi rà soát logic mint, quyền kiểm soát metadata, nguồn ngẫu nhiên, tiền bản quyền, hạn chế chuyển nhượng, phê duyệt marketplace và quy tắc tài sản trong trò chơi.

Tính ngẫu nhiên đặc biệt quan trọng khi người dùng trả tiền để mint hộp bí ẩn, loot box hoặc thuộc tính ngẫu nhiên.

Nguồn ngẫu nhiên yếu có thể cho phép người nội bộ, thợ đào, validator hoặc bot dự đoán hay thao túng kết quả.

Kiểm toán viên cũng nên xem xét liệu chủ dự án có thể thay đổi metadata theo cách gây hiểu lầm hay không.

Dự án trò chơi nên rà soát việc mint, đốt tài sản, phần thưởng, logic kho đồ và chuyển tài sản cross-chain.

Người dùng NFT không nên cho rằng dự án an toàn chỉ vì hợp đồng mint đã được kiểm toán.

Trang web, lời nhắc ví, phê duyệt marketplace và quyền quản trị cũng rất quan trọng.

Nếu có thể, kiểm toán NFT nên bao quát toàn bộ hành trình của người dùng.

Kiểm toán bảo mật cho ví

Kiểm toán ví rất quan trọng vì ví là giao diện chính giữa người dùng và blockchain.

Kiểm toán ví nên rà soát việc tạo seed phrase, lưu trữ khóa riêng tư, quy trình ký, hiển thị địa chỉ, quy trình sao lưu, mô phỏng giao dịch và cơ chế bảo vệ khỏi phishing.

Kiểm toán cũng nên xem xét quyền của tiện ích mở rộng trình duyệt, lưu trữ trên ứng dụng di động, tích hợp ví phần cứng và phân phối bản cập nhật.

Ví có thể thất bại nếu ký sai dữ liệu, hiển thị sai địa chỉ hoặc ẩn các chi tiết giao dịch quan trọng.

Kiểm toán ví nên bao gồm khả năng sử dụng vì người dùng cần hiểu nội dung họ đang phê duyệt.

Quy trình ký rõ ràng có thể giảm sai sót, nhưng chỉ khi chi tiết giao dịch được hiển thị chính xác.

Bảo mật ví cũng phụ thuộc vào kênh cập nhật an toàn và khả năng chống lại phiên bản giả mạo.

Người dùng chỉ nên tải ví từ nguồn đáng tin cậy và bảo vệ cụm từ khôi phục ở chế độ ngoại tuyến.

Kiểm toán bảo mật và rủi ro quản trị

Rủi ro quản trị xuất hiện khi người nắm giữ token, đại biểu, multisig hoặc vai trò quản trị có thể thay đổi cách thức hoạt động của giao thức.

Kiểm toán cần rà soát quy tắc biểu quyết, ngưỡng đề xuất, tỷ lệ túc số, timelock, quyền khẩn cấp và logic thực thi.

Kiểm toán cần kiểm tra liệu kẻ tấn công có thể vay quyền biểu quyết, thông qua đề xuất độc hại hoặc vượt qua thời gian trì hoãn hay không.

Kiểm toán cũng cần xem xét liệu một nhóm nhỏ có thể nâng cấp hợp đồng hoặc chuyển tiền từ ngân quỹ hay không.

Quản trị có thể là điểm mạnh nếu minh bạch và được thiết kế tốt.

Quản trị có thể trở thành rủi ro nếu trao quyền kiểm soát rộng cho khóa bảo mật kém hoặc hệ thống biểu quyết có tỷ lệ tham gia thấp.

Người dùng nên đọc báo cáo kiểm toán để hiểu các giả định về quản trị.

Giao thức có thể đã được kiểm toán về mặt kỹ thuật nhưng vẫn có mức độ tập trung hóa cao.

Kiểm toán bảo mật và an ninh vận hành

An ninh vận hành bao gồm cách đội ngũ quản lý khóa, triển khai, quyền truy cập, giám sát và ứng phó khẩn cấp.

Mã của giao thức có thể an toàn nhưng quy trình vận hành lại không an toàn.

Ví dụ, khóa triển khai có thể được lưu trên máy tính xách tay không an toàn.

Multisig có thể có quá ít người ký hoặc phân bổ người ký không phù hợp.

Một đợt nâng cấp có thể được thực hiện mà không có danh sách kiểm tra.

Hệ thống cảnh báo có thể gặp lỗi trong lúc bị tấn công.

Kiểm toán bảo mật nên xem xét các giả định vận hành khi chúng ảnh hưởng đến tiền của người dùng.

An ninh vận hành vững chắc bao gồm lưu trữ khóa an toàn, phân tách vai trò, ghi nhật ký, giám sát, quy trình ứng phó sự cố và thực hiện hậu kiểm.

Kiểm toán bảo mật và các giới hạn

Kiểm toán bảo mật không thể tìm ra mọi lỗi có thể xảy ra.

Kiểm toán không thể đảm bảo giao thức sẽ không bao giờ bị khai thác.

Kiểm toán không thể dự đoán đầy đủ điều kiện thị trường, quyết định quản trị hoặc thay đổi tích hợp trong tương lai.

Kiểm toán không thể bảo vệ người dùng khỏi việc ký giao dịch độc hại bên ngoài hệ thống được kiểm toán.

Kiểm toán không thể khắc phục tài liệu yếu, triển khai vội vàng hoặc ứng phó sự cố kém nếu đội ngũ không xử lý các phát hiện.

Kiểm toán không thể khiến các bản nâng cấp trong tương lai chưa được kiểm toán trở nên an toàn.

Vì vậy, người dùng không nên xem trạng thái “đã kiểm toán” là nhãn an toàn có hoặc không.

Câu hỏi thực sự là đã kiểm toán những gì, ai rà soát, phát hiện điều gì, vấn đề nào đã được khắc phục và rủi ro nào vẫn còn.

Dấu hiệu cảnh báo trong kiểm toán bảo mật

Không có báo cáo kiểm toán công khai là dấu hiệu cảnh báo nếu dự án tuyên bố đã được kiểm toán.

Báo cáo kiểm toán không nêu phạm vi, mã commit và chi tiết phát hiện là dấu hiệu cảnh báo.

Báo cáo liệt kê các phát hiện nghiêm trọng nhưng chưa được giải quyết là dấu hiệu cảnh báo lớn.

Dự án thay đổi mã sau kiểm toán mà không rà soát lại sẽ tạo thêm rủi ro.

Cần thận trọng với dự án che giấu quyền quản trị hoặc quyền nâng cấp.

Dự án tuyên bố kiểm toán đảm bảo an toàn đang đưa ra tuyên bố gây hiểu lầm.

Dự án không có bộ kiểm thử, hệ thống giám sát và quy trình khẩn cấp vẫn có thể rủi ro sau kiểm toán.

Người dùng nên hoài nghi khi tuyên bố kiểm toán chỉ được dùng làm công cụ tiếp thị.

Thông lệ tốt nhất trước khi yêu cầu kiểm toán

Đội ngũ nên chuẩn bị tài liệu rõ ràng trước khi yêu cầu kiểm toán.

Đội ngũ nên đóng băng mã hoặc xác định chính xác commit cần được rà soát.

Đội ngũ nên chuẩn bị sơ đồ kiến trúc, mô hình mối đe dọa, kế hoạch triển khai và các bất biến dự kiến.

Đội ngũ nên cung cấp bộ kiểm thử đầy đủ và giải thích các vấn đề đã biết.

Đội ngũ nên tránh bổ sung tính năng lớn trong thời gian kiểm toán.

Đội ngũ cần dành đủ thời gian để kiểm toán viên rà soát kỹ lưỡng.

Đội ngũ nên phản hồi nhanh các câu hỏi và khắc phục phát hiện một cách thận trọng.

Đội ngũ chuẩn bị tốt sẽ nhận được nhiều giá trị hơn từ cuộc kiểm toán so với đội ngũ xem kiểm toán như danh sách việc cần làm vào phút chót.

Thông lệ tốt nhất sau khi kiểm toán

Đội ngũ nên khắc phục các phát hiện nghiêm trọng trước khi ra mắt.

Đội ngũ nên yêu cầu kiểm toán viên rà soát các bản sửa lỗi quan trọng.

Đội ngũ nên công bố báo cáo cuối cùng khi phù hợp và an toàn.

Đội ngũ nên ghi lại các rủi ro đã được ghi nhận nhưng chưa khắc phục.

Đội ngũ nên xác minh bytecode đã triển khai và địa chỉ hợp đồng.

Đội ngũ nên giám sát giao thức sau khi ra mắt.

Đội ngũ nên triển khai chương trình thưởng tìm lỗi hoặc quy trình công bố lỗ hổng có trách nhiệm khi giao thức kiểm soát giá trị đáng kể.

Đội ngũ nên lên lịch kiểm toán mới cho các đợt nâng cấp lớn.

Cách người dùng đánh giá dự án đã kiểm toán

Trước tiên, người dùng nên xác nhận báo cáo kiểm toán là thật và được công khai.

Người dùng nên kiểm tra báo cáo có bao quát các hợp đồng đã triển khai hiện tại hay không.

Người dùng nên tìm các vấn đề nghiêm trọng hoặc mức độ cao chưa được giải quyết.

Người dùng nên kiểm tra liệu hệ thống có giá trị cao hoặc phức tạp đã được kiểm toán nhiều lần hay chưa.

Người dùng nên xem xét quyền quản trị, khả năng nâng cấp, thiết kế oracle, lưu ký và các phụ thuộc bridge.

Người dùng nên kiểm tra giao thức có chương trình thưởng tìm lỗi, giám sát và kế hoạch tạm dừng khẩn cấp hay không.

Người dùng nên cân nhắc tổng giá trị bị khóa (TVL) vì giá trị càng cao có thể càng thu hút những kẻ tấn công mạnh hơn.

Kiểm toán có thể tăng độ tin cậy nhưng không nên khiến người dùng mất cảnh giác.

Kiểm toán bảo mật và bảo hiểm

Một số người dùng crypto tìm kiếm bảo hiểm hoặc phạm vi bảo vệ sau khi thấy dự án đã được kiểm toán.

Kiểm toán có thể giúp đơn vị bảo hiểm hoặc chuyên gia đánh giá rủi ro hiểu rõ giao thức, nhưng không tự động tạo ra sự bảo vệ bằng bảo hiểm.

Điều khoản bảo hiểm có thể loại trừ một số trường hợp khai thác, lỗi quản trị, tấn công oracle, sự cố bridge hoặc sai sót của người dùng.

Người dùng nên đọc kỹ điều khoản bảo hiểm trước khi dựa vào bảo hiểm.

Giao thức không nên ngụ ý người dùng được bảo vệ tài chính chỉ vì đã kiểm toán, trừ khi thực sự có thỏa thuận bảo hiểm.

Bảo hiểm, kiểm toán, chương trình thưởng tìm lỗi và giám sát là các công cụ quản lý rủi ro riêng biệt.

Mỗi công cụ có những giới hạn khác nhau.

Bảo mật vững chắc cần nhiều lớp bảo vệ.

Kiểm toán bảo mật và kỳ vọng pháp lý

Quy định crypto ngày càng chú trọng đến cơ chế kiểm soát bảo mật, lưu ký, công bố thông tin, khả năng phục hồi vận hành và quản lý rủi ro.

Kiểm toán bảo mật có thể giúp chứng minh dự án xem xét nghiêm túc rủi ro kỹ thuật.

Tuy nhiên, kiểm toán hợp đồng thông minh không đồng nghĩa với tuân thủ pháp luật.

Token có thể đã được kiểm toán nhưng vẫn đặt ra vấn đề về chứng khoán, bảo vệ người tiêu dùng, lệnh trừng phạt, thuế hoặc lưu ký.

Dự án quản lý tiền của người dùng nên cân nhắc rà soát pháp lý cùng với rà soát kỹ thuật.

Bảo mật và tuân thủ là hai lĩnh vực khác nhau nhưng thường có điểm giao nhau trong các sản phẩm crypto.

Ví dụ, nền tảng tài sản token hóa có thể cần cả kiểm toán hợp đồng thông minh lẫn cơ chế pháp lý kiểm soát hồ sơ sở hữu.

Người dùng không nên nhầm lẫn giữa bảo mật kỹ thuật và sự phê duyệt theo quy định.

Những quan niệm sai lầm phổ biến về kiểm toán bảo mật

Một quan niệm sai lầm phổ biến là đã kiểm toán đồng nghĩa với an toàn.

Đã kiểm toán nghĩa là đã được rà soát trong phạm vi xác định, không phải được đảm bảo an toàn mãi mãi.

Một quan niệm sai lầm khác là một lần kiểm toán có thể áp dụng cho mọi phiên bản trong tương lai.

Mã mới, tài sản mới, chain mới và tích hợp mới có thể tạo ra rủi ro mới.

Một quan niệm sai lầm khác là công cụ tự động có thể thay thế kiểm toán viên.

Công cụ hữu ích nhưng thường bỏ sót lỗi logic đặc thù của bối cảnh.

Một quan niệm sai lầm khác là chỉ hợp đồng thông minh mới cần kiểm toán bảo mật.

Ví, bridge, frontend, backend, hệ thống quản trị và quy trình vận hành cũng cần được rà soát bảo mật.

FAQ

Kiểm toán bảo mật trong crypto là gì?

Kiểm toán bảo mật trong crypto là quá trình rà soát có cấu trúc hợp đồng thông minh, giao thức, ví hoặc hạ tầng nhằm phát hiện lỗ hổng trước khi kẻ tấn công khai thác chúng.

Kiểm toán hợp đồng thông minh là gì?

Kiểm toán hợp đồng thông minh là hoạt động rà soát bảo mật mã on-chain để tìm lỗi, logic không an toàn, vấn đề kiểm soát truy cập, sự cố oracle và các đường khai thác khác.

Kiểm toán có đồng nghĩa dự án crypto an toàn không?

Không. Kiểm toán giúp tăng độ tin cậy nhưng không đảm bảo dự án hoàn toàn an toàn hoặc không gặp sự cố khai thác trong tương lai.

Báo cáo kiểm toán nên bao gồm những gì?

Báo cáo kiểm toán nên bao gồm phạm vi, mã commit, phương pháp, phát hiện, mức độ nghiêm trọng, khuyến nghị, tình trạng khắc phục, giới hạn và rủi ro còn lại.

Vì sao hợp đồng thông minh cần được kiểm toán?

Hợp đồng thông minh cần được kiểm toán vì có thể trực tiếp kiểm soát tiền của người dùng và khó thay đổi sau khi triển khai.

Kiểm toán khác chương trình thưởng tìm lỗi như thế nào?

Kiểm toán là đợt rà soát tập trung do các kiểm toán viên được chọn thực hiện, còn chương trình thưởng tìm lỗi là chương trình liên tục thưởng cho nhà nghiên cứu bên ngoài báo cáo lỗ hổng.

Công cụ tự động có thể thay thế kiểm toán viên bảo mật không?

Không. Công cụ tự động hữu ích để phát hiện các mô hình đã biết, nhưng cần kiểm toán viên là con người để tìm lỗi logic, tấn công kinh tế và các vấn đề cần phân tích theo đặc thù giao thức.

Những phát hiện kiểm toán phổ biến là gì?

Các phát hiện kiểm toán phổ biến gồm reentrancy, kiểm soát truy cập bị lỗi, thao túng oracle, nâng cấp không an toàn, phát lại chữ ký, nguồn ngẫu nhiên kém và lỗi hạch toán.

Dự án crypto nên được kiểm toán bao lâu một lần?

Dự án nên được kiểm toán trước các đợt ra mắt lớn và kiểm toán lại khi nâng cấp lớn, bổ sung mô-đun, tích hợp tài sản mới hoặc thay đổi các giả định cốt lõi.

Phạm vi kiểm toán có nghĩa là gì?

Phạm vi kiểm toán là mã, hợp đồng, hệ thống, tài liệu và giả định cụ thể được đưa vào quá trình rà soát.

Vì sao mã commit quan trọng trong kiểm toán?

Mã commit giúp người dùng xác minh chính xác phiên bản mã nào đã được kiểm toán viên rà soát.

Hợp đồng đã kiểm toán vẫn có thể bị hack không?

Có. Hợp đồng đã kiểm toán vẫn có thể bị hack vì kiểm toán có thể bỏ sót lỗi, mã có thể thay đổi sau đó, giả định có thể không còn đúng hoặc kẻ tấn công có thể khai thác những phần nằm ngoài phạm vi kiểm toán.

Người dùng có nên chỉ tin tưởng dự án vì dự án đã được kiểm toán không?

Không. Người dùng cũng nên xem xét các phát hiện chưa được giải quyết, quyền quản trị, khả năng nâng cấp, rủi ro oracle, rủi ro bridge, thanh khoản, chương trình thưởng tìm lỗi và an ninh vận hành của dự án.

Kết luận

Kiểm toán bảo mật là một trong những công cụ quan trọng nhất để giảm thiểu rủi ro trong lĩnh vực tiền mã hóa.

Kiểm toán giúp phát hiện lỗi hợp đồng thông minh, sai sót trong thiết kế giao thức, quyền hạn không an toàn, đường tấn công kinh tế và điểm yếu vận hành trước khi kẻ tấn công khai thác chúng.

Một cuộc kiểm toán tốt không chỉ xem xét mã mà còn rà soát giả định, kiến trúc, kiểm soát truy cập, khả năng nâng cấp, oracle, tập lệnh triển khai và các rủi ro ảnh hưởng đến người dùng.

Tuy nhiên, kiểm toán bảo mật không phải là sự đảm bảo.

Kiểm toán chỉ có hiệu lực trong một khoảng thời gian và phạm vi nhất định, đồng thời phụ thuộc vào chất lượng của kiểm toán viên, tài liệu, cơ sở mã, hoạt động kiểm thử và quy trình khắc phục.

Các dự án crypto tốt nhất xem kiểm toán là một phần trong vòng đời bảo mật đầy đủ, bao gồm thiết kế an toàn, kiểm thử, phương pháp hình thức, chương trình thưởng tìm lỗi, giám sát, ứng phó sự cố và nâng cấp cẩn trọng.

Người dùng nên xem báo cáo kiểm toán là bằng chứng hữu ích, không phải khẩu hiệu tiếp thị.

Nguyên tắc thực tế rất đơn giản: dự án đã kiểm toán có thể an toàn hơn dự án chưa kiểm toán, nhưng câu hỏi thực sự là đã kiểm toán những gì, phát hiện điều gì, vấn đề nào đã được khắc phục và rủi ro nào vẫn còn.