come si garantisce la sicurezza tra le catene collegate ad AggLayer?

introducendo la prova pessimistica, una nuova prova a conoscenza zero sufficientemente flessibile da supportare sia catene zk che non zk

perché pessimista? perché tratta ogni catena con sospetto 🧵