ویتالیک بوترین، هم‌بنیان‌گذار اتریوم، معتقد است هوش مصنوعی چندین دهه به پیشرفت این شبکه کمک کرده است. او در کنفرانس “شبکه دولت ۲۰۲۶” در سنگاپور اظهار داشت که هوش مصنوعی با سرعتی چشمگیر، روند به‌روزرسانی پروتکل اتریوم را تسریع بخشیده است.
بوترین پیش‌بینی کرد که بدون کمک هوش مصنوعی، دستیابی به برخی از اهداف نقشه راه اتریوم ممکن بود تا سال‌های ۲۰۴۰ یا حتی ۲۰۵۰ به طول بینجامد. این مصاحبه در تاریخ ۹ اکتبر ۲۰۲۶ انجام شد و روز بعد گزارش گردید. تمرکز اصلی بوترین بر “نقشه راه لاغر” (Lean Roadmap) بود؛ طرح اتریوم برای بازنگری اساسی در پروتکل اصلی خود.
ادعای کلیدی او این بود که هوش مصنوعی اکنون بخش قابل توجهی از تحقیقات و کدنویسی مورد نیاز این نقشه راه را بر عهده گرفته است، از جمله دشوارترین وظایف. یکی از برجسته‌ترین نمونه‌ها، تأیید رسمی (formal verification) با استفاده از Lean 4 است. Lean 4 یک زبان برنامه‌نویسی و دستیار اثبات است که برای نوشتن اثبات‌های ریاضیاتی به کار می‌رود که کامپیوتر می‌تواند خط به خط آن‌ها را بررسی کند. طبق خلاصه تحقیقات، مشارکت هوش مصنوعی در Lean 4 نیاز به ممیزی دستی حجم عظیمی از کد توسط انسان را کاهش می‌دهد.
نقشه راهی که بوترین توصیف کرد، صرفاً یک تنظیم جزئی نیست. اتریوم در حال حرکت به سمت معماری‌ای است که بر پایه STARKهای بازگشتی (recursive STARKs)، تأیید رسمی خودکار و مقاومت قوی‌تر در برابر کوانتوم بنا شده است. STARKها اثبات‌های رمزنگاری هستند که به یک طرف اجازه می‌دهند اثبات کند یک محاسبه به درستی انجام شده است، بدون اینکه همه مجبور به تکرار آن باشند. STARKهای بازگشتی نیز اثبات‌هایی هستند که می‌توانند اثبات‌های دیگر را تأیید کنند. مقاومت در برابر کوانتوم نیز به حفاظت از شبکه در برابر کامپیوترهای کوانتومی آینده اشاره دارد که می‌توانند رمزنگاری امروزی را بشکنند.
نقش هوش مصنوعی در پیشرفت اتریوم
بوترین معتقد است هوش مصنوعی در این زمینه نقش کلیدی ایفا می‌کند. خلاصه تحقیقات، هوش مصنوعی را به عنوان یک توانمندساز حیاتی توصیف می‌کند که اتریوم را به سمت این طراحی پیچیده‌تر هدایت می‌کند.
نقطه عطف بعدی در تقویم، ارتقاء “هگوتا” (Hegota) است که انتظار می‌رود حدود سال ۲۰۲۷ رخ دهد. این ارتقاء به عنوان آخرین فورک “عادی” در تاریخ اتریوم توصیف شده است. پس از آن، انتظار می‌رود تمرکز به سمت روش‌های پیشرفته رمزنگاری و تأیید رسمی معطوف شود و ادغام هوش مصنوعی نقشی محوری ایفا کند.
شواهد اولیه حاکی از آن است که هوش مصنوعی می‌تواند کارهای پروتکلی معنی‌داری انجام دهد. در اوایل سال ۲۰۲۶، آزمایش‌ها منجر به تولید یک نمونه اولیه از کلاینت اتریوم شد که حدود ۶۵ مورد از موارد نقشه راه را پوشش می‌داد. این نمونه اولیه همچنین با شبکه اصلی اتریوم (mainnet) همگام‌سازی شد.
این اولین بار نیست که بوترین امسال در مورد هوش مصنوعی اظهار نظر می‌کند. او در اوایل سال ۲۰۲۶، نقش دوگانه هوش مصنوعی در توسعه رمزارزها را مورد بحث قرار داد. از یک سو، هوش مصنوعی می‌تواند کارهای فنی را تسریع بخشد و از سوی دیگر، نگرانی‌های امنیتی در مورد آسیب‌پذیری‌ها را افزایش می‌دهد، از جمله این احتمال که همین ابزارها بتوانند به مهاجمان در یافتن سریع‌تر نقاط ضعف کمک کنند.
این تنش، جنبه تأیید رسمی را به‌ویژه جالب می‌کند. اگر هوش مصنوعی بتواند کد را به سرعت تولید کند، اثبات ریاضی صحت آن کد، به یک سازوکار حفاظتی طبیعی در برابر ریسک‌هایی که خود هوش مصنوعی ایجاد می‌کند، تبدیل می‌شود.
برای توسعه‌دهندگان، واضح‌ترین پیامد، تغییر در شرح وظایف است. اگر هوش مصنوعی بخش بیشتری از نوشتن اثبات و ممیزی کد را بر عهده بگیرد، محققان اصلی ممکن است زمان بیشتری را صرف تصمیم‌گیری‌های طراحی و زمان کمتری را صرف تأیید دستی کنند.
چارچوب زمانی ۲۰۴۰ تا ۲۰۵۰ که بوترین مطرح کرد، نشان می‌دهد که او هوش مصنوعی را عاملی می‌داند که تفاوت بین “روزی” و “این دهه” را ایجاد می‌کند. مسئله امنیت نیز همچنان پابرجا است. اتکا به هوش مصنوعی برای کد زیرساخت حیاتی، اهمیت حصول اطمینان از صحت تأیید را افزایش می‌دهد، زیرا یک خطای جزئی در یک بلاک‌چین پرکاربرد می‌تواند پرهزینه باشد.
آنچه در ادامه باید رصد کرد: پیشرفت در ارتقاء هگوتا، نتایج بیشتر از آزمایش‌های کلاینت‌های ساخته شده با هوش مصنوعی، و اینکه چه میزان از تأیید رسمی نقشه راه لاغر، در نهایت توسط ماشین تولید خواهد شد.
