Skip to main content

قرارداد هوشمند چیست

توجه: این سند ترجمه خودکار نسخه اصلی انگلیسی است.

قرارداد هوشمند چیست

قرارداد هوشمند برنامه‌ای است که روی بلاکچین ذخیره و اجرا می‌شود. پس از استقرار، هرگاه شرایطش برآورده شود خودکار اجرا می‌شود — توافق‌ها را اعمال می‌کند، دارایی‌ها را مدیریت می‌کند یا عملیات را هماهنگ می‌کند، بدون نیاز به واسطه‌ای انسانی برای اجرای هر گام. به‌رغم نامش، قرارداد هوشمند نه به معنای هوش مصنوعی «هوشمند» است و نه به معنای حقوقی «قرارداد». کدی قطعی است: با ورودی‌های یکسان همیشه خروجی‌های یکسان تولید می‌کند و دقیقاً از منطقی که توسعه‌دهنده‌اش نوشته پیروی می‌کند.

قرارداد هوشمند را مانند دستگاه فروش خودکار تصور کنید. سکه می‌اندازید، محصولی انتخاب می‌کنید و دستگاه تحویلش می‌دهد — بدون صندوق‌دار، بدون چانه‌زنی، بدون صلاحدید. دستگاه دقیقاً از قواعد برنامه‌ریزی‌شده‌اش پیروی می‌کند. قرارداد هوشمند همین کار را روی بلاکچین انجام می‌دهد: دارایی یا منطقی را نگه می‌دارد، ورودی‌ها (تراکنش‌ها) را دریافت می‌کند و عملیات از پیش تعریف‌شده را خودکار و شفاف اجرا می‌کند.

به‌طور خلاصه: قرارداد هوشمند کدی خوداجراست روی بلاکچین — قواعد را بدون واسطه اعمال می‌کند و در پروژه‌های کریپتو-AI منطق اقتصادی و حاکمیتی را بر عهده دارد، در حالی که محاسبات AI معمولاً offchain رخ می‌دهند.

قرارداد هوشمند چگونه کار می‌کند

نوشتن و استقرار

قرارداد هوشمند در آغاز کد منبعی است که به زبانی برنامه‌نویسی طراحی‌شده برای بلاکچینی مشخص نوشته می‌شود. رایج‌ترین زبان Solidity است که روی Ethereum و همهٔ زنجیره‌های سازگار با EVM به کار می‌رود (BNB Smart Chain، Arbitrum، Base، Polygon، Avalanche C-Chain). سولانا از Rust و چارچوب بومی‌اش استفاده می‌کند. زنجیره‌های دیگر زبان‌های خودشان را دارند: Move (Sui، Aptos)، Cairo (Starknet) و دیگران.

توسعه‌دهنده منطق را می‌نویسد — قرارداد چه می‌کند، چه داده‌ای ذخیره می‌کند، چه شرایطی کدام کنش‌ها را برمی‌انگیزد — سپس کد منبع را به بایت‌کد کامپایل می‌کند (دستورالعمل‌های سطح پایینی که ماشین مجازی بلاکچین می‌تواند اجرایشان کند). این بایت‌کد در تراکنش استقرار به بلاکچین ارسال می‌شود. پس از تأیید، قرارداد در نشانی مشخصی روی زنجیره وجود دارد و هر کسی می‌تواند با آن تعامل کند.

اجرا

وقتی کاربر یا قرارداد دیگری تابع قرارداد هوشمندی را فراخوانی می‌کند، این‌ها رخ می‌دهند:

  1. فراخواننده تراکنشی ارسال می‌کند که نشانی قرارداد، تابع موردنظر و پارامترهای ورودی را مشخص می‌کند.
  2. هر گرهٔ اعتبارسنج شبکه تابع را مستقلاً اجرا می‌کند و همان ورودی‌ها را از همان بایت‌کد می‌گذراند.
  3. نتیجه — هر تغییر وضعیت، انتقال توکن، رویداد صادرشده یا دادهٔ نوشته‌شده — در بلوکی ثبت و بخشی از دفتر کل دائمی می‌شود.
  4. فراخواننده بابت محاسبات کارمزد گس می‌پردازد. عملیات پیچیده‌تر گس بیشتری هزینه دارد.

این مدل اجرا ویژگی‌های مهمی دارد: قطعی است (هر گره همان نتیجه را می‌گیرد)، شفاف است (هر کسی می‌تواند بایت‌کد و تاریخچهٔ تراکنش‌ها را بررسی کند) و بدون نیاز به مجوز است (هر کسی می‌تواند تابعی عمومی را فراخوانی کند).

گس و هزینه

هر گام محاسباتی درون قرارداد هوشمند گس هزینه دارد — واحدی که میزان تلاش محاسباتی لازم را می‌سنجد. کارمزدهای گس دو هدف دارند: اعتبارسنج‌ها را بابت اجرای کد جبران می‌کنند و از سوءاستفاده جلوگیری می‌کنند (بدون کارمزد، مهاجمان می‌توانستند محاسبات بی‌نهایت پیچیده ارسال کنند تا شبکه را کند کنند).

هزینه‌های گس در شبکه‌های مختلف متفاوت‌اند. روی mainnet اتریوم، عملیات پیچیده در دوره‌های پرتقاضا می‌تواند ده‌ها یا صدها دلار هزینه داشته باشد. روی شبکه‌های L2 مانند Arbitrum یا Base، همان عملیات ممکن است چند سنت هزینه داشته باشد. روی Solana، کارمزد تراکنش معمولاً کسری از سنت است. این تفاوت‌های هزینه مستقیماً بر انتخاب محل استقرار اجزای on-chain پروژه‌های کریپتو-AI اثر می‌گذارند.

تغییرناپذیری و ارتقاپذیری

پس از استقرار، بایت‌کد قرارداد هوشمند برای همیشه روی بلاکچین ذخیره می‌شود. نمی‌توان آن را ویرایش، حذف یا بازنویسی کرد. این تغییرناپذیری ویژگی‌ای امنیتی است — کاربران می‌توانند دقیقاً بررسی کنند چه کدی اجرا خواهد شد و مطمئن باشند تغییر نمی‌کند — اما همچنین یعنی باگ‌های مستقرشده روی بلاکچین را نمی‌توان مانند نرم‌افزار سنتی وصله کرد.

برای رفع این مشکل، توسعه‌دهندگان الگوهای قرارداد ارتقاپذیر با قراردادهای پراکسی ساخته‌اند. در این طراحی، کاربران با قرارداد پراکسی‌ای تعامل می‌کنند که فراخوانی‌ها را به قرارداد پیاده‌سازی واگذار می‌کند. تیم می‌تواند پیاده‌سازی جدیدی مستقر کند و پراکسی را به آن اشاره دهد — و عملاً قرارداد را «ارتقا» دهد. این مشکل رفع باگ را حل می‌کند اما بده‌بستانی اعتمادی می‌آورد: هر کسی سازوکار ارتقای پراکسی را کنترل کند می‌تواند رفتار قرارداد را تغییر دهد. قراردادهای ارتقاپذیر ذاتاً بد نیستند، اما اعتماد را از «کد دائمی است» به «تیمی که دسترسی ارتقا دارد مسئولانه عمل خواهد کرد» جابه‌جا می‌کنند.

قراردادهای هوشمند چه می‌توانند و چه نمی‌توانند بکنند

می‌توانند:

  • توکن‌ها و دیگر دارایی‌های دیجیتال را نگه دارند و منتقل کنند
  • منطق شرطی را اعمال کنند (اگر X، آنگاه Y)
  • با قراردادهای هوشمند دیگر روی همان زنجیره تعامل کنند
  • رویدادهایی صادر کنند که سیستم‌های بیرونی می‌توانند پایششان کنند
  • کنترل دسترسی را مدیریت کنند (چه کسی می‌تواند کدام تابع را فراخوانی کند)

نمی‌توانند:

  • به داده‌های بیرون از بلاکچین دسترسی یابند (برای فیدهای دادهٔ بیرونی به اوراکل‌ها نیاز دارند)
  • عملیات محاسبه‌بری مانند استنتاج AI انجام دهند (هزینه‌های گس آن را ناممکن می‌کند)
  • خودمختار طبق زمان‌بندی اجرا شوند (برای اجرا به محرک‌های بیرونی — تراکنش‌ها — نیاز دارند)
  • فایل‌های بزرگ ذخیره کنند (ذخیره‌سازی on-chain گران است؛ پروژه‌ها برای دادهٔ حجیم از IPFS یا Arweave استفاده می‌کنند)
  • قضاوت‌های ذهنی کنند (منطق قطعی اجرا می‌کنند، نه استدلال)

این محدودیت آخر برای کریپتو-AI به‌ویژه مهم است. قرارداد هوشمند نمی‌تواند به معنای AI «فکر کند» یا «تصمیم بگیرد». می‌تواند مسیریابی، تسویه و اعمال قواعد را انجام دهد، اما محاسبات واقعی AI باید offchain رخ دهند و نتایج به قرارداد بازگردند.

چرا برای پروژه‌های کریپتو-AI اهمیت دارد

قراردادهای هوشمند بافت پیوندی میان زیرساخت بلاکچین و کارکرد AI در بیشتر پروژه‌های کریپتو-AI هستند. فهم نقش — و محدودیت‌هایشان — برای خواندن دقیق کارت‌های پروژه ضروری است.

لایهٔ اقتصادی

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

حاکمیت

قراردادهای هوشمند می‌توانند سازوکارهای حاکمیتی را پیاده کنند: ارسال پیشنهاد، رأی‌گیری، الزامات حد نصاب و اجرای تغییرات تصویب‌شده. برای پروژه‌های AI این می‌تواند به معنای حاکمیت بر پارامترهای مدل، گزینش دیتاست یا تخصیص منابع باشد — که به‌صورت شفاف on-chain انجام می‌شود، نه با تصمیم خصوصی تیم بنیان‌گذار.

نقاط بازرسی راستی‌آزمایی

برخی پروژه‌ها از قراردادهای هوشمند برای ذخیرهٔ داده‌های راستی‌آزمایی استفاده می‌کنند: هش‌های وزن‌های مدل، اثبات‌های نتایج استنتاج یا گواهی‌هایی مبنی بر انجام محاسبات مشخص. گرچه قرارداد هوشمند خودِ خروجی AI را راستی‌آزمایی نمی‌کند (ظرفیت محاسباتی‌اش را ندارد)، رکوردی تغییرناپذیر فراهم می‌کند که بعداً قابل حسابرسی است.

کنترل دسترسی و مجوزها

قراردادهای هوشمند مدیریت می‌کنند چه کسی به چه چیزی دسترسی دارد. یک API استنتاج AI ساخته‌شده روی بلاکچین ممکن است از قراردادی هوشمند استفاده کند تا بررسی کند فراخواننده توکن لازم را دارد، اعتبار کافی دارد یا شرایط دیگری را پیش از اجازهٔ دسترسی برآورده می‌کند. این کار سیستم‌های احراز هویت متمرکز را با کنترل دسترسی on-chain و شفاف جایگزین می‌کند.

تمایز «هوشمند نه به معنای AI»

منبعی پایدار برای سردرگمی: «قراردادهای هوشمند» هیچ ربطی به هوش مصنوعی ندارند. «هوشمند» در اینجا یعنی خوداجرا — قرارداد منطقش را خودکار اعمال می‌کند — نه اینکه استدلال می‌کند، یاد می‌گیرد یا سازگار می‌شود. سیستم AI از داده یاد می‌گیرد و پیش‌بینی می‌کند. قرارداد هوشمند از قواعد ثابت پیروی می‌کند و خروجی‌های قطعی تولید می‌کند. پروژه‌های کریپتو-AI معمولاً هر دو را ترکیب می‌کنند: قرارداد هوشمند منطق on-chain را اداره می‌کند (پرداخت‌ها، حاکمیت، کنترل دسترسی) و مدل AI هوش off-chain را (استنتاج، پیش‌بینی، تحلیل).

این مورد کجای کارت‌های پروژهٔ DecAIHub دیده می‌شود

قراردادهای هوشمند از طریق چند فیلد و نشانگر شواهد در کارت‌های پروژه دیده می‌شوند:

  • Main chain — می‌گوید قراردادهای هوشمند پروژه روی کدام بلاکچین مستقرند. پروژه‌ای روی Ethereum از قراردادهای مبتنی بر Solidity استفاده می‌کند؛ پروژه‌ای روی Solana از برنامه‌های مبتنی بر Rust. انتخاب زنجیره بر قابلیت‌های قرارداد، هزینه‌های گس و ترکیب‌پذیری با پروتکل‌های دیگر اثر می‌گذارد.
  • Token standard — مقادیری مانند ERC-20، BEP-20 و SPL به استانداردهای قرارداد هوشمندی اشاره دارند که رفتار توکن پروژه را تعریف می‌کنند. توکن ERC-20 قراردادی هوشمند روی Ethereum است که رابط مشخصی را پیاده می‌کند.
  • Type و Category — پروژه‌هایی که به قراردادهای هوشمند به‌عنوان جزء هسته‌ای on-chain تکیه دارند معمولاً Type: EVM یا non-EVM دارند (بسته به زنجیره) و Categoryای که نقششان را بازتاب می‌دهد (مثلاً DeFi، AI/Agents | DeFi). پروتکل DeFi در اساس مجموعه‌ای از قراردادهای هوشمند است که نقدینگی، معامله یا وام‌دهی را مدیریت می‌کنند.
  • شواهد (Tier-1) — نشانی‌های تأییدشدهٔ قراردادهای هوشمند، گزارش‌های حسابرسی و کد قرارداد مستقر روی کاوشگرهای بلوک از قوی‌ترین اشکال شواهد Tier-1 هستند. اگر پروژه‌ای ادعای کارکرد on-chain کند، نشانی‌های قراردادش باید قابل راستی‌آزمایی باشند.
  • Token model — مقادیری مانند fee-mechanism، governance، staking و utility توصیف می‌کنند توکن چگونه با قراردادهای هوشمند پروژه تعامل می‌کند. توکن حاکمیتی معمولاً حق رأی در سیستمی حاکمیتی مبتنی بر قرارداد هوشمند می‌دهد.

هنگام خواندن کارت پروژه بررسی کنید ادعاهای on-chain پروژه با قراردادهای واقعاً مستقر پشتیبانی می‌شوند یا نه. پروژه‌ای که ادعای حاکمیت مبتنی بر قرارداد هوشمند می‌کند اما هیچ نشانی قرارداد قابل تأییدی ندارد، دربارهٔ جوهرهٔ حضور on-chain خود پرسش برمی‌انگیزد.

قرارداد هوشمند به‌تنهایی چه چیزی را ثابت نمی‌کند

وجود قراردادهای هوشمند مستقر می‌گوید کدی روی بلاکچین زندگی می‌کند، اما این‌ها را ثابت نمی‌کند:

  • قابلیت AI — قرارداد هوشمند نمی‌تواند مدل AI اجرا کند. وجود قراردادهای خوش‌طراحی منطق اقتصادی یا حاکمیتی on-chain را ثابت می‌کند، نه AI reality را. AI reality از طریق مجموعهٔ جداگانه‌ای از شواهد (پرچم‌های AI_0 تا AI_4) سنجیده می‌شود.
  • امنیت — کد قرارداد هوشمند می‌تواند باگ، آسیب‌پذیری یا در پشتی داشته باشد. استقرار برابر امنیت نیست. قرارداد حسابرسی‌شده قابل اعتمادتر از حسابرسی‌نشده است، اما حتی قراردادهای حسابرسی‌شده هم مورد سوءاستفاده قرار گرفته‌اند. بررسی کنید قراردادهای پروژه را شرکت‌های معتبر حسابرسی کرده‌اند یا نه.
  • تمرکززدایی — قرارداد هوشمند مستقر روی بلاکچینی غیرمتمرکز امنیت اجماع شبکه را به ارث می‌برد، اما خودِ قرارداد ممکن است سازوکارهای کنترل متمرکز داشته باشد: کلیدهای ادمینی که می‌توانند قرارداد را متوقف یا ارتقا دهند، توابع مخصوص مالک یا وابستگی به اوراکل‌های متمرکز.
  • تغییرناپذیری — اگر پروژه از الگوهای پراکسی ارتقاپذیر استفاده کند، رفتار قرارداد را هر کسی کلیدهای ارتقا را دارد می‌تواند تغییر دهد. وقتی پراکسی در میان است، «on-chain» به‌طور خودکار به معنای «دائمی» نیست.
  • سود کاربر — قرارداد هوشمند می‌تواند از نظر فنی بی‌نقص و کاملاً بی‌فایده باشد. کیفیت کد و ارزش محصول پرسش‌های جداگانه‌ای‌اند.

اشتباه نگیرید با

  • مدل AI — مدل AI از داده یاد می‌گیرد، پیش‌بینی می‌کند و خروجی تولید می‌کند. قرارداد هوشمند منطق قطعی اجرا می‌کند. در پروژه‌های کریپتو-AI نقش‌هایی بنیاداً متفاوت دارند. مدل AI هوش است؛ قرارداد هوشمند سازوکار اجرا.
  • dApp (اپلیکیشن غیرمتمرکز) — dApp اپلیکیشنی رو به کاربر است که با قراردادهای هوشمند روی بلاکچین تعامل می‌کند. قرارداد هوشمند منطق پشتی است؛ dApp محصول کامل، که اغلب شامل فرانت‌اند، خدمات offchain و تعامل‌های قرارداد هوشمندی است.
  • API — یک API سنتی روی سروری متمرکز اجرا می‌شود و گرداننده‌اش می‌تواند تغییرش دهد، تعطیلش کند یا سانسورش کند. قرارداد هوشمند برای هر کسی روی بلاکچین در دسترس است، طبق قواعد تغییرناپذیر (مگر ارتقاپذیر باشد) کار می‌کند و هیچ طرف واحدی نمی‌تواند تعطیلش کند. برخی پروژه‌های کریپتو برای راحتی توسعه‌دهندگان قراردادهای هوشمندشان را از طریق رابط‌های استاندارد API عرضه می‌کنند.
  • قرارداد حقوقی — قرارداد حقوقی را دادگاه‌ها و نهادهای حقوقی اجرا می‌کنند. قرارداد هوشمند را کد و اجماع بلاکچین. سیستم‌هایی متفاوت با سازوکارهای اجرایی متفاوت‌اند. قرارداد هوشمند توافقی حقوقی به شمار نمی‌آید، مگر آنکه قانون حوزهٔ قضایی صراحتاً چنین به رسمیتش بشناسد.
  • اسکریپت — Bitcoin از زبان اسکریپت‌نویسی محدودی استفاده می‌کند که شرایط پایه (مانند الزامات مولتی‌سیگ) را ممکن می‌کند اما نه برنامه‌پذیری غنی قراردادهای هوشمند سبک Ethereum را. وقتی در بستر کریپتو-AI از «قرارداد هوشمند» حرف می‌زنند، تقریباً همیشه منظور قراردادهای سبک Ethereum با برنامه‌پذیری کامل است.

پرسش‌های متداول

آیا قراردادهای هوشمند قابل هک‌اند؟

بله. قراردادهای هوشمند نرم‌افزارند و نرم‌افزار می‌تواند باگ داشته باشد. دسته‌های رایج آسیب‌پذیری شامل حملات reentrancy، سرریز عدد صحیح، نقص‌های کنترل دسترسی و دست‌کاری اوراکل‌اند. پس از استقرار، کد معیوب برای همیشه on-chain است و می‌تواند مورد سوءاستفاده قرار گیرد. به همین دلیل حسابرسی‌های امنیتی مهم‌اند و DecAIHub وضعیت حسابرسی را بخشی از ارزیابی پروژه رهگیری می‌کند. همان تغییرناپذیری‌ای که قراردادهای هوشمند را قابل اعتماد می‌کند، یعنی باگ‌های مستقر را نمی‌توان وصله کرد، مگر پروژه از الگوهای ارتقاپذیر استفاده کند.

آیا قراردادهای هوشمند واقعاً تغییرناپذیرند؟

قراردادهای هوشمند استاندارد پس از استقرار تغییرناپذیرند — بایت‌کد در نشانی قرارداد قابل تغییر نیست. اما بسیاری از پروژه‌های مدرن از الگوهای پراکسی ارتقاپذیر استفاده می‌کنند که تعویض منطق پیاده‌سازی را ممکن می‌کنند. در این موارد، نشانی پراکسی همان می‌ماند اما رفتار زیرین می‌تواند تغییر کند. اینکه قراردادی ارتقاپذیر است و چه کسی سازوکار ارتقا را کنترل می‌کند، عاملی مهم در ارزیابی تمرکززدایی و مدل اعتماد پروژه است.

آیا قراردادهای هوشمند روی هر بلاکچینی به گس نیاز دارند؟

بیشتر بلاکچین‌ها نوعی کارمزد اجرا دریافت می‌کنند، هرچند اصطلاح‌ها و قیمت‌گذاری متفاوت‌اند. Ethereum آن را «گس» می‌نامد. Solana «واحدهای محاسباتی» و «اجاره» دریافت می‌کند. مفهوم جهانی است: اعتبارسنج‌ها باید بابت اجرای کد جبران شوند و کارمزدها از اسپم جلوگیری می‌کنند. سطح هزینه تفاوت عظیمی دارد — از چند دلار به‌ازای هر تراکنش روی L1 اتریوم در اوج تقاضا تا کسری از سنت روی شبکه‌های L2 و Solana.

آیا می‌توان مدل AI را درون قرارداد هوشمند ذخیره کرد؟

ذخیرهٔ کامل وزن‌های یک مدل AI مدرن درون قرارداد هوشمند عملی نیست. مدل زبانی بزرگ می‌تواند میلیاردها پارامتر داشته باشد که گیگابایت‌ها فضا اشغال می‌کنند. هزینهٔ ذخیره‌سازی on-chain روی Ethereum تقریباً ۲۰٬۰۰۰ گس به‌ازای هر اسلات ۳۲ بایتی است، که ذخیرهٔ وزن‌های مدل روی زنجیره را به‌طور بازدارنده گران می‌کند. در عمل، پروژه‌ها هش‌های مدل یا اشاره‌گرها (مانند شناسه‌های محتوایی IPFS) را برای راستی‌آزمایی onchain ذخیره می‌کنند و فایل‌های واقعی مدل offchain می‌مانند.

نقش قراردادهای هوشمند در پروژه‌های کریپتو-AI چیست؟

در بیشتر معماری‌های کریپتو-AI، قراردادهای هوشمند لایهٔ هماهنگی و اقتصادی را بر عهده دارند: مدیریت پرداخت‌های بازار رایانش، توزیع پاداش به مشارکت‌کنندگان داده، اعمال قواعد استیکینگ و اسلشینگ، کنترل دسترسی به خدمات AI و حاکمیت بر پارامترهای پروتکل. خودِ محاسبات AI به‌صورت offchain رخ می‌دهند و قراردادهای هوشمند نقش لایهٔ تسویه و راستی‌آزمایی کمینه‌اعتماد را دارند.

چگونه قراردادهای هوشمند یک پروژه را راستی‌آزمایی کنم؟

نشانی‌های قرارداد را روی کاوشگر بلوک بجویید (مانند Etherscan برای Ethereum، Solscan برای Solana یا کاوشگر مربوط برای زنجیره‌های دیگر). قراردادهای تأییدشده کد منبعشان را مستقیماً روی کاوشگر نشان می‌دهند و به هر کسی امکان می‌دهند منطق واقعی را بخواند. بررسی کنید کد با مستندات پروژه مطابقت دارد، قرارداد حسابرسی شده و گزارش حسابرسی در دسترس عموم است یا نه. در کارت‌های پروژهٔ DecAIHub، نشانی‌های قراردادهای مستقر و گزارش‌های حسابرسی به‌عنوان شواهد Tier-1 رهگیری می‌شوند.

منابع خارجی

همچنین ببینید

No comments to display

Back to top