في عالم البلوكتشين، واحدة من أكبر التحديات هي توليد الإثبات ( proof generation ). كل معاملة وكل إجراء داخل السلسلة يحتاج إلى إثبات أنه صحيح وفعّال. ومع ذلك، فإن هذه العملية تستهلك كميات هائلة من الموارد الحاسوبية، مما يؤدي إلى تباطؤ النظام وارتفاع التكاليف.