Đánh giá kéo dài bốn tháng của Quarkslab về Bitcoin Core không phát hiện vấn đề nghiêm trọng, cao hoặc mức độ trung bình, đánh dấu cuộc kiểm toán bên thứ ba công khai đầu tiên của phần mềm này.

Công ty an ninh mạng Quarkslab đã hoàn thành cuộc kiểm toán bảo mật bên thứ ba công khai đầu tiên của cơ sở mã Bitcoin Core, triển khai tham chiếu mã nguồn mở hỗ trợ mạng Bitcoin, bao gồm ứng dụng full-node, giao diện đồ họa và ví nhúng.

Đánh giá kéo dài bốn tháng, được tài trợ bởi Brink, một tổ chức phi lợi nhuận hỗ trợ phát triển giao thức Bitcoin mã nguồn mở, và phối hợp bởi Quỹ Cải thiện Công nghệ Nguồn mở (OSTIF), tập trung vào lớp mạng ngang hàng, bề mặt tấn công chính của mạng, cũng như các thành phần liền kề bao gồm quản lý mempool, trạng thái chuỗi, xác thực giao dịch và logic đồng thuận, theo thông báo hôm thứ Tư.

Hoàn thành vào tháng 9, cuộc kiểm toán tổng cộng 100 ngày công do ba kỹ sư Quarkslab thực hiện, với sự hỗ trợ kỹ thuật từ Brink và công ty nghiên cứu và phát triển Bitcoin Chaincode Labs. Trước khi đánh giá mã bắt đầu, hai kiểm toán viên đã làm việc trực tiếp với các kỹ sư Brink để làm quen với kiến trúc và thực tiễn phát triển của Bitcoin Core.

Quy trình kết hợp phân tích mã thủ công, kiểm tra động và kỹ thuật fuzzing tiên tiến rút ra từ quy trình tích hợp liên tục hiện có của Bitcoin. Fuzzing là kỹ thuật kiểm tra phần mềm tự động cố gắng phá vỡ mã bằng cách cung cấp cho nó khối lượng lớn dữ liệu bất ngờ, ngẫu nhiên hoặc sai định dạng.

Mục tiêu không phải là chứng nhận Bitcoin Core, mà là “tích cực tìm kiếm lỗ hổng, cải thiện phương pháp kiểm tra và xác định các cách thực tế để tăng cường cơ sở mã”, Brink lưu ý trong một bài đăng riêng.

Không có vấn đề tác động lớn, nhưng có cải tiến kiểm tra đáng chú ý

Quarkslab báo cáo không có phát hiện nghiêm trọng, cao hoặc mức độ trung bình. Các kiểm toán viên đã xác định hai vấn đề mức độ thấp và cung cấp 13 khuyến nghị mang tính thông tin, không có vấn đề nào được coi là lỗ hổng bảo mật theo tiêu chuẩn phân loại của Bitcoin Core.

“Không tìm thấy vấn đề tác động lớn, nhưng đã có lợi ích cận biên đối với các công cụ fuzzing hiện có cũng như các công cụ mới để bao phủ các kịch bản chưa được kiểm tra như tổ chức lại chuỗi”, Quarkslab cho biết.

“Mặc dù không có phát hiện nào có tác động bảo mật nghiêm trọng, cao hoặc trung bình được xác định trong quá trình này, cuộc kiểm toán này đã cung cấp phản hồi, hiểu biết, thông tin và cải tiến kiểm tra có giá trị cho Bitcoin”, OSTIF nói thêm.

Kết quả củng cố quan điểm lâu dài về Bitcoin Core như một hệ thống trưởng thành và được thiết kế một cách bảo thủ, được duy trì bởi hàng chục người đóng góp và xem xét bởi nhiều tổ chức. Mặc dù đánh giá tập trung vào một tập hợp con được xác định của cơ sở mã, các đánh giá độc lập có thể có giá trị trở lại trong tương lai, đặc biệt là đối với các thành phần mới được giới thiệu trong các bản phát hành sắp tới, các công ty lưu ý.

“Bitcoin Core là triển khai tham chiếu hỗ trợ mạng Bitcoin và giúp bảo mật hàng nghìn tỷ đô la giá trị”, Brink cho biết. “Dự án có hồ sơ bảo mật mạnh mẽ, nhưng nó chưa bao giờ trải qua đánh giá bảo mật bên ngoài. Càng nhiều người đánh giá độc lập, quan tâm đến bảo mật mang đến quan điểm độc đáo của họ, càng tốt.”

Lo ngại về lượng tử và tranh luận về đa dạng hóa client

Cuộc kiểm toán diễn ra giữa cuộc thảo luận mới về mối đe dọa lượng tử dài hạn đối với các giả định mật mã của Bitcoin. Bitcoin, giống như hầu hết các blockchain lớn, dựa vào chữ ký số đường cong elliptic, an toàn trước các cuộc tấn công cổ điển nhưng về mặt lý thuyết dễ bị tổn thương bởi thuật toán Shor trên máy tính lượng tử quy mô lớn trong tương lai.

Nếu mật mã đường cong elliptic bị phá vỡ, khóa riêng có thể được lấy trực tiếp từ khóa công khai bị lộ, không phải thông qua việc đoán bằng vũ lực (điều này vẫn không khả thi), mà thông qua một con đường tắt toán học được kích hoạt bởi các thuật toán lượng tử. Các nhà nghiên cứu tiếp tục tranh luận về mốc thời gian khi nào các nâng cấp hậu lượng tử có thể trở nên cần thiết, với ước tính từ vài năm đến hàng thập kỷ, thúc đẩy việc khám phá liên tục các lộ trình di chuyển sẽ bảo vệ tiền một khi khóa công khai được tiết lộ.

Các định dạng địa chỉ Bitcoin Native SegWit bắt đầu bằng “bc1q” được coi là có khả năng chống tấn công lượng tử tốt hơn vì chúng không tiết lộ khóa công khai cho đến khi tiền được chi tiêu. Chỉ khóa công khai được băm mới hiển thị onchain, điều này sẽ khó hơn nhiều cho máy tính lượng tử tấn công.

Điều này có nghĩa là tiền được lưu trữ tại các địa chỉ này vẫn được bảo vệ khỏi các cuộc tấn công khôi phục khóa lượng tử miễn là chúng chưa bao giờ được chi tiêu và khóa công khai chưa bị lộ theo cách khác. Tuy nhiên, một khi giao dịch chi tiêu đó xảy ra, khóa công khai sẽ hiển thị và bất kỳ khoản tiền còn lại nào liên quan đến địa chỉ đó sẽ thừa hưởng cùng lỗ hổng, củng cố hướng dẫn lâu dài là tránh tái sử dụng địa chỉ và chuyển toàn bộ số dư khi chi tiêu.

Đánh giá Bitcoin Core cũng diễn ra sau cuộc tranh luận gần đây trong hệ sinh thái Bitcoin về sự đa dạng của client và mối quan hệ giữa Bitcoin Core và Knots, một triển khai phái sinh duy trì một số chính sách và tùy chọn cấu hình nhất định được sửa đổi trong bản phát hành v30 mới nhất của Core vào tháng trước. Cuộc tranh luận thường gay gắt đã làm nổi bật những quan điểm khác nhau về cách Bitcoin nên cân bằng chủ nghĩa bảo thủ, tính tùy chọn và phân quyền trong ngăn xếp phần mềm của nó.