Muitas soluções crosschain transferem as partes difíceis para relayers ou timeouts 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). Assim, a execução só acontece uma vez que a cadeia de destino verifica que o estado da cadeia de origem é válido.