ویتالیک بوترین فرضیه شکست امنیت سایبری مقابل هوش مصنوعی را رد کرد
ویتالیک بوترین (Vitalik Buterin)، همبنیانگذار اتریوم، دیدگاههای بدبینانه پیرامون شکست قطعی امنیت سایبری در برابر هکرهای مجهز به هوش مصنوعی را رد کرد. او معتقد است ابزارهای پیشرفته راستیآزمایی صوری (Formal Verification) با کمک هوش مصنوعی میتوانند در آینده مزیت مهمی به مدافعان بدهند و امنیت نرمافزارها را به شکل دقیقتری بررسی کنند.
بوترین در پستی در شبکه اجتماعی ایکس نوشت
افرادی که همچنان ارز دیجیتال نگهداری میکنند، عملاً روی دوام سیستمهای دیجیتال در برابر حملات خودکار و پیشرفتهتر شرط بستهاند. او همچنین گفت حدود ۹۰ درصد از دارایی خالص شخصیاش در بازار ارزهای دیجیتال قرار دارد.
ویتالیک بوترین در این باره نوشت:
این دیدگاه که هک مبتنی بر هوش مصنوعی یعنی امنیت سایبری محکوم به شکست است، روزبهروز رایجتر میشود. من با آن مخالفم. بهنظر من، وقتی ابزارهای دفاعی به اندازه کافی پیشرفته شوند، امنیت سایبری میتواند به نفع مدافعان تغییر کند.
راستیآزمایی صوری چگونه میتواند به مدافعان کمک کند؟
استدلال بوترین این است که دفاع سایبری نباید فقط به پیدا کردن باگها پیش از مهاجمان محدود شود. در راستیآزمایی صوری، توسعهدهندگان ابتدا ویژگیها و قواعد امنیتی مورد انتظار را مشخص میکنند و سپس با استفاده از ابزارهای اثبات ریاضی بررسی میشود که آیا نرمافزار واقعاً از این قواعد پیروی میکند یا نه. بوترین معتقد است هوش مصنوعی میتواند این فرایند را سریعتر و گستردهتر کند، حتی در نرمافزارهای بسیار پیچیده.
بنیاد اتریوم هم در حال استفاده از همین رویکرد در برنامههای امنیتی خود است. تیم امنیت پروتکل اتریوم از عاملهای هوش مصنوعی برای بررسی کد و بازتولید آسیبپذیریها استفاده کرده و راستیآزمایی صوری نیز به بخشی از مسیر پژوهشی بلندمدت این شبکه تا سال ۲۰۲۹ تبدیل شده است. با این حال، خود گزارش تأکید میکند که این روش محدودیت دارد؛ اگر تعریف اولیه «امنیت» ناقص باشد، حتی یک اثبات ریاضی درست هم ممکن است همه مسیرهای حمله را پوشش ندهد.
