تؤجل الكثير من الحلول المتقاطعة الأجزاء الصلبة إلى إعادة الطبقات أو المهلات المتفائلة. يتعامل @Agglayer مع التحقق على السلسلة ، مع براهين ZK ومنطق إثبات التشاؤم (لا يمكن لأي سلسلة سحب أكثر مما أودعته). لذلك لا يحدث التنفيذ إلا عندما تتحقق سلسلة الوجهة من صحة حالة السلسلة المصدر.