NEAR AI Memajukan Pengesahan Formal untuk Kontrak Teras
NEAR AI berusaha menjadikan pengesahan formal lebih mudah diakses, dengan tumpuan awal pada NEAR Protocol dan kontrak pintar terasnya. Pengesahan formal menggunakan bukti matematik untuk menyemak sama ada perisian mematuhi peraturan yang ditetapkan. Kaedah ini melengkapi pengujian dan semakan kod, tetapi tidak dapat menjamin keselamatan sepenuhnya.
Usaha ini meneruskan pencapaian NEAR AI yang dilaporkan menduduki tempat pertama berdasarkan jumlah penyelesaian di papan pendahulu Lean Eval v1. Di PutnamBench, sistemnya menyelesaikan 672 masalah Lean. Kos yang dilaporkan kira-kira $0.17 bagi setiap masalah, manakala repositori menyenaraikan kos model sebanyak $111.85 untuk penyertaan tersebut. NEAR menegaskan bahawa keputusan penanda aras tidak menggambarkan keseluruhan kos atau usaha untuk mengesahkan perisian produksi.
Penggunaan pengesahan formal pada kontrak yang telah digunakan masih memerlukan model yang tepat, sifat yang ditakrifkan dengan jelas dan bukti yang sepadan dengan pelaksanaannya. Jaminan hanya meliputi sifat dan andaian yang diperiksa. Oleh itu, pengesahan formal perlu dilaksanakan bersama pengujian, semakan kod dan keselamatan operasi. Inisiatif ini mencerminkan minat yang lebih luas terhadap pembuktian berbantukan AI, termasuk usaha yang dibincangkan oleh Aptos Labs dan pengasas bersama Ethereum, Vitalik Buterin. Bagi pedagang NEAR, ini ialah potensi perkembangan keselamatan jangka panjang, bukannya pengumuman pelaksanaan atau pemangkin token serta-merta.
Neutral
Berita ini neutral terhadap harga NEAR dalam masa terdekat. Berita ini melaporkan penyelidikan dan hasil penanda aras, bukannya pelaksanaan secara langsung, perubahan protokol, keputusan pembiayaan atau perubahan langsung pada permintaan token. Pedagang mungkin melihat hasil tersebut sebagai petanda positif bagi aspirasi keselamatan NEAR, tetapi batasan berkaitan kos pengeluaran dan had pengesahan menjadikan tindak balas harga serta-merta kurang berkemungkinan.
Dalam jangka panjang, pengesahan formal yang lebih mudah diakses boleh meningkatkan keyakinan terhadap protokol NEAR dan ekosistem kontrak pintarnya jika berjaya diterapkan dalam amalan. Hal ini boleh menyokong sentimen dan penggunaan rangkaian, tetapi ringkasan tersebut tidak membuktikan bahawa pelaksanaan telah berlaku atau mengukur sebarang kesan terhadap penggunaan atau hasil. Seperti pengumuman keselamatan dan penyelidikan yang serupa, kesan pasaran mungkin bergantung pada tindakan susulan dan keadaan pasaran yang lebih luas; maklumat semasa tidak menyokong pengelasan sebagai bullish atau bearish.