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

پست ویتالیک بوترین می‌گوید هوش مصنوعی ممکن است نقشه راه اتریوم را تسریع کند و در عین حال استانداردهای امنیتی را افزایش دهد، ابتدا در Coinpedia Fintech News منتشر شد

آینده توسعه اتریوم ممکن است سریع‌تر از آنچه بسیاری انتظار داشتند، فرا برسد.

ویتالیک بوترین اخیراً آزمایشی را توصیف کرد که در آن بخش زیادی از نقشه راه پیشنهادی اتریوم برای سال 2030 تنها در چند هفته با استفاده از ابزارهای هوش مصنوعی "کدنویسی شد". در حالی که او هشدار داد که نتایج به هیچ وجه برای تولید آماده نیستند، پیام کلی واضح بود: هوش مصنوعی به سرعت در حال تغییر نحوه ساخت زیرساخت بلاک چین است.

کدنویسی هوش مصنوعی با سرعتی بی‌سابقه در حال پیشرفت است

به گفته بوترین، ایجاد نسخه‌ای اولیه از چنین نقشه راه پیچیده‌ای تنها در دو هفته، فقط شش ماه پیش غیرواقعی به نظر می‌رسید. او گفت که کد تولید شده توسط هوش مصنوعی احتمالاً حاوی باگ‌های حیاتی و بخش‌های ناقص است. برخی از اجزا ممکن است جایگزین‌هایی باشند به جای ویژگی‌های کاملاً پیاده‌سازی شده.

با این حال، خود سرعت توسعه نشان‌دهنده یک تغییر است.

بوترین همچنین به اشتراک گذاشت که اخیراً نسخه‌ای از نرم‌افزار وبلاگ خود را در حدود یک ساعت با استفاده از یک مدل هوش مصنوعی منبع باز که به صورت محلی روی لپ‌تاپش اجرا می‌شد، ساخت. او پیشنهاد کرد که سیستم‌های پیشرفته‌تر می‌توانند وظایف مشابه را حتی سریع‌تر تکمیل کنند.

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

سرعت فقط نیمی از داستان است

بوترین تأکید کرد که کدنویسی سریع‌تر به تنهایی کافی نیست. به نظر او، فرصت واقعی در تعادل بین سرعت و روش‌های امنیتی قوی‌تر نهفته است.

به جای استفاده از هوش مصنوعی فقط برای نوشتن کد بیشتر، توسعه‌دهندگان می‌توانند از آن استفاده کنند برای:

• تولید موارد تست به طور قابل توجهی بیشتر
  
• اجرای ممیزی‌های امنیتی عمیق‌تر
  
• ایجاد پیاده‌سازی‌های مستقل متعدد از یک سیستم
  
• تأیید رسمی اجزای حیاتی
  

یک همکار از ابتکار LeanEthereum گزارش شده است که از هوش مصنوعی برای کمک به تولید اثبات قابل تأیید ماشینی برای یکی از قضایای پیچیده ریاضی زیربنای رمزنگاری مبتنی بر STARK استفاده کرده است.

برای اتریوم، که به طور فزاینده‌ای بر سیستم‌های پیشرفته اثبات دانش صفر متکی است، چنین ابزارهای تأیید ضروری هستند.

تأیید رسمی ممکن است به یک رویه استاندارد تبدیل شود

یک اصل اساسی LeanEthereum این است که تا جایی که ممکن است تمام اجزا را به صورت رسمی تأیید کند. تأیید رسمی به معنای اثبات ریاضی است که کد دقیقاً همانطور که در نظر گرفته شده رفتار می‌کند.

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

او با احتیاط افزود که هیچ کس نباید انتظار داشته باشد که یک دستور ساده وارد کند و کد کاملاً امن دریافت کند. باگ‌ها، ناسازگاری‌ها و معاوضات طراحی بخشی از فرآیند باقی خواهند ماند.

با این حال، چرخه‌های اشکال‌زدایی و تست می‌توانند پنج برابر سریع‌تر و بسیار دقیق‌تر از قبل اتفاق بیفتند.

آیا نقشه راه اتریوم می‌تواند زودتر از حد انتظار به پایان برسد؟

در حالی که بوترین هیچ پیش‌بینی قطعی نکرد، او جامعه را تشویق کرد که نسبت به این امکان باز باشند که نقشه راه بلندمدت اتریوم می‌تواند سریع‌تر از آنچه بسیاری پیش‌بینی می‌کنند، تکمیل شود.

مهم‌تر از آن، او پیشنهاد کرد که می‌تواند به استانداردهای امنیتی بالاتری نسبت به آنچه به طور سنتی برای سیستم‌های توزیع شده پیچیده انتظار می‌رود، برسد.

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