ویتالیک: هوش مصنوعی می تواند نقشه راه و امنیت اتریوم را تسریع کند

ویتالیک بوترین، یکی از بنیانگذاران اتریوم، گفت هوش مصنوعی می تواند نقشه راه توسعه شبکه را تسریع کند و در عین حال استانداردهای امنیتی را بهبود بخشد.

بوترین در پاسخ به آزمایشی که در آن شخصی کل نقشه راه اتریوم 2030 را طی هفته‌ها «ویب کدگذاری» کرد، نوشت که «شش ماه پیش حتی این راه از قلمرو امکان خارج شد و مهم این است که روند به کجا می‌رود».

بوترین شخصا کدنویسی هوش مصنوعی خود را با ایجاد معادل نرم افزار وبلاگ نویسی در یک ساعت با استفاده از لپ تاپ خود آزمایش کرد.

بنیانگذار اتریوم پیشنهاد کرد نیمی از افزایش سرعت را از هوش مصنوعی گرفته و از طریق موارد آزمایشی بیشتر، تأیید رسمی و پیاده سازی های متعدد در امنیت اعمال شود.

مردم باید در برابر این احتمال (نه قطعیت! احتمال) باز باشند که نقشه راه اتریوم بسیار سریعتر از آنچه مردم انتظار دارند و با استاندارد امنیتی بسیار بالاتر از آنچه مردم انتظار دارند به پایان برسد.

هوش مصنوعی تأیید رسمی شواهد رمزنگاری پیچیده را امکان پذیر می کند

یکی از همکاران پروژه Lean Ethereum موفق شده است که یک اثبات قابل تأیید ماشینی برای یکی از پیچیده ترین قضایا که STARK ها برای امنیت به آن تکیه می کنند، کدنویسی کند.

هدف ابتکار Lean Ethereum تأیید رسمی همه اجزاء است و هوش مصنوعی توانایی خود را برای دستیابی به این هدف بهبود می بخشد.

بوترین خاطرنشان کرد که ایجاد یک مورد آزمایشی بسیار گسترده تر فراتر از تأیید رسمی مهم است.

آزمایش نقشه راه دو هفته‌ای حاوی هشدارهای بزرگی بود: تقریباً به طور قطع بسیاری از باگ‌های مهم و احتمالاً در برخی موارد نسخه‌های «خرد» چیزی که هوش مصنوعی حتی سعی نکرد نسخه کامل آن را بسازد.

رویکرد درست، دستاوردهای هوش مصنوعی را بین بهبود سرعت و امنیت تقسیم می‌کند. بوترین هشدار داد: «فرض نکنید که می‌توانید یک خط فرمان واحد ایجاد کنید و یک نسخه فوق‌العاده امن را به زودی منتشر کنید؛ به دلیل باگ‌ها و ناسازگاری‌ها، اختلافات زیادی بین برنامه‌ها وجود خواهد داشت.

کد بدون خطا می تواند از یک توهم آرمانی به انتظارات اساسی تبدیل شود

بوترین ابراز هیجان کرد که این امکان وجود دارد که “کد بدون اشکال، که مدتها به عنوان یک توهم ایده آل تلقی می شد، ممکن است در نهایت ممکن شود و سپس به یک انتظار اساسی تبدیل شود.” او این را برای بی اعتمادی به سیستم های رمزنگاری ضروری توصیف کرد.

امنیت کامل همچنان غیرممکن است، زیرا مستلزم همسویی کامل بین خطوط کد و محتویات ذهن است، که بوترین تخمین می‌زند ترابایت اطلاعات است.

در موارد خاص، ادعاهای امنیتی خاصی را می توان مطرح و تأیید کرد و بیش از 99٪ از پیامدهای منفی کد شکسته را از بین می برد.

در این بیانیه آمده است که هوش مصنوعی ابزاری برای سرعت بخشیدن به جدول زمانی توسعه و افزایش میله های امنیتی به طور همزمان است.

چارچوب بوترین نشان می‌دهد که هوش مصنوعی می‌تواند این معاوضه را با فعال کردن تأیید امنیت جامع در سرعت‌های توسعه که قبلا غیرممکن بود، از بین ببرد.