Vitalik Buterin بزرگترین باگ اتریوم و نحوه رفع آن را فاش می کند

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

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

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

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

دوم، نیت انسان باید بهتر درک شود و به کد ترجمه شود. این ممکن است شامل ایجاد چارچوب‌ها و زبان‌های جدیدی باشد که شهودی‌تر و سازگارتر با فرآیندهای فکری انسان هستند و شکافی را که اغلب منجر به خطا می‌شود کاهش می‌دهد.

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