NEAR AI thúc đẩy xác minh hình thức cho các hợp đồng cốt lõi
NEAR AI đang nỗ lực giúp việc xác minh hình thức trở nên dễ tiếp cận hơn, trước mắt tập trung vào NEAR Protocol và các hợp đồng thông minh cốt lõi của nền tảng. Xác minh hình thức sử dụng các chứng minh toán học để kiểm tra phần mềm có đáp ứng những quy tắc đã định hay không; phương pháp này bổ trợ cho việc kiểm thử và rà soát mã, nhưng không thể bảo đảm an toàn tuyệt đối.
Nỗ lực này tiếp nối thứ hạng đầu tiên mà NEAR AI cho biết đã đạt được về tổng số bài giải trên bảng xếp hạng Lean Eval v1. Trên PutnamBench, hệ thống của họ giải được 672 bài toán Lean. Chi phí được báo cáo là khoảng 0,17 USD mỗi bài, trong khi kho mã ghi nhận chi phí mô hình là 111,85 USD cho bài dự thi. NEAR lưu ý rằng kết quả benchmark không phản ánh toàn bộ chi phí hay công sức cần thiết để xác minh phần mềm dùng trong môi trường sản xuất.
Việc áp dụng xác minh hình thức cho các hợp đồng đã triển khai vẫn đòi hỏi mô hình chính xác, thuộc tính được xác định rõ ràng và các chứng minh tương ứng với cách triển khai thực tế. Các bảo đảm chỉ áp dụng cho những thuộc tính và giả định đã được kiểm tra, vì vậy xác minh hình thức cần đi cùng với kiểm thử, rà soát mã và bảo mật vận hành. Sáng kiến này phản ánh mối quan tâm rộng hơn đối với các chứng minh có AI hỗ trợ, bao gồm những công trình được Aptos Labs và Vitalik Buterin, đồng sáng lập Ethereum, thảo luận. Với các nhà giao dịch NEAR, đây là một bước phát triển bảo mật tiềm năng trong dài hạn, không phải thông báo triển khai hay động lực tức thời cho token.
Neutral
Tin tức này trung lập đối với giá NEAR trong ngắn hạn. Nội dung đề cập đến nghiên cứu và kết quả thử nghiệm chuẩn, chứ không phải việc triển khai thực tế, thay đổi giao thức, quyết định cấp vốn hay thay đổi trực tiếp về nhu cầu đối với token. Các nhà giao dịch có thể xem kết quả này là tín hiệu tích cực cho tham vọng về bảo mật của NEAR, nhưng những lưu ý về chi phí triển khai trong môi trường thực tế và giới hạn của quá trình xác minh khiến khả năng giá phản ứng ngay lập tức thấp hơn.
Về dài hạn, việc xác minh hình thức dễ tiếp cận hơn có thể củng cố niềm tin vào giao thức và hệ sinh thái hợp đồng thông minh của NEAR nếu được áp dụng thành công trong thực tế. Điều đó có thể hỗ trợ tâm lý thị trường và việc áp dụng mạng lưới, nhưng các bản tóm tắt không xác nhận rằng việc triển khai đã diễn ra, cũng không định lượng bất kỳ tác động nào đến mức độ sử dụng hoặc doanh thu. Cũng như các thông báo tương tự về bảo mật và nghiên cứu, tác động đến thị trường có thể phụ thuộc vào các bước triển khai tiếp theo và điều kiện chung của thị trường; thông tin hiện tại không đủ cơ sở để xếp tin này vào xu hướng tăng giá hay giảm giá.