Một lỗi firmware trên một số thiết bị COLDCARD Mk3 được cho là đã làm suy yếu quá trình tạo seed phrase (cụm khôi phục 24 từ), khiến seed phrase trở nên dễ dự đoán hơn so với mức bảo mật được kỳ vọng. Sự cố này không chỉ đặt ra câu hỏi về cách ví phần cứng tạo ra entropy, mà còn nhắc lại một nguyên tắc cốt lõi trong crypto: private key chỉ an toàn khi nguồn ngẫu nhiên phía sau nó đủ mạnh. Charles Guillemet – CTO của Ledger, so sánh sự cố COLDCARD gần đây với lỗ hổng Trust Wallet năm 2022, đồng thời nhấn mạnh vai trò nền tảng của tính ngẫu nhiên trong quá trình tạo seed phrase.
Lưu ý trước khi bạn tìm hiểu sâu về vụ “hack” này:
- Ledger không bị ảnh hưởng bởi cảnh báo bảo mật COLDCARD Mk3 vừa được công bố gần đây.
- Thiết bị Ledger sử dụng Hệ thống tạo số ngẫu nhiên thực (True Random Number Generator – TRNG) đã được chứng nhận, được tích hợp trực tiếp trong chip Secure Element của chúng tôi, tạo ra đầy đủ 256 bit entropy cho mỗi cụm khôi phục bí mật 24 từ. Vui lòng tham khảo bài viết: Cách ví lạnh Ledger tạo ra 24 từ dự phòng.
- Coinkite – nhà phát triển COLDCARD đã công bố một cảnh báo bảo mật liên quan đến một số phiên bản firmware COLDCARD Mk3 nhất định. Bạn có thể đọc thông báo của họ tại đây.
- Tham khảo thêm về Ledger signer.
Sự cố COLDCARD: Vì sao tính ngẫu nhiên là cốt lõi của bảo mật ví lạnh
Ngày 31 tháng 7 năm 2026, COLDCARD xác nhận một lỗ hổng firmware đã ảnh hưởng đến cơ chế tạo seed phrase trên một số thiết bị, làm giảm mức độ an toàn của các seed phrase được tạo và gây ra những thiệt hại đáng kể cho người dùng. Các nhà nghiên cứu ước tính hơn 1.000 BTC đã bị rút khỏi khoảng 1.200 ví, do một lỗi nằm trong mã công khai kể từ tháng 3 năm 2021. Hacker thậm chí không cần chạm vào thiết bị để thực hiện đợt tấn công này.
Trước đó, vào cuối năm 2022, Ledger Donjon đã phát hiện một lỗ hổng tương tự trong tiện ích mở rộng trình duyệt Trust Wallet. Lỗi này khiến mọi ví được tạo bởi tiện ích mở rộng đều có thể được khôi phục từ địa chỉ công khai của nó. Trên thực tế, kẻ tấn công có thể suy ra private key và đánh cắp tiền mà không cần bất kỳ tương tác nào từ người dùng. Không gian tìm kiếm đủ nhỏ để brute force*.
*Brute-force (tấn công vét cạn) là phương pháp thử lần lượt tất cả các khả năng có thể cho đến khi tìm được đáp án đúng.
Trust Wallet mất khoảng 5 tháng để vá phần mềm và cho người dùng thời gian chuyển tiền trước khi lỗ hổng được công bố công khai. Quy trình đó đơn giản là đã ngăn chặn một trong những vụ xâm phạm lớn nhất. Triển khai mật mã học một cách an toàn thực sự là công việc thách thức. Sự cố COLDCARD tuần này chính là bài học đắt giá nhất và minh chứng cho những thách thức đó.
COLDCARD: Điều gì đã thực sự xảy ra bên trong quá trình tạo seed phrase?
Toàn bộ private key đều được tạo ra từ seed phrase (chuỗi hạt giống). Nếu chuỗi từ này bị đoán trước hoặc không đủ ngẫu nhiên, kẻ tấn công có thể dễ dàng dò ra private key và lấy trộm tài sản.
Tìm hiểu về số lượng seed phrase ngẫu nhiên có thể sinh ra và khả năng dò ra cụm 24 từ dự phòng của bạn trong bài viết này.
Tuy vậy, COLDCARD đã mắc sai lầm kinh điển. Trong mã nguồn firmware của COLDCARD, nhà phát triển đặt ra một “công tắc” (cấu hình macro) để BẬT/TẮT tính năng dùng bộ tạo số ngẫu nhiên phần cứng. Tuy nhiên, khi viết lệnh kiểm tra, lập trình viên lại chỉ kiểm tra xem công tắc đó có tồn tại hay không, chứ không kiểm tra nó đang BẬT hay TẮT. Do công tắc có tồn tại trong mã nguồn nhưng giá trị thực sự lại đang ở trạng thái TẮT, hệ thống đã không kích hoạt bộ tạo ngẫu nhiên phần cứng. Thay vào đó, thiết bị âm thầm chuyển sang dùng bộ tạo số ngẫu nhiên bằng phần mềm.
Chính vì vậy, mức độ ngẫu nhiên cũng bị giới hạn ở khoảng 32 bit, tương đương với chỉ 2^32 (khoảng 4 tỷ) seed phrase có thể được tạo ra, thay vì 2^256 khả năng tạo ra seed phrase khi dùng bộ tạo số ngẫu nhiên phần cứng. Điều này tạo điều kiện cho hacker dễ dàng vét cạn (brute-force) để tìm ra seed phrase.
Tham khảo bài viết sau để hiểu về bộ tạo số ngẫu nhiên phần mềm RNG.
Cách Ledger bảo vệ quá trình tạo seed
Ledger xây dựng thiết bị dựa trên các chip Secure Element đã được chứng nhận. Vì vậy, Ledger có những thành phần mật mã an toàn cao, trong đó có bộ tạo số ngẫu nhiên phần cứng thực sự (TRNG).
Vậy RNG khác gì với TRNG?
Khác với RNG dễ đoán, TRNG dựa trên các hiện tượng vật lý hỗn loạn bên trong silicon để tạo ra entropy thật. Nói dễ hiểu hơn, Ledger thực hiện tạo seed phrase hoàn toàn dựa vào độ ngẫu nhiên vật lý của phần cứng nên không thể đoán được. Bên cạnh đó, Secure Element cũng được tích hợp nhiều lớp giám sát và bảo vệ. Nếu ai đó cố tình dùng nhiệt độ quá cao/thấp hoặc dòng điện… để thay đổi seed phrase, chip sẽ phát hiện ra và dừng ngay lập tức chứ không đưa ra kết quả sai lệch. Quan trọng hơn, nguồn entropy vật lý này sẽ được đưa qua quá trình hậu xử lý mật mã bên trong Ledger OS để chuẩn hóa và củng cố chất lượng ngẫu nhiên trước khi được dùng trong các chức năng bảo mật.
Tại Ledger, TRNG được đánh giá theo tiêu chuẩn AIS-31 và đạt chứng nhận PTG.2**. AIS-31 là phương pháp luận do BSI của Đức phát triển, được sử dụng trong khuôn khổ Common Criteria để đánh giá một bộ tạo số ngẫu nhiên thực. Tiêu chuẩn này không chỉ kiểm tra kết quả đầu ra mà còn xem xét cả mô hình stochastic của nguồn nhiễu, yếu tố cốt lõi quyết định chất lượng entropy.
Secure Element của Ledger đạt chứng nhận Common Criteria ở mức EAL5+ / EAL6+, trong khi thiết bị Ledger cũng được chứng nhận theo CSPN của ANSSI. Trong phạm vi đánh giá này, chất lượng tạo số ngẫu nhiên là một yếu tố được kiểm tra trực tiếp. Lỗi từng ảnh hưởng đến COLDCARD đã được Ledger liệt kê là Threat #1 trong các mục tiêu bảo mật đã công bố, và TRNG là lớp bảo mật được thiết kế để ngăn chặn chính kịch bản đó.
**PTG.2 là một nhóm yêu cầu kỹ thuật mà một sản phẩm phải đáp ứng trong hệ thống AIS-31 và Common Criteria dành cho bộ tạo số ngẫu nhiên thực.
Closed source (mã nguồn đóng) và open source (mã nguồn mở)
Ledger OS là closed source (mã nguồn đóng). Quyền truy cập vào công nghệ Secure Element này đi kèm một yêu cầu cứng từ nhà cung cấp rằng phần triển khai cấp thấp phải được giữ closed source. CTO Charles Guillemet của Ledger nói rằng, mặc dù thích open source nhưng vẫn quyết định chọn closed source vì mức độ bảo mật cao hơn. Closed source không có nghĩa là không được kiểm toán bảo mật: mã nguồn của Ledger vẫn được các công ty kiểm toán bảo mật bên ngoài đánh giá và cấp chứng nhận định kỳ.
So sánh mã nguồn mở vs. mã nguồn đóng
- Mã nguồn đóng: Hacker khó khăn hơn trong việc tìm ra lỗ hổng bảo mật.
- Mã nguồn mở: COLDCARD đã dùng mã nguồn mở tới 5 năm mà không ai phát hiện ra, cho đến khi kẻ gian dùng AI để tìm ra lỗi. Điều này chứng minh rằng: Mã nguồn mở không đồng nghĩa với việc nó đã được đánh giá và kiểm tra kỹ lưỡng (Reviewed).
AI và LLM
Trong lĩnh vực bảo mật, AI đang khiến việc tìm kiếm lỗ hổng trở nên nhanh hơn rất nhiều. Những công cụ mô hình ngôn ngữ lớn, hay LLM (Large Language Model), có thể hỗ trợ phân tích mã nguồn, đọc bản vá, lần lại logic kỹ thuật và phát hiện những điểm yếu mà con người có thể bỏ sót. Ledger sử dụng LLM để chủ động tìm lỗ hổng trong chính sản phẩm của mình. Cách tiếp cận này đã cho thấy hiệu quả rõ rệt. Bởi nếu kẻ tấn công có thể dùng AI để tìm lỗi ở tốc độ máy móc, các đội ngũ bảo mật cũng phải làm điều tương tự trước khi họ ra tay.
Tất nhiên, điều đó không có nghĩa Ledger miễn nhiễm với mọi rủi ro. Không có hệ thống bảo mật nào có thể tuyên bố an toàn tuyệt đối. Điều quan trọng là hệ thống đó có được đo lường, giám sát và kiểm thử độc lập hay không. Ledger lựa chọn cách tiếp cận có thể kiểm chứng, thay vì chỉ yêu cầu người dùng đặt niềm tin. Sự xuất hiện của các LLM hiện đại cũng đang làm thay đổi cách ngành bảo mật nhìn nhận lỗ hổng. Việc tái phát hiện lỗi, hiểu bản vá và xây dựng phương thức khai thác giờ đây dễ dàng hơn trước rất nhiều. Nói cách khác, khoảng thời gian từ lúc một lỗi được vá cho đến khi nó bị biến thành công cụ tấn công đang ngày càng ngắn lại.
Vì vậy, quy trình công bố lỗ hổng có trách nhiệm vẫn rất cần thiết, nhưng cách quản lý lỗ hổng cũng phải thay đổi. Các bên liên quan cần vá lỗi nhanh hơn, rút ngắn thời gian công bố khi phù hợp và chuẩn bị sẵn phương án di chuyển tài sản cho người dùng. Trong kỷ nguyên AI, những kẻ tấn công có năng lực được AI hỗ trợ không còn là giả định xa vời, mà đã trở thành một phần thực tế của mô hình bảo mật hiện đại.
Nguồn bài viết tham khảo: https://www.ledger.com/blog-coldcard-incident
Dịch bởi đội ngũ DigiBit
