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