Cựu CTO của Ripple, David Schwartz, nhấn mạnh xác thực đồng thuận XRPL khi giá XRP giữ ở mức 1,41 đô la

Các kỹ sư phần mềm làm việc trên XRP Ledger đã mở rộng kiểm thử được kiểm tra bằng máy để xác minh mã lõi trên toàn mạng. Kỹ sư RippleX, Mayukha Vadari xác nhận một sự hợp tác với công ty nghiên cứu CommonPrefix nhằm chứng minh một cách toán học rằng các phần lõi của XRP Ledger hoạt động theo như dự kiến.

Hệ thống xác minh sử dụng các chứng minh toán học được kiểm tra bằng máy để kiểm tra các đặc tả phần mềm với mọi đầu vào có thể xảy ra. Khác với các bộ kiểm thử tiêu chuẩn chỉ kiểm tra một số luồng dữ liệu cụ thể, các chứng minh toán học đầy đủ xác minh toàn bộ không gian đầu vào. Các nhóm kỹ sư sử dụng cùng công nghệ cốt lõi này để hình thức hóa các định lý toán học phức tạp.

David Schwartz nhấn mạnh chứng minh đồng thuận của XRP Ledger

Phát triển này đã thu hút sự chú ý từ cộng đồng XRP (XRP-USD) và David Schwartz, CTO Emeritus của Ripple. Schwartz từng thiết kế kiến trúc ban đầu của XRP Ledger trước khi chuyển sang vai trò Emeritus. Phản hồi thông báo này, David Schwartz cho biết rằng “Tôi đã phát hiện ra một chứng minh tuyệt vời về tính hợp lệ chính quy của thuật toán đồng thuận XRPL, nhưng giới hạn độ dài bài đăng trên X khiến bài viết quá nhỏ để có thể chứa nó.”

Schwartz tiếp tục vận hành trung tâm mạng riêng của mình để thu thập dữ liệu và cải thiện hiệu suất mạng. Các ý kiến kỹ thuật của ông trước đây từng đóng góp vào bản phát hành phần mềm 3.2.1, giúp giải quyết tình trạng tăng đột biến lưu lượng mạng được ghi nhận vào cuối tháng 7.

Mạng lưới XRP vượt qua các cuộc đánh giá an ninh độc lập

Các nhóm an ninh cũng đã hoàn thành việc kiểm tra độc lập các tính năng giao thức của XRP Ledger. Công ty an ninh Cantina Security đã tiến hành kiểm toán độc lập đối với tính năng Permission Delegation cùng với kiểm thử đảm bảo chất lượng nội bộ. Nhóm kiểm toán xác nhận các bản sửa lỗi của phiên bản 1.1, trong khi kiểm thử tự động đã hoàn thành 5.088 bài kiểm tra mà không phát sinh lỗi mã nguồn.

Giám đốc kỹ thuật Ripple, JA Akinyele lưu ý rằng việc thiết lập ủy quyền ở cấp giao thức đòi hỏi tiêu chuẩn bảo mật cao do điều này thay đổi cách xử lý giao dịch cốt lõi. Trong khi đó, XRP hiện giao dịch gần mức $1,41 trong khi vẫn giữ hỗ trợ trên mức trung bình động hàm mũ 200 ngày gần $1,35.