Molte soluzioni crosschain delegano le parti difficili a relayer o timeout ottimistici. @Agglayer gestisce la verifica onchain, con prove zk e logica di prova pessimistica (nessuna catena può ritirare più di quanto ha depositato). Quindi l'esecuzione avviene solo una volta che la catena di destinazione verifica che lo stato della catena sorgente sia valido.