بینش‌های صنعت

دفترکل حسابرسی‌شده: هوش مصنوعی در قرارداد هوشمند و ریسک بلاکچین

ت

تیم ژرف ای‌آی

•۱۶ خرداد ۱۴۰۵•به‌روزرسانی ۸ مرداد ۱۴۰۵•۸ دقیقه مطالعه
دفترکل حسابرسی‌شده: هوش مصنوعی در قرارداد هوشمند و ریسک بلاکچین

قرارداد هوشمند، رفتار نرم‌افزار را به رفتار مالی تبدیل می‌کند. خطا در کنترل دسترسی، حساب، اوراکل، اختیار ارتقا، تعامل قرارداد یا انگیزه اقتصادی می‌تواند پیش از وصله دارایی را جابه‌جا کند. دستیار هوش مصنوعی سرعت بازبینی را بالا می‌برد، اما اطمینان احتمالاتی ویژگی امنیتی نیست و کد روان اثبات محسوب نمی‌شود.

الگوی دفاع‌پذیر در ۲۰۲۶ استفاده از هوش مصنوعی برای کشف، توضیح، ایده آزمون و تحقیق درون فرایند تضمین قطعی است. کامپایل، build بازتولیدپذیر، آزمون واحد و خاصیت، تحلیل ایستا و پویا، fuzzing، مشخصات رسمی، بازبینی مستقل، کنترل استقرار و پایش اجرا شواهد اصلی‌اند. مدل به متخصص برای پیمایش مدرک کمک می‌کند؛ نباید قطعیت تولید کند.

خط مبنای تهدید در ۲۰۲۶

ده ریسک برتر قرارداد هوشمند OWASP در ۲۰۲۶ آسیب کنترل دسترسی را نخست می‌گذارد و پس از آن منطق کسب‌وکار، دست‌کاری اوراکل قیمت، حمله تسهیل‌شده با وام فوری، اعتبارسنجی ورودی، فراخوانی خارجی کنترل‌نشده، خطای حساب، reentrancy، overflow یا underflow و آسیب proxy یا ارتقا را می‌آورد. OWASP می‌گوید ترتیب آینده‌نگر و بر پایه رخدادهای ۲۰۲۵ و نظر متخصصان است.

پس فهرست، مرجع آگاهی و اولویت است، نه مدل تهدید کامل یا گواهی. تمرکز آن لایه قرارداد است؛ پروتکل به حاکمیت، bridge، sequencer، front end، کیف پول، امضاکننده، زیرساخت، کتابخانه شخص ثالث، سرویس خارج زنجیره و رفتار بازار هم وابسته است. فهرست را با دارایی، فرض اعتماد، زنجیره، زبان، الگوی استقرار و invariant اقتصادی خود نگاشت کنید.

هوش مصنوعی واقعاً در چه کاری مفید است

مدل می‌تواند هزینه گذر نخست را کم کند:

  • ماژول ناآشنا را خلاصه و call graph قابل تأیید بسازد؛
  • کنترل مجوز را میان تابع‌ها و قراردادهای مرتبط مقایسه کند؛
  • برای invariant اعلام‌شده سناریوی خصمانه پیشنهاد دهد؛
  • trace حادثه را با پیوند هر ادعا به تراکنش، log، خواندن storage یا خط کد توضیح دهد؛
  • هشدار و الگوی ضعف را خوشه‌بندی کند، بدون حذف یافته خام؛
  • آزمون واحد، invariant، fuzz و differential را پیشنهاد دهد تا ابزار قطعی اجرا کند؛
  • diff ارتقا، layout ذخیره، تغییر وابستگی و نقش ممتاز را برای بازبینی هدفمند نشان دهد.

این کاربرد وقتی قوی است که ورودی نسخه ثابت و خروجی فرضیه باشد. مدلی که تنظیم دقیق کامپایلر، bytecode مستقر، implementation پراکسی، وابستگی خارجی و وضعیت فعلی زنجیره را ندارد، ممکن است سیستم اشتباه را متقاعدکننده تحلیل کند.

SCSVS و SCSTG؛ مفید اما در حال بلوغ

استاندارد راستی‌آزمایی امنیت قرارداد هوشمند OWASP کنترل‌ها را در معماری، مدیریت کد، منطق اقتصادی، مجوز، ارتباط، رمزنگاری، حساب، منع خدمت، مدیریت وضعیت، محدودیت gas و جزء سازمان می‌دهد. این ساختار فهرست تهدید را به الزام قابل بازبینی نزدیک می‌کند.

برچسب بلوغ مهم است. تا ۳۰ ژوئیه ۲۰۲۶، سایت OWASP می‌گوید سطوح پیشین L1، L2 و L3 با عنوان «پروفایل آزمون SCS» بازطراحی می‌شوند و checklist موقتاً سطح قدیمی را نگه می‌دارد. راهنمای آزمون امنیت قرارداد هوشمند آزمون‌ها را Beta برچسب زده است. این پروژه‌ها مرجع جامعه و در حال تحول‌اند؛ نسخه بازبینی‌شده را ثبت کنید و به مشتری نگویید پروفایل گذار یا آزمون بتا امنیت را ثابت کرده است.

پشته تضمین چندلایه بسازید

هیچ تکنیکی همه مسئله را نمی‌پوشاند. معماری و مدل تهدید مکتوب با دارایی، بازیگر، مجوز، مرز اعتماد، فراخوانی خارجی، مسیر ارتقا، pause، فرض اوراکل، نگهداری کلید، حاکمیت و حالت شکست آغاز شود. قاعده کسب‌وکار به invariant صریح مانند حفظ دارایی، mint محدود، وثیقه، امکان برداشت، quorum، timelock یا تازگی قیمت تبدیل شود.

سپس روش قطعی را ترکیب کنید. راهنمای آزمون Ethereum رویکرد چندگانه را توصیه می‌کند، چون آزمون نمونه همه ورودی را نمی‌پوشاند. property-based، fuzz، تحلیل ایستا و پویا، fork، differential و بازبینی مستقل بیفزایید. برای invariant پرارزش، راهنمای راستی‌آزمایی رسمی را وقتی مشخصات و مدل هزینه را توجیه می‌کنند به کار ببرید. روش رسمی تطابق با مشخصات را ثابت می‌کند؛ مشخصات غلط یا ناقص هنوز اطمینان کاذب می‌سازد.

هوش مصنوعی می‌تواند خاصیت پیشنهاد کند، اما متخصص دامنه باید تشخیص دهد اقتصاد مورد نظر را بیان می‌کند. «overflow وجود ندارد» درباره ایمنی نرخ تبدیل، انگیزه liquidation یا آستانه حاکمیت چیزی نمی‌گوید.

محیط بازبینی هوش مصنوعی را امن کنید

محتوای repository، issue، comment، artifact تولیدی، metadata وابستگی و داده بلاکچین را ورودی نامطمئن بدانید. ممکن است دستور برای agent داشته باشند، نه واقعیت کد. داده را از دستور جدا، ابزار را محدود و فرمان و مقصد را allowlist کنید. کلید امضا، credential استقرار، یافته خصوصی حسابرسی یا RPC ممتاز تولید را وارد context عمومی مدل نکنید.

برای agent دارای نوشتن، branch جدا و محیط موقت بدهید. نصب وابستگی، تغییر کد، شبیه‌سازی با fork ممتاز، انتشار و استقرار باید تأیید شوند. مدل، prompt، فایل بازیابی، فراخوانی ابزار، diff، خروجی آزمون، تصویب و artifact ثبت شود. راهنمای امنیت مجوز ابزار این مرز فرمان را دقیق‌تر توضیح می‌دهد.

از بازبینی کد تا مدرک استقرار

بازبینی باید artifact دقیق را دنبال کند. نسخه کامپایلر و optimizer، commit وابستگی، image ساخت، پیکربندی زنجیره، script استقرار، آرگومان constructor، admin پراکسی، نشانی implementation و تراکنش initialization ثابت شود. bytecode را بازتولید و تطابق source منتشرشده با اجرا تأیید کنید. بازبینی main مدرک بسته مستقرنشده بعدی نیست.

manifest انتشار باید هر نشانی را به commit، خروجی کامپایلر، گزارش آزمون و تحلیل، یافته حل‌شده، ریسک پذیرفته، تصویب بازبین و روش rollback یا pause وصل کند. تغییر کد، تأیید، مصرف کلید و استقرار تفکیک وظیفه بخواهد. راهنمای agent مهندسی نرم‌افزار برای بازبینی‌پذیر ماندن تغییر تولیدی مرتبط است.

ریسک اقتصادی و حاکمیت

درستی قرارداد لازم است اما کافی نیست. پروتکل ممکن است دقیقاً طبق کد اجرا و باز هم شکست بخورد: اوراکل جابه‌جا شود، نقدینگی ناپدید شود، هم‌بستگی وثیقه جهش کند، رأی حاکمیت قرض گرفته شود، انگیزه griefing بدهد یا امضاکننده ممتاز نفوذ ببیند. جریان سرمایه، بودجه مهاجم، آبشار liquidation، front-running یا MEV، وابستگی bridge و رفتار اضطراری مدل‌سازی شود.

مدل می‌تواند از سند سناریو بسازد، اما شبیه‌سازی باید فرض صریح و کد قابل بازتولید داشته باشد. پارامتر ابداعی علامت بخورد، حساسیت سنجیده و کالیبراسیون تاریخی از روایت stress جدا شود. quorum، timelock، تفکیک نقش، پایش admin، چرخش کلید، رویه اضطراری آزموده و ارتباط شفاف ارتقا لازم است. برچسب «غیرمتمرکز» اختیار عملیاتی متمرکز را حذف نمی‌کند.

پایش اجرا و پاسخ حادثه

پس از استقرار، invariant را پایش کنید نه فقط signature شناخته‌شده. فراخوانی ممتاز، تغییر implementation، انتقال مالکیت، تازگی و واگرایی اوراکل، mint یا burn نامعمول، سلامت وثیقه، پیام bridge، حرکت نقدینگی، revert، برداشت شکست‌خورده و تمرکز دیده شود. هشدار به تراکنش decodeشده و state قرارداد وصل باشد تا پاسخ‌دهنده محرک را مستقل بازتولید کند.

گزینه پاسخ و حد آن از پیش مجاز شود: افزایش مشاهده، pause تابع محدود، چرخش نقش نفوذشده، سقف مواجهه یا اطلاع‌رسانی. agent هوش مصنوعی نباید با یک هشدار، پروتکل پرارزش را خودکار pause یا upgrade کند. اقدام حساس کنترل دوگانه و تمرین مثبت کاذب، گم‌شدن کلید، ازدحام زنجیره و تأخیر حاکمیت لازم دارد. راهنمای پاسخ حادثه هوش مصنوعی الگوی حفظ مدرک و بازیابی می‌دهد.

خود هوش مصنوعی را ارزیابی کنید

مجموعه ارزیابی از یافته حل‌شده، قرارداد امن، الگوی مبهم، زبان متعدد، معماری پراکسی، رفتار نامعمول توکن، بهره‌برداری اقتصادی و comment گمراه‌کننده ساخته شود. precision و recall یافته بر اساس شدت، ادعای بی‌سند، دقت مکان کد، اعتبار آزمون، تکرار، زمان بازبینی و abstain هنگام کمبود context را بسنجید.

از نشت benchmark و حفظ ساده جلوگیری کنید. رخدادها را زمانی جدا و گونه مصنوعی خصوصی بسازید. پس از تغییر مدل، prompt، retrieval، ابزار یا compiler همان موارد اجرا شود. prompt injection در repository و کد خصمانه برای منحرف کردن بازبین red-team شود. اطمینان کاذب جدا از مثبت کاذب پرصدا ثبت شود؛ از دست دادن آسیب بحرانی همراه اعلام اطمینان خطرناک‌تر است.

گردش‌کار تحویل عملی

با توضیح فقط‌خواندنی و پیشنهاد آزمون در repository غیرتولیدی شروع کنید. سپس اجازه draft change بدهید که خودش merge نمی‌کند. CI قطعی، خروجی ابزار امنیت و بازبینی دونفره برای ماژول بحرانی لازم باشد. در انتشار پرارزش، ارزیابی مستقل سفارش دهید و یافته را reconcile کنید؛ از مدل نخواهید اختلاف را با خلاصه‌سازی محو کند.

مانع انتشار پیش از مهلت تعریف شود: یافته بحرانی حل‌نشده، invariant شکست‌خورده، bytecode بازتولیدناپذیر، وابستگی یا storage بازبینی‌نشده، مراسم امضای ناقص، runbook حادثه ناقص یا خروجی بی‌توضیح هوش مصنوعی که پذیرش را توجیه کرده است. ریسک باقیمانده پذیرفته و محرک بازبینی هر تغییر مهم در decision log بماند.

محدودیت و توصیه حرفه‌ای

بازبینی هوش مصنوعی حسابرسی، اثبات رسمی، گواهی، نظر حقوقی یا تضمین جلوگیری از زیان نیست. فهرست آگاهی OWASP یا راهنمای آزمون بتا جای مدل تهدید مخصوص پروتکل را نمی‌گیرد. حتی روش رسمی فقط خاصیت بیان‌شده در مشخصات و مدل را ثابت می‌کند.

این مطلب اطلاعات عمومی مهندسی و حاکمیتی است، نه توصیه امنیتی، حقوقی، مالی، مالیاتی یا سرمایه‌گذاری. قرارداد هوشمند می‌تواند کاربر را در معرض زیان برگشت‌ناپذیر بگذارد. پیش از استقرار یا اتکا، متخصص پروتکل، بازبین امنیت مستقل، وکیل، متخصص ریسک اقتصادی و پاسخ‌دهنده عملیات لازم است.

نگاه ژرف ای‌آی

بهترین دستیار امنیت هوش مصنوعی، عدم قطعیت را قابل بازرسی می‌کند. هر ادعا را به کد یا مدرک زنجیره وصل می‌کند، آزمونی پیشنهاد می‌دهد که ابزار دیگر بازتولید کند، مرز ابزار و کلید را رعایت می‌کند و کمبود context را می‌فهمد. هدف حسابرس خودمختار نیست؛ فرایند تضمین قوی‌تری است که کشف احتمالاتی را به مدرک قطعی و قضاوت پاسخ‌گوی انسان وصل کند.

یادداشت منابع

منابع در ۳۰ ژوئیه ۲۰۲۶ بازبینی شدند:

#بلاکچین#قرارداد هوشمند#امنیت هوش مصنوعی#تحلیل ریسک

مطالب مرتبط

آماده شروع پروژه هوش مصنوعی خود هستید؟

با تیم ما تماس بگیرید و درباره نحوه کمک به کسب‌وکار خود صحبت کنید.

تماس با مامطالب بیشتر