پیشزمینه
مدیرعامل شرکت هلیوس لبز، مرت مهمتاز، هشدار داده است که حوزه ارزهای دیجیتال وارد عصر جدیدی از امنیت شده است؛ عصری که در آن هوش مصنوعی، تایید رسمی و استانداردهای بالاتر نرمافزاری، تیمهای زیرساختی جدی را از پروتکلهای شکننده متمایز خواهند کرد. در پست پربازدید خود در شبکه اجتماعی اکس، مهمتاز بیان کرد که ارز دیجیتال "در حال ورود به عصر فضایی" است و کدهای مالی تغییرناپذیر بهطور فزایندهای نیازمند سختگیریهایی مشابه صنایع فضایی، ساخت تراشه و دیگر صنایع بیخطا هستند.
بحران نرمافزاری در ارزهای دیجیتال
مهمتاز تاکید داشت که بیشتر نرمافزارهای موجود در گذشته تحملی برای خطا و سهلانگاری نسبی داشتهاند که دیگر در حوزه ارزهای دیجیتال قابل قبول نیست. در کسبوکارهای اینترنتی سنتی، خطا ممکن است به توقف موقت، از دست دادن درآمد یا نقصی خجالتآور منجر شود، اما اپراتورهای متمرکز معمولاً قادر به مداخله، اصلاح سیستم، بازگردانی تغییرات یا جبران خسارات برای کاربران هستند. اما ساختار ارزهای دیجیتال به واسطه اجرای غیرقابل بازگشت و فعالیت در محیطهای خصمانه، متفاوت است.
مهمتاز میگوید: «کد مالی تغییرناپذیر مانند سفینه فضایی است که زمین را ترک میکند و دیگر کنترلی روی آن ندارید. این سیستم باید بدون خطا کار کند در غیر این صورت فاجعه رخ خواهد داد.» او این بحران را به بحران نرمافزاری اواخر دهه 1960 در ناتو مرتبط دانسته و گفت که صنعت نرمافزار در آن زمان به شدت سهلانگاری داشت.
امنیتی در حد پروازهای فضایی
مهمتاز ریشه این بحران نرمافزاری را به نظریههای ادسگر دیکسترا، پدر برنامهنویسی ساختاری، مربوط میداند که بر این نکته تاکید دارد که آزمایش فقط میتواند وجود باگها را اثبات کند، نه عدم وجود آنها. بنابراین در سیستمهایی که صحت عملکرد اهمیت دارد، نرمافزار باید مانند یک جسم ریاضیاتی قابل استدلال و اثبات باشد، نه صرفاً یک محصول مصرفی که گام به گام بهروزرسانی میشود.
این موضوع در حوزه بلاکچین که میلیاردها دلار دارایی را با کدی شفاف، تغییرناپذیر و در معرض حملات مکرر مدیریت میکند، اهمیت ویژهای دارد. مطابق نظر مهمتاز، صنعت رمزارزها اغلب از دیدگاه ریسک حوزههای هواپیمایی یا فضانوردی استفاده کرده اما فرهنگ توسعه خود را از برنامههای وب گرفته است. به گفته او، ارزهای دیجیتال یک صنعت با حاشیه خطای پایین هستند اما بیشتر پروژهها با استانداردهای سهلانگار سیستمهای انسانی ساخته شدهاند.
تاثیر هوش مصنوعی بر امنیت بلاکچین
مدیرعامل هلیوس لبز همچنین درباره «چهره ظاهری غیرمتمرکز بودن» که اضطرار امنیتی را کاهش داده است، انتقاد کرده است. کلیدهای ادمین، مجموعههای اعتبارسنج کنترلشده، هماهنگی اجتماعی و مداخلات اضطراری، نوعی اطمینان کوتاهمدت ایجاد کردهاند اما این سازوکارها تفاوت سیستمهای کاملا خودمختار و سیستمهایی که قابل بازیابی توسط انسانها هستند را مبهم میکنند.
مهمتاز انتظار دارد با پیشرفت هوش مصنوعی، این تفاوتها آشکارتر شود. او هوش مصنوعی را صرفاً یک تهدید نمیداند بلکه آن را ابزاری میشمارد که فرآیندهای سختگیرانه نرمافزاری را قابل دسترستر میکند. به عقیده وی نوشتن مشخصات، کمک اثبات، استدلال نمادین، فازینگ، حسابرسی، بررسی ناورداها و فرآیندهای تایید رسمی میتوانند در مقیاس وسیع بسیار سادهتر انجام شوند.
آزمون سخت فضای رقابت آینده
اخیر، رهاسازی مدلهای زبانی پیشرفته آنتروپیک مانند کلود فِیبل 5 و کلود میتوس 5 به نمایش گذاشته که هوش مصنوعی چقدر سریع به حوزههای تحقیقاتی امنیتی تهاجمی و تدافعی وارد شده است. این پیشرفتها اجازه میدهد مدلهای هوش مصنوعی به راحتی کدهای پیچیده را تحلیل، اشکالات منطقی ظریف را شناسایی و به بهرهبرداری از آسیبپذیریها کمک کنند، که قراردادهای هوشمند عمومی را هدف طبیعی برای شکار باگهای هوشمند میکند.
مهمتاز هشدار میدهد که این وضعیت به معنای کاهش زمان کشف نقایص توسط هکرها و حسابرسان است و ممکن است باعث سقوط پروژههای ضعیف و تقویت تیمهای قوی شود. وی تأکید میکند که این روند صرفا به معنی تقابل با بدرفتاری یا کوتاهی نیست، بلکه فرآیندی طبیعی و سخت برای بازسازی امنیت در این حوزه است.
نتیجهگیری
بنا به دیدگاه مرت مهمتاز، چرخه رقابتی بعدی در کریپتو صرفاً بر اساس سرعت تراکنش، انگیزههای نقدینگی یا توزیع ثروت تعریف نخواهد شد بلکه بر اساس صحت قابل اثبات کد و امنیت آنها خواهد بود. او معتقد است که ارزهای دیجیتال میتوانند به نظامی تبدیل شوند که امنیت، سختگیری و حریم خصوصی در مرکز توجه قرار داشته باشند و از بسیاری از سیستمهای مالی متمرکز ایمنتر و پایدارتر باشند. او در پایان صحبتهای خود با صراحت گفته است: «من به ریاضیات و رمزارز اعتقاد دارم.»
در زمان انتشار این مقاله، ارزش کل بازار ارزهای دیجیتال حدود 2.12 تریلیون دلار بوده است که نشاندهنده اهمیت رو به رشد امنیت و استحکام زیرساختها در این صنعت پرشتاب و پرخطر است.
