هوش مصنوعی در حال حاضر شروع به نوشتن کدهایی می‌کند که پول را در بلاک‌چین‌ها جابه‌جا می‌کنند. اتحاد هوش فراانسانی و پلتفرم توسعه‌دهنده ماتر‌هورن می‌گویند که می‌خواهند از ایمن بودن این کدها اطمینان حاصل کنند.
معرفی ابتکار عمل
ماتر‌هورن و اتحاد ASI روز جمعه از یک ابتکار عمل جدید با محوریت “کدنویسی ویبی” خبر دادند؛ این ویژگی پلتفرم ماتر‌هورن به توسعه‌دهندگان اجازه می‌دهد تا یک اپلیکیشن را به زبان ساده توصیف کنند و هوش مصنوعی فوراً کد کامل قرارداد هوشمند را تولید می‌کند. در حالی که این تکنیک سرعت توسعه را افزایش می‌دهد و مانع ساخت اپلیکیشن‌ها را کاهش می‌دهد، خطر تولید کدهای معیوب یا ناامن توسط هوش مصنوعی را نیز به همراه دارد که مهاجمان می‌توانند از آن سوءاستفاده کنند.
این شرکت در بیانیه‌ای اعلام کرد: “ما در ابتدای جهانی هستیم که در آن برنامه‌های غیرمتمرکز (dApps) به ‘فقط برنامه‌ها’ تبدیل می‌شوند، مانند وب‌سایت‌ها و برنامه‌هایی که امروزه استفاده می‌کنیم. هر ابزار دیگری در این فضا در حال رقابت برای ارائه سریع‌تر کد است. ما فکر می‌کنیم این یک رقابت اشتباه است. سازندگانی که برنامه‌های غیرمتمرکزی را می‌سازند که پول واقعی و کاربران واقعی را مدیریت می‌کنند، به پلتفرمی نیاز دارند که بتوانند به آن اعتماد کنند و این مشارکت، چگونگی ساخت آن را نشان می‌دهد.”
اقدامات برای کاهش ریسک
آبهینا رامش، بنیانگذار ماتر‌هورن، گفت برای کاهش این تهدید، این شرکت با ممیزان امنیتی خارجی و ابزارهای خودکار همکاری می‌کند تا به توسعه‌دهندگان در بررسی قراردادهای هوشمند تولید شده توسط هوش مصنوعی قبل از استقرار کمک کند.
رامش به دکریپت گفت: “ما با شرکت‌های ممیزی امنیتی شریک هستیم که می‌توانند خدمات ممیزی را از طریق ماتر‌هورن برای سازندگان در ماتر‌هورن ارائه دهند. ما همچنین عوامل هوش مصنوعی داریم که ممیزی‌های عاملی انجام می‌دهند، اما ما مطلقاً توصیه نمی‌کنیم که فقط از این روش برای برنامه‌های اصلی استفاده شود.”
پلتفرم توسعه ماتر‌هورن برای ادغام با ASI:Chain، یک شبکه بلاک‌چینی که توسط اتحاد هوش فراانسانی توسعه یافته است، طراحی شده است. این اتحاد یک مجموعه هوش مصنوعی غیرمتمرکز است که شامل Fetch.ai، SingularityNET و CUDOS می‌شود و یک محیط واحد برای ساخت، ممیزی و استقرار برنامه‌های غیرمتمرکز در اختیار توسعه‌دهندگان قرار می‌دهد.
رامش گفت: “ما اتصال MCPها، ساخت/استفاده از مهارت‌ها، ساخت برنامه‌های غیرمتمرکز و استقرار از یک پلتفرم واحد را برای کاربران آسان می‌کنیم. ما با تیم ASI روی ‘قالب‌های تایید شده’ کار می‌کنیم تا ساخت قراردادهای ایمن‌تر را به‌ویژه برای زبان‌های مبتنی بر تایید رسمی آسان‌تر کنیم.”
این شرکت اعلام کرد که توسعه‌دهندگان می‌توانند قبل از راه‌اندازی قراردادها در یک بلاک‌چین زنده، از طریق پلتفرم با ممیزان شخص ثالث ارتباط برقرار کنند. با این حال، در حالی که ماتر‌هورن می‌گوید پلتفرم آن توسعه را تسریع می‌کند، امنیت را تضمین نمی‌کند.
رامش گفت: “ما یک توانمند قوی برای سازندگانی هستیم که می‌خواهند روی Web3 بسازند. هیچ‌گونه تضمینی از طرف تیم ماتر‌هورن در مورد ایمنی یا امنیت وجود ندارد.”
رامش گفت که ماتر‌هورن و اتحاد ASI در حال توسعه “قالب‌های تایید شده” هستند تا به توسعه‌دهندگان در ساخت قراردادهای هوشمند ایمن‌تر کمک کنند، در حالی که ASI:Cloud را برای ارائه قدرت محاسباتی برای سیستم‌های هوش مصنوعی که کد را برای MeTTa، زبان برنامه‌نویسی ASI:Chain تولید و تجزیه و تحلیل می‌کنند، ادغام می‌کنند.
نقش هوش مصنوعی در صنعت رمزنگاری
این مشارکت در حالی صورت می‌گیرد که عوامل هوش مصنوعی به طور فزاینده‌ای وارد صنعت رمزنگاری می‌شوند، جایی که توسعه‌دهندگان در حال آزمایش سیستم‌هایی هستند که می‌توانند کیف پول‌ها را مدیریت کنند، معاملات را انجام دهند و وظایف مالی را در زنجیره انجام دهند و این امر باعث ایجاد ابزارها و تحقیقات جدید با هدف کنترل خطرات هنگام مدیریت ارزهای رمزنگاری شده توسط این سیستم‌های خودمختار می‌شود.
خلار کرافورد، مدیر ارشد نوآوری SingularityNET، گفت که بخش زیادی از صنعت بلاک‌چین به رویکرد “وصله و دعا” متکی است – نوشتن قراردادهای هوشمند به زبان‌هایی که برای همزمانی پیچیده مناسب نیستند و تکیه بر ممیزان برای شناسایی نقص‌ها – در حالی که F1R3FLY و ASI:Chain از معماری “صحیح با ساخت” مبتنی بر حساب رُ استفاده می‌کنند.
کرافورد به دکریپت گفت: “ما حدس نمی‌زنیم که آیا یک برنامه ایمن است یا خیر، ما آن را به صورت ریاضیاتی با استفاده از انواع رفتاری فضایی ثابت می‌کنیم. قبل از اینکه یک خط کد به شبکه زنده برسد، خود ریاضیات تضمین می‌کند که هیچ بن‌بستی، هیچ سوءاستفاده‌ای از شرایط مسابقه و هیچ وجوهی لو نمی‌رود.”
