EIP-8288 یک پیشنهاد برای تجمیع بازگشتی تحت یک کلید تأیید پروتکل ثابت ارائه می‌دهد. در این پیشنهاد، یکی از گزینه‌های بررسی این است که آیا مراحل بازگشتی باید از اندازه‌های مختلف اثبات پشتیبانی کنند تا تجمیع‌های کوچک‌تر بتوانند از رابطه اثباتی کوچک‌تری استفاده کنند. این نوع بازگشت ناهمگن در Parano1d پیاده‌سازی شده است، جایی که اثبات‌های انتقال حالت بازگشتی کوچک و بزرگ در یک شبکه اصلی عمومی اجرا می‌شوند.
این ساختار از یک بانک احراز هویت شده از کلاس‌های تأییدکننده استفاده می‌کند. هر کلاس تأییدکننده یک رابطه، ماتریس محدودیت، پارامترهای تعهد چندجمله‌ای و چیدمان رونوشت را ثابت می‌کند. کلاس‌ها یک چیدمان عمومی انباشتگر را به اشتراک می‌گذارند، در حالی که ابعاد شاهد، ماتریس‌ها و هندسه تعهدات آن‌ها می‌تواند متفاوت باشد. کلاس‌های مجاز و چکیده بانک مرتب آن‌ها پارامترهای عمومی احراز هویت شده هستند.
یکی از بخش‌هایی که نیاز به دقت دارد، تأیید به تعویق افتاده است. بازپخش یک اثبات والد یک ادعای ارزیابی ماتریس جدید ایجاد می‌کند که باید از طریق مراحل بازگشتی بعدی، از جمله مراحلی که از کلاس دیگری استفاده می‌کنند، حساب شود. بانک دارای یک مسیر انباشتگر برای هر کلاس است.
این مکانیزم در یک سیستم اثبات شفاف بر روی میدان‌های برج دوتایی پیاده‌سازی شده است و شامل بررسی نهایی تمام تعهدات ماتریس انباشته شده است. برای جزئیات بیشتر به منبع اصلی مراجعه کنید.
