Firmy Succinct Labs i Polygon Labs połączyły siły, aby stworzyć nowy typ dowodu o wiedzy zerowej, zwany dowodem pesymistycznym. Ta innowacja, opracowana przy użyciu dodatku SP1, wirtualnej maszyny o wiedzy zerowej (zkVM) stworzonej przez Succinct Labs, zagwarantuje, że żaden pojedynczy łańcuch nie będzie mógł naruszyć depozytów innych w sieci AggLayer. Dowód pesymistyczny gwarantuje bezpieczeństwo międzyłańcuchowe, zapewniając, że każdy łańcuch generuje swój nowy stan zgodnie z prawdą. Zapewnia również, że żaden łańcuch nie może wypłacić więcej tokenów niż zdeponowanych. Oczekuje się, że rozwój ten doprowadzi do skrócenia czasu rozwoju wiedzy zerowej.