در حالی که ChatGPT-4 هنوز نمیتواند با کنترلکنندههای انسانی رقابت کند، OpenZeppelin خاطرنشان میکند که برای آن بهینهسازی نشده است و مدلهای هوش مصنوعی که برای این منظور آموزش دیدهاند احتمالا دقیقتر خواهند بود.
در حالی که هوش مصنوعی مولد (AI) قادر به انجام وظایف مختلف است، طبق آزمایشهای اخیر، ChatGPT-4 OpenAI در حال حاضر نمیتواند به اندازه حسابرسان انسانی قراردادهای هوشمند را بازرسی کند.
Mariko Wakabayashi و Felix Wegener از شرکت امنیتی بلاک چین OpenZeppelin ChatGPT-4 را به چالش امنیتی Ethernaut شرکت برای تعیین اینکه آیا ابزارهای هوش مصنوعی میتوانند جایگزین حسابرسان انسانی شوند، به چالش کشیدند.
اگرچه مدل هوش مصنوعی بیشتر سطوح را شکست داد، اما با مدلهای جدیدی که پس از مهلت دادههای آموزشی سپتامبر 2021 معرفی شدند، مشکل داشت، زیرا افزونهای که اتصال وب را فعال میکند در آزمایش گنجانده نشده بود.
Ethernaut یک بازی جنگی در داخل ماشین مجازی اتریوم است که از ۲۸ قرارداد هوشمند یا سطح برای هک شدن تشکیل شده است. به عبارت دیگر، سطوح زمانی تکمیل می شوند که اکسپلویت مناسب پیدا شود.
طبق آزمایش تیم هوش مصنوعی OpenZeppelin، ChatGPT-4 موفق شد آسیبپذیری را پیدا کند و 20 سطح از 28 سطح را پشت سر بگذارد، اما به راهنمایی بیشتری برای کمک به حل برخی از سطوح پس از درخواست اولیه نیاز داشت: “قرارداد هوشمند زیر یک آسیبپذیری است؟”
در پاسخ به سوالات Cointelegraph، Wegener اظهار داشت که OpenZeppelin از حسابرسان خود انتظار دارد که تمام سطوح Ethernaut را همانطور که هر نویسنده با استعدادی باید تکمیل کند.
در حالی که Wakabayashi و Wegener به این نتیجه رسیدند که ChatGPT-4 در حال حاضر نمی تواند جایگزین حسابرسان انسانی شود، آنها تاکید کردند که همچنان می توان از آن به عنوان ابزاری برای افزایش کارایی حسابرسان قراردادهای هوشمند و شناسایی آسیب پذیری ها استفاده کرد.
“ما یک کلمه تسلیت به جامعه Web3 BUIDLers داریم – کسب و کار شما ایمن است! اگر بدانید چه کاری انجام می دهید، می توان از هوش مصنوعی برای افزایش بهره وری استفاده کرد.”
وقتی از ویگنر پرسیده شد که آیا ابزاری که بهرهوری حسابرسان انسانی را بهبود میبخشد به این معنی است که شرکتهایی مانند OpenZeppelin به این تعداد نیاز ندارند، وگنر به Cointelegraph گفت که کل تقاضای حسابرسی از ظرفیت آن برای ارائه ممیزی با کیفیت بالا فراتر رفته است و آنها انتظار دارند تعداد افراد شاغل برای افزایش. به عنوان سرپرست در Web3 به رشد خود ادامه دهند.
مرتبط با: Satoshi Nak-AI-moto: خالق بیت کوین به یک ربات چت هوش مصنوعی تبدیل شد
31 مه در توییتر نخWakabayashi گفت که مدلهای زبان بزرگ (LLM) مانند ChatGPT هنوز برای ممیزی امنیتی قراردادهای هوشمند آماده نیستند، زیرا این وظیفه ای است که به دقت قابل توجهی نیاز دارد و LLM ها برای رندر متن و ایجاد مکالمات شبیه انسان بهینه شده اند.
خروجی سازگار نیست، زیرا LLM ها سعی می کنند هر بار محتمل ترین نتیجه را پیش بینی کنند.
این به وضوح یک مشکل بزرگ برای کارهایی است که به دقت و دقت بالایی در نتایج نیاز دارند.
– ماریکو (@mwkby) 31 مه 2023
با این حال، واکابایاشی پیشنهاد کرد که یک مدل هوش مصنوعی آموزشدیده با استفاده از دادههای متناسب و اهداف خروجی میتواند راهحلهای قابل اعتمادتری نسبت به رباتهای چت که بر روی مقادیر زیادی داده آموزش داده شده و در حال حاضر در دسترس عموم هستند، ارائه دهد.
این به چه معناست برای هوش مصنوعی در امنیت وب 3؟
اگر یک مدل هوش مصنوعی با دادههای آسیبپذیری هدفمندتر و اهداف خروجی خاص آموزش دهیم، میتوانیم راهحلهای دقیقتر و قابل اعتمادتری را از LLMهای قدرتمندی که بر روی مقادیر انبوه داده آموزش دیدهاند، بسازیم.
– ماریکو (@mwkby) 31 مه 2023
AI Eye: 25000 معاملهگر روی پیشبینیهای سهام ChatGPT شرط میبندند، هوش مصنوعی در تاس انداختن را بد میکند، و موارد دیگر
نویسنده: Luke Huigsloot
