David Schwartz tìm ra bằng chứng đồng thuận XRP Ledger(XRP), xác minh hình thức vẫn đang tiếp diễn

David Schwartz (CTO danh dự của Ripple) cho biết đã tìm ra tài liệu chứng minh tính hợp lệ về mặt hình thức của thuật toán đồng thuận XRP Ledger (XRPL). Tuy nhiên, bằng chứng thực tế cùng kết quả xác minh đầy đủ vẫn chưa được công bố.

Ngày 8 (giờ địa phương), Schwartz viết trên X rằng ông đã “tìm ra một bằng chứng tuyệt vời về tính hợp lệ hình thức của thuật toán đồng thuận XRPL”. Ông cho biết không thể đăng nội dung chi tiết do giới hạn ký tự của X, nhưng không nói rõ bằng chứng này áp dụng cho mô hình và phạm vi nào.

U.Today dẫn lại phát biểu của Schwartz nhưng cho biết chưa có tài liệu nào xác nhận bằng chứng toán học cụ thể hay ý nghĩa thực tế của nó. Vì vậy, riêng phát biểu này chưa đủ để khẳng định toàn bộ thuật toán đồng thuận đã được xác minh xong.

Cùng ngày, kỹ sư Mayukha Vadari của RippleX cho biết đang tiến hành xác minh hình thức (formal verification) đối với các thành phần cốt lõi của XRP Ledger. RippleX hợp tác với công ty xác minh hình thức Common Prefix để kiểm chứng bằng toán học rằng hệ thống hoạt động đúng như thiết kế.

Xác minh hình thức khác với kiểm thử phần mềm thông thường vốn chỉ thử nghiệm một số giá trị đầu vào nhất định. Phương pháp này biểu diễn hoạt động của hệ thống bằng mô hình toán học, sau đó kiểm tra một cách máy móc xem các thuộc tính như an toàn, nhất quán và khả năng tồn tại có được đảm bảo trong những điều kiện đã định hay không.

Đồng thuận trên XRP Ledger là quá trình các validator thống nhất về tập hợp giao dịch sẽ được đưa vào sổ cái (ledger) tiếp theo. Khi các validator xác nhận cùng một kết quả, sổ cái đó được chốt và trở thành cơ sở cho các bản ghi giao dịch về sau.

Trong tài liệu kỹ thuật công bố tháng 12/2025, nhà phát triển RippleX Vito Tumas cho biết đã cùng Common Prefix bắt đầu hình thức hóa cơ chế thanh toán và giao thức đồng thuận của XRP Ledger. Tài liệu đặt mục tiêu xác minh bằng toán học tính an toàn, khả năng tồn tại và tính chung cuộc (finality) của quá trình đồng thuận, nhưng không khẳng định toàn bộ thuật toán đồng thuận đã được xác minh xong.

Common Prefix quản lý các đặc tả hệ thống thanh toán và mã nguồn liên quan đến việc xác minh của XRP Ledger trên kho lưu trữ công khai, trong đó có dự án “rippled-formal-verification”. Tuy nhiên, chưa có tài liệu công khai nào xác nhận bằng chứng mà Schwartz nhắc đến thuộc kết quả nào của dự án này.

Trong bối cảnh XRP Ledger bổ sung các tính năng như cho vay và kho lưu trữ một tài sản (single-asset vault), RippleX và Common Prefix đang triển khai xác minh hình thức để kiểm chứng bằng toán học hoạt động của các thành phần cốt lõi. Khi số lượng tính năng trong mã nguồn cốt lõi tăng lên, việc chỉ dựa vào kiểm thử thông thường và kiểm toán bảo mật khó có thể rà soát hết mọi trạng thái, nên xác minh hình thức được triển khai song song.

Xác minh hình thức được dùng để phát hiện khác biệt giữa việc triển khai thực tế và đặc tả toán học, hoặc để rà soát những trường hợp ngoại lệ mà kiểm thử thông thường bỏ sót. Tuy nhiên, mức độ an toàn có thể xác nhận sẽ thay đổi tùy theo phạm vi đối tượng và các điều kiện tiền đề của quá trình xác minh.

Trước đây, Common Prefix từng phát hiện một lỗ hổng liên quan đến cách xử lý tập hợp giao dịch trong quá trình đồng thuận của XRP Ledger. Quỹ XRP Ledger (XRP Ledger Foundation) cho biết một thông điệp validator bị thao túng ác ý có thể khiến node validator khác gặp sự cố, và bản vá đã được áp dụng trong rippled 3.0.0.

Quỹ XRP Ledger cũng công bố đang cùng Common Prefix tiến hành xác minh hình thức và phân tích bảo mật đối với cơ chế đồng thuận. Common Prefix đã phản hồi thông báo hợp tác của Vadari và xác nhận lại mối quan hệ hợp tác này.

Tuy nhiên, chưa có bằng chứng nào cho thấy giá hay khối lượng giao dịch XRP biến động vì phát biểu về xác minh hình thức này. Đây được xem là động thái kỹ thuật nhằm mở rộng hệ thống phát triển và bảo mật của XRP Ledger từ cách tiếp cận dựa trên mã nguồn và kiểm thử sang đặc tả toán học và xác minh máy móc, hơn là một thông tin tác động đến giá XRP.

Schwartz từng có nhiều phát biểu về công nghệ cũng như tình trạng nắm giữ của Ripple và XRP Ledger, và phát biểu của ông về cổ phần tại Ripple từng được phân tích tách biệt với lượng XRP mà ông nắm giữ. Phát biểu lần này cũng cần được nhìn nhận tách bạch giữa giải thích cá nhân và kết quả kỹ thuật chính thức.

Hiện tại, thông tin được công bố chỉ dừng ở việc Schwartz nhắc đến bằng chứng liên quan đến thuật toán đồng thuận, trong khi RippleX và Common Prefix đang tiến hành hình thức hóa và xác minh các thành phần cốt lõi của XRP Ledger. Phạm vi thực tế của bằng chứng cùng việc có vượt qua xác minh máy móc hay không sẽ chỉ có thể đánh giá sau khi kết quả liên quan được công bố.