هذا هو المستقبل. سريرام يشرح لماذا تعتبر الحوسبة القابلة للتحقق هي المحرك. الخطوة التالية هي دمج هذه الإجراءات القابلة للتحقق فيما نسميه إثبات الوكالة (وهو مسار تدقيق كامل على السلسلة من النية إلى التسوية) هكذا تنتقل من إجراء يمكن التحقق منه إلى وكيل موثوق.