ویتالیک بوترین: هوش مصنوعی میتواند امنیت ارزهای دیجیتال را تقویت کند
ویتالیک بوترین (Vitalik Buterin)، بنیانگذار اتریوم، معتقد است که برخلاف نگرانیهای موجود درباره سوءاستفاده از هوش مصنوعی برای شکار باگها، این فناوری میتواند امنیت بلاک چین را به شکلی بیسابقه ارتقا دهد. بوترین تأکید کرد که استفاده از هوش مصنوعی در «تأیید رسمی» میتواند یکی از قویترین ابزارهای دفاعی در برابر آسیبپذیریهای امنیتی در زیرساختهای ارز دیجیتال و اینترنت باشد.
تأیید رسمی به معنای استفاده از گواههای ریاضی برای بررسی عملکرد نرمافزار است؛ فرآیندی که پیش از این به دلیل دشواریهای فنی مورد استقبال برنامهنویسان قرار نمیگرفت. اکنون با پیشرفت هوش مصنوعی، توسعهدهندگان میتوانند از مدلهای زبانی بخواهند که علاوه بر نوشتن کد، گواههای ریاضی مرتبط با آن را نیز تولید کنند.
این رویکرد به معنای آن است که هوش مصنوعی در آینده به جای یافتن حفرههای امنیتی، کدهایی را تحلیل میکند که پیشتر بینقص بودن آنها از نظر ریاضی ثابت شده است.
بوترین در مقاله خود اشاره کرد که در حال حاضر پروژههایی نظیر آرکلیب (Arklib) و evm-asm در حال کار بر روی پیادهسازی زیرساختهای اتریوم با استفاده از همین روش هستند. او همچنین اعلام کرد که مدلهای پیشرفتهای مانند Claude و Deepseek ۴ Pro برای انجام این فرآیندهای پیچیده عملکرد مناسبی دارند.
با وجود خوشبینیها، بنیانگذار اتریوم هشدار داد که این فناوری راهکاری نهایی نیست و محدودیتهایی نظیر وجود باگ در کتابخانههای اثباتنشده یا اشتباه در مشخصات فنی همچنان پابرجا هستند. با این حال، با توجه به هکهای اخیر در پروتکلهایی مانند اکو (Echo Protocol) و تورچین که منجر به از دست رفتن دهها میلیون دلار سرمایه شده، نیاز به ابزارهای جدید برای جلوگیری از خطاهای انسانی بیش از پیش احساس میشود.
