NEAR AI بنیادی معاہدوں کی باضابطہ تصدیق کو آگے بڑھا رہا ہے

NEAR AI باضابطہ توثیق کو زیادہ قابلِ رسائی بنانے کے لیے کام کر رہا ہے، جس کا ابتدائی ہدف NEAR Protocol اور اس کے بنیادی اسمارٹ کانٹریکٹس ہیں۔ باضابطہ توثیق ریاضیاتی ثبوتوں کے ذریعے جانچتی ہے کہ آیا سافٹ ویئر متعین کردہ قواعد پر پورا اترتا ہے۔ یہ ٹیسٹنگ اور کوڈ کے جائزے کی تکمیل کرتی ہے، لیکن مکمل سکیورٹی کی ضمانت نہیں دے سکتی۔ یہ کوشش Lean Eval v1 لیڈر بورڈ پر مجموعی طور پر سب سے زیادہ مسائل حل کرنے کے حوالے سے NEAR AI کی بتائی گئی پہلی پوزیشن پر استوار ہے۔ PutnamBench پر اس کے سسٹم نے Lean کے 672 مسائل حل کیے۔ فی مسئلہ لاگت تقریباً $0.17 بتائی گئی، جبکہ ریپوزٹری میں اس سبمیشن کے لیے ماڈلز کی لاگت $111.85 درج ہے۔ NEAR خبردار کرتا ہے کہ بینچ مارک کے نتائج، پروڈکشن سافٹ ویئر کی توثیق کے مکمل اخراجات یا اس کے لیے درکار محنت کی عکاسی نہیں کرتے۔ پہلے سے تعینات کانٹریکٹس پر باضابطہ توثیق لاگو کرنے کے لیے اب بھی درست ماڈلز، واضح طور پر متعین کردہ خصوصیات اور ایسے ثبوت درکار ہیں جو امپلیمنٹیشن سے مطابقت رکھتے ہوں۔ ضمانتیں صرف ان خصوصیات اور مفروضوں تک محدود ہیں جن کی جانچ کی گئی ہو۔ اس لیے باضابطہ توثیق کو ٹیسٹنگ، کوڈ کے جائزے اور آپریشنل سکیورٹی کے ساتھ مل کر کام کرنا چاہیے۔ یہ اقدام AI کی مدد سے ثبوت تیار کرنے میں وسیع تر دلچسپی کی عکاسی کرتا ہے، جس میں Aptos Labs اور Ethereum کے شریک بانی Vitalik Buterin کے زیرِ بحث کام بھی شامل ہیں۔ NEAR ٹریڈرز کے لیے یہ طویل مدتی سکیورٹی کی ممکنہ پیش رفت ہے، نہ کہ تعیناتی کا اعلان یا ٹوکن کے لیے فوری محرک۔