Muitas soluções de crosschain adiam as partes difíceis para retransmissores ou tempos limite otimistas. @Agglayer lida com a verificação onchain, com provas zk e lógica de prova pessimista (nenhuma cadeia pode retirar mais do que depositou). Portanto, a execução só acontece quando a cadeia de destino verifica se o estado da cadeia de origem é válido.