Nhà phát triển Bitcoin Core Luke Dashjr công khai chín lo ngại về mã tạo số ngẫu nhiên của ví Coldcard sau khi trao đổi riêng với Coinkite. Các vấn đề liên quan đến cách ví kiểm tra lỗi phần cứng, xử lý dữ liệu ngẫu nhiên và bảo đảm an toàn cho quá trình tạo seed.
Coinkite đã phát hành bản cập nhật có một số thay đổi trùng với những điểm Dashjr nêu. Tuy nhiên, Dashjr cho biết ông chưa rõ công ty đã xử lý các phản ánh đến đâu và không khẳng định mọi điểm đều là lỗi hoặc có thể bị khai thác.
- Dashjr phản bác nhận định rằng chỉ AI mới có thể phát hiện vấn đề trong bộ tạo số ngẫu nhiên của Coldcard.
- Firmware mới bổ sung kiểm tra lỗi seed, kiểm tra khi khởi động và thay bộ tạo ngẫu nhiên dự phòng.
- Coinkite đối mặt với đề xuất khởi kiện tập thể liên quan đến lỗi tạo seed; công ty phủ nhận cáo buộc biết lỗi nhưng không cảnh báo.
Luke Dashjr nêu những vấn đề nào trong mã tạo số ngẫu nhiên?
Luke Dashjr nêu chín lo ngại về bộ tạo số ngẫu nhiên (RNG) của Coldcard, từ kiểm tra lỗi chip đến độ ngẫu nhiên của seed. Ông cho biết đã báo riêng cho Coinkite trước khi công khai.
Dashjr công bố danh sách nhằm phản bác điều ông mô tả là tuyên bố chỉ một “AI thiên tài” mới có thể phát hiện vấn đề trong RNG. Ông nhắc đến Rodolfo Novak, còn được biết đến với tên Nvk, đồng sáng lập Coinkite.
| Điểm được nêu | Lo ngại của Dashjr |
|---|---|
| Khởi tạo RNG trên Mk4 | Hàm rng_init còn ghi chú TODO; một số chip STM32 dường như yêu cầu loại bỏ mẫu đầu tiên. |
| Trạng thái lỗi của chip | Trình điều khiển bỏ qua các bit báo lỗi seed và lỗi xung nhịp. |
| Xử lý dữ liệu cho mật mã | Theo Dashjr, tài liệu STM32 yêu cầu xử lý bổ sung đầu ra khi dùng cho mục đích mật mã. |
| Phát hiện đầu ra lặp | random_buffer kiểm tra đầu ra RNG bị lặp, nhưng gọi trực tiếp rng_get thì không. |
Độ an toàn của rng_get_or_fault | Dashjr cho rằng chưa thể coi hàm này là an toàn nếu chưa chứng minh bước kiểm tra trong random_buffer là dư thừa. |
| Đóng góp của phần tử bảo mật | Ông đặt câu hỏi vì sao nguồn ngẫu nhiên từ phần tử bảo mật không duy trì đủ 256 bit entropy nếu đầu ra STM32 trở nên xác định. |
| Mã RNG thay thế | Dashjr đánh giá mã thay thế về cơ bản là một RNG mới, cần được kiểm thử đầy đủ. |
| Vô hiệu hóa bộ tạo cũ | Bản vá chỉ tắt bộ tạo số giả ngẫu nhiên (PRNG) cũ khi biên dịch; ông đề nghị bổ sung kiểm tra khi chương trình chạy. |
| Hết thời gian chờ RNG | Trong ngữ cảnh không phù hợp, tình trạng này có thể gây hành vi không xác định, làm thiết bị gặp sự cố và có nguy cơ khiến thiết bị chậm không thể hoạt động. |
Dashjr chưa xác nhận Coinkite đã sửa từng điểm sau khi nhận phản ánh. Danh sách của ông cũng không đồng nghĩa cả chín điểm đều là lỗ hổng đã được chứng minh hoặc đều có thể bị lợi dụng để đánh cắp tài sản.
Firmware Coldcard đã thay đổi những gì?
Firmware mới của Coinkite đã bổ sung kiểm tra trạng thái lỗi seed của RNG phần cứng, kiểm tra đường đọc phần cứng khi khởi động và thay bộ tạo ngẫu nhiên dự phòng. Một số thay đổi trùng với các vấn đề Dashjr nêu.
Trong thông báo cập nhật bảo mật Coldcard, Coinkite đề cập việc rà soát có AI hỗ trợ bằng Kimi cùng các mô hình tiên tiến khác, đồng thời cảm ơn các nhà nghiên cứu bên ngoài đã báo cáo vấn đề.
| Hạng mục | Thông tin cập nhật |
|---|---|
| Coldcard Mk4 và Mk5 | Nhận firmware 5.6.1 ngày 20/8/2026. |
| Coldcard Q | Nhận firmware 1.5.1Q ngày 20/8/2026. |
| Xử lý lỗi seed có thể phục hồi | Kiểm tra trạng thái lỗi và loại bỏ 12 từ dữ liệu phần cứng tiếp theo sau lỗi. |
| Kiểm tra lúc khởi động | Bảo đảm rng_get() đi qua đường đọc dữ liệu phần cứng. |
| Bộ tạo ngẫu nhiên dự phòng | Chuyển sang SHA-256 Hash_DRBG. |
Coinkite từng nêu trong tài liệu kỹ thuật ngày 30/7/2026 rằng công ty chỉ biết đến lỗi vào ngày đó. Công ty cũng cho biết đợt rà soát có AI hỗ trợ vài tuần trước đã không phát hiện lỗi, đồng thời đặt giả thuyết một bên bên ngoài có thể đã dùng AI để tìm ra lỗ hổng trong firmware mã nguồn mở.
Lỗi tạo seed liên quan thế nào đến thiệt hại và vụ kiện?
Lỗi tạo seed xuất phát từ thay đổi firmware tháng 3/2021, chuyển việc tạo seed khỏi chip ngẫu nhiên phần cứng. Seed trên Mk2 và Mk3 có mức ngẫu nhiên thấp, cho phép kẻ tấn công tái dựng seed yếu bằng tính toán ngoại tuyến.
Coldcard sử dụng Yasmarang, một công cụ phần mềm nhận dữ liệu từ số sê-ri chip và bộ đếm thời gian, để tạo seed. Mức ngẫu nhiên thực tế của seed Mk2 và Mk3 thấp hơn nhiều so với mức mà BIP-39 giả định.
| Chỉ tiêu | Số liệu được nêu |
|---|---|
| Độ ngẫu nhiên thực tế của seed Mk2 và Mk3 | Khoảng 40 bit. |
| Mức ngẫu nhiên BIP-39 giả định | 128 bit. |
| Thời điểm bắt đầu các vụ đánh cắp | Ngày 30/7/2026. |
| Quy mô đợt đánh cắp ban đầu | Khoảng 594 BTC, tương đương khoảng 38 triệu USD, từ khoảng 500 ví trong 25 phút. |
| Thiệt hại lũy kế ước tính | Hơn 140 triệu USD. |
Một phần dòng tiền rời ví là hoạt động giải cứu tài sản của các bên mũ trắng. Vì vậy, không phải mọi giao dịch chuyển tiền ra ngoài đều là hành vi đánh cắp.
Khách hàng Coldcard Amir Reza Naderi đã đề xuất khởi kiện tập thể tại Tòa Thượng thẩm Ontario đối với Coinkite, Rodolfo Novak và đồng sáng lập Peter D. Gray. Naderi cáo buộc các bên biết vấn đề tạo seed từ tháng 5/2025 nhưng không cảnh báo người dùng; Coinkite phủ nhận cáo buộc này.
Tổng kết
Tranh luận về Coldcard tập trung vào độ an toàn của quá trình tạo seed và phạm vi khắc phục trong firmware. Coinkite đã công bố một số thay đổi kỹ thuật, nhưng Dashjr chưa xác nhận toàn bộ lo ngại của ông đã được giải quyết; cáo buộc trong đề xuất khởi kiện vẫn bị công ty bác bỏ.
