NEAR AI негізгі келісімшарттарды формалды верификациялауды ілгерілетуде
NEAR AI формалды верификацияны қолжетімді ету үшін жұмыс істеп жатыр. Бастапқыда назар NEAR Protocol мен оның негізгі смарт-келісімшарттарына аударылады. Формалды верификация бағдарламалық жасақтаманың белгіленген ережелерге сәйкестігін тексеру үшін математикалық дәлелдеулерді қолданады; ол тестілеу мен кодты шолуды толықтырады, бірақ толық қауіпсіздікке кепілдік бере алмайды.
Бұл жұмыс NEAR AI хабарлағандай, Lean Eval v1 көшбасшылар тақтасында шешілген есептердің жалпы саны бойынша бірінші орын алуына негізделген. PutnamBench платформасында жүйе Lean тіліндегі 672 есепті шешті. Хабарланған шығын бір есепке шамамен 0,17 долларды құрады, ал репозиторийде осы жолдамаға арналған модель шығындары 111,85 доллар деп көрсетілген. NEAR бенчмарк нәтижелері өндірістік бағдарламалық жасақтаманы верификациялауға кететін жалпы шығын мен күш-жігерді көрсетпейтінін ескертеді.
Орналастырылған келісімшарттарға формалды верификацияны қолдану үшін әлі де дәл модельдер, нақты анықталған қасиеттер және іске асырылуына сәйкес келетін дәлелдеулер қажет. Кепілдіктер тек тексерілген қасиеттер мен жорамалдарды ғана қамтиды, сондықтан формалды верификация тестілеумен, кодты шолумен және операциялық қауіпсіздікпен қатар қолданылуы керек. Бұл бастама Aptos Labs пен Ethereum-ның негізін қалаушылардың бірі Vitalik Buterin талқылаған жұмыстарды қоса алғанда, ЖИ көмегімен дәлелдеуге деген кеңірек қызығушылықты көрсетеді. NEAR трейдерлері үшін бұл — ұзақ мерзімді қауіпсіздікті жақсартуы мүмкін бастама; ол жарияланған іске қосу да, токен бағасына бірден ықпал ететін фактор да емес.
Neutral
Жаңалық жақын мерзімде NEAR бағасына бейтарап әсер етеді. Онда зерттеулер мен салыстырмалы сынақтардың нәтижелері баяндалған, ал нақты іске қосу, протоколдың өзгеруі, қаржыландыру туралы шешім немесе токенге сұраныстың тікелей өзгеруі туралы айтылмайды. Трейдерлер бұл нәтижелерді NEAR-дың қауіпсіздік саласындағы мақсаттарына қатысты оң белгі деп қабылдауы мүмкін, алайда өндірістік ортада іске асыру құны мен верификацияның шектеулері туралы ескертулер бағаның бірден өзгеру ықтималдығын азайтады.
Ұзақ мерзімде формалды верификацияның қолжетімді болуы, егер ол тәжірибеде сәтті қолданылса, NEAR протоколы мен смарт-келісімшарттар экожүйесіне деген сенімді нығайтуы мүмкін. Бұл нарық көңіл күйі мен желінің қолданылуын қолдауы ықтимал, бірақ қысқаша шолулар іске асырудың болғанын растамайды және оның пайдалануға не кіріске ықпалын сандық тұрғыдан бағаламайды. Қауіпсіздік пен зерттеуге қатысты осыған ұқсас хабарландырулардағыдай, нарыққа әсері кейінгі қадамдар мен жалпы нарық жағдайларына байланысты болуы мүмкін; қазіргі ақпарат жаңалықты өсімге немесе құлдырауға бағытталған деп жіктеуге негіз бермейді.