د Ethereum شریک بنسټګروای Vitalik Buterin وویل چې د AI پر بنسټ formal verification کولی شي د cryptocurrency شبکې ډیرې خوندي کړي، په داسې حال کې چې AI تولید شوی کوډ او ریاضیکي تصدیق شوی software سره یو ځای کوي.
دا کړنلاره د blockchain په پراختیا کې یو بنسټیزې tensão ته ځواب ورکوي. پداسې حال کې چې AI کولی شي په چټکۍ سره کوډ تولید کړي او کمزوري ومومي، خو دا کولی شي تېروتنې هم رامنځته کړي؛ ریاضیکي تصدیق هغه تضمینونه وړاندې کوي چې اړین دي ترڅو ډاډ ترلاسه شي چې kritikal infrastructure د exploits په وړاندې مقاومت لري.
Buterin وویل چې د دې دوو ټیکنالوژیو ترمنځ همغږي کولی شي په بنسټیز ډول هغه لاره بدله کړي چې Entwicklers ته د امنیتي برخې ته لاسرسی کوي. AI د کوډ د تولید سرعت او د عیبونو موندلو وړتیا دواړه ښه کوي، په داسې حال کې چې formal verification ریاضیکي ثبوتونه کاروي ترڅو تایید کړي چې یو program دقیقاً د intended هدف مطابق عمل کوي.
Buterin وویل: "ریاضیکي تصدیق شوی software ممکن د cryptographic infrastructures په ساتنه کې مرسته وکړي."
د artificial intelligence د تخلیقي او تحلیلي ځواک او د formal verification د سخت یقیني کیفیت په یوځای کولو سره، صنعت کولی شي داسې یو ماډل ته لاړ شي چې پکې software مخکې له دې چې deploy شي، د خوندي کیدو ثبوت وړاندې کړي. دا به د trial-and-error ټیسټینګ reliance او د smart contract deployments د لوړ خطر طبيعت کم کړي.
Buterin وویل چې ګټې د blockchain څخه هاخوا extend کیږي. هغه وویل چې AI په نهایت کې کولی شي د cryptocurrency سیسټمونه او kritikal internet infrastructure ډیر خوندي کړي.
د ثبات دا احتمالي زیاتوالی په داسې وخت کې راغلی چې صنعت په 2026 کال کې لاهم د لوړ پروفایل exploits او د decentralized networks د scaling پیچلتیاوو سره لاس او ګرې зала کوي [1].
“ریاضیکي تصدیق شوی software ممکن د cryptographic infrastructures په ساتنه کې مرسته وکړي.”
د AI او formal verification یوځای کول د reactive security (تر هغه چې bugs ومومل شي د هغوی patch کول) څخه proactive security ته یو بدلون ښيي. که Entwicklers وکولی شي د یو contract د correctness ریاضیکي ثبوت وړاندې کړي، دا به د vulnerability ټولې هغه طبقات له منځه یوسي چې اوسمهال په decentralized finance کې د لویو مالي تاوانونو لامل کیږي.
