A verificação otimista do Synapse é inspirada no protocolo Optics da Celo.
Os modelos de segurança da maioria das pontes podem ser caracterizados de três formas: Verificado localmente — apenas as partes envolvidas em uma determinada interação entre cadeias verificam as transações; Verificado nativamente — todos os validadores das duas blockchains envolvidas em uma transação verificam a mensagem; Verificado externamente — um conjunto de validadores externos é usado para verificar transações entre cadeias
Mesmo com esses três arquétipos principais para verificação de cadeia cruzada, a maioria das pontes hoje ainda opera efetivamente como esquemas básicos de consenso multi-sig para criar uma experiência de usuário mais rápida. Embora esses sistemas sejam úteis para fins rápidos, essa velocidade tem um custo, expondo os usuários a ameaças de segurança. Conforme defendido no Trilema da Interoperabilidade, certas perdas são inerentes à comunicação entre cadeias. A troca de segurança por velocidade resultou em uma infinidade de hacks em pontes, totalizando mais de US$ 500 milhões em fundos perdidos.
A verificação utilizando os optimistic rollups atua considerando as transações como honestas por padrão com uma rede de atores fora da cadeia responsáveis por enviar provas de fraude durante uma janela otimista para impedir qualquer transação fraudulenta. Esse mecanismo adiciona uma camada significativa de segurança à rede, tornando muito mais caro para um malfeitor conduzir um ataque em comparação com o mecanismo M de N existente. As redes verificadas externamente dependem de uma suposição de maioria honesta, enquanto a verificação otimista depende de uma única suposição de verificador honesto. A verificação otimista só precisa de um guarda honesto para se comportar honestamente para que o sistema permaneça seguro. Em vez de um mau ator precisar cooptar um número M de validadores, esse ator precisaria cooptar todos os N atores, e o custo para atacar a rede torna-se ilimitado à medida que o número de N observadores de fraude aumenta. Naturalmente, a segurança adicional requer uma perda - aqui, latência.
Existem quatro agentes off-chain responsáveis pela segurança do mecanismo de verificação otimista do Synapse: Notary — responsável por assinar merkle root em cada cadeia suportada e vincular SYN por trás dos atestados; Broadcaster — responsável por encaminhar atualizações de contratos domésticos para réplicas de contratos; Guard — responsável por observar mensagens cross-chain e enviar provas de fraude ao detectar atualizações de estado maliciosas; Executor — responsável por lançar a transação final assim que a janela de latência for concluída