ویتالیک بوترین معتقده امنیت اتریوم با هوش مصنوعی و پیشرفت اون لزوما وارد مرحله خطرناک تری نمیشه؛ چون همین فناوری میتونه برای بررسی ریاضی و اثبات درستی کدهای حساس هم استفاده بشه.
بر اساس اخبار ارز دیجیتال، بوترین با دیدگاهی که معتقده افزایش توانایی هوش مصنوعی در پیدا کردن باگ، امنیت سایبری رو غیرممکن میکنه موافق نیست. اون میگه AI میتونه در کنار شناسایی آسیب پذیری ها، برای اثبات رسمی عملکرد نرم افزار هم به کار گرفته بشه.
امنیت اتریوم با هوش مصنوعی و اثبات رسمی کد
اثبات رسمی روشی برای بررسی نرم افزاره که در اون ویژگی های مورد انتظار از کد به صورت ریاضی تعریف میشن و کامپیوتر میتونه درستی اونها رو بررسی کنه. تفاوت اصلی این روش با تست معمولی اینه که تست فقط بعضی حالت ها رو بررسی میکنه اما اثبات رسمی میتونه یک ویژگی مشخص رو به صورت ریاضی اثبات کنه.
بوترین در نوشته ای درباره این موضوع توضیح داده که هوش مصنوعی میتونه هم در نوشتن کد و هم در تولید اثبات های ریاضی کمک کنه. به گفته بوترین این رویکرد برای بخش های حساس اتریوم مثل امضاهای مقاوم در برابر کوانتوم، STARK ها، الگوریتم های اجماع و ZK-EVM ها اهمیت بیشتری پیدا میکنه.
هوش مصنوعی تهدید یا ابزار امنیتی اتریوم؟
نگرانی اصلی اینه که مدل های هوش مصنوعی میتونن پیدا کردن آسیب پذیری ها رو برای مهاجمان سریع تر کنن. بوترین این خطر رو جدی میدونه اما معتقده افزایش توان دفاعی هم میتونه بخشی از همین پیشرفت باشه. در این دیدگاه، اخبار اتریوم میتونه در سال های آینده بیشتر با توسعه روش های خودکار ممیزی کد قراردادهای هوشمند گره بخوره.
البته اثبات رسمی هم راه حل کامل همه مشکلات نیست. اگر مشخصات امنیتی اشتباه تعریف شده باشن یا بخشی از سیستم اصلا مورد بررسی قرار نگرفته باشه، نتیجه اثبات نمیتونه امنیت واقعی کل سیستم رو تضمین کنه. بوترین تاکید کرده که اتریوم باید همزمان با افزایش مقیاس پذیری و توسعه فناوری های حریم خصوصی، امنیت نرم افزارهای خودش رو هم تقویت کنه.
جدیدترین اخبار ارز دیجیتال رو از کریپتونگار دنبال کنید.
