مدل پیشگوی تصادفی

استفاده از یک تابع ریاضی برای اثبات درستی کارکرد یک قرارداد که در اختیار تمام کاربران، اعم از عادی و مهاجم، قرار می‌گیرد و به‌صورت تصادفی به هر ورودی مقدار خروجی صحیحی را نسبت می‌دهد