Axient: Canonical Protocol-Graph Composition for Leveraged Event Markets: Single State Authority, Atomic Composition, Durable Sagas, and Exactly-Once Recovery

No mundo das finanças digitais, um novo tipo de mercado surgiu, onde as pessoas podem apostar no resultado de eventos futuros, desde pontuações esportivas até resultados eleitorais, usando dinheiro emprestado para amplificar seus ganhos potenciais. Isso é conhecido como um mercado de eventos alavancados. Imagine um trader que deseja apostar em um resultado específico, mas não possui dinheiro suficiente para cobrir o risco total. Ele fornece uma pequena quantia de seu próprio dinheiro como depósito, e um credor fornece o restante. Se a aposta vencer, o trader fica com o lucro; se perder, o credor assume o prejuízo. O sistema deve ser incrivelmente preciso porque envolve dinheiro real, regras complexas sobre quem recebe quando, e a necessidade de lidar com milhares dessas apostas acontecendo ao mesmo tempo sem que ninguém perca seus fundos devido a um erro de computador. O desafio central ao construir tal sistema é garantir que cada peça do quebra-cabeça financeiro concorde com a verdade. Se a parte do software que rastreia dívidas diz uma coisa, mas a parte que gerencia as posições de apostas diz outra, todo o sistema poderia colapsar, deixando investidores com fundos perdidos e sem possibilidade de recuperação.

Um pesquisador desenvolveu um novo modelo para construir esses mercados digitais, projetado para eliminar a confusão que surge quando diferentes partes de um programa de computador discordam. Seu trabalho foca em um conceito que ele chama de "fonte única de verdade". Em muitos sistemas computacionais complexos, diferentes módulos ou programas podem manter suas próprias listas separadas de quem deve o quê, esperando que essas listas eventualmente coincidam. O pesquisador argumenta que essa abordagem é perigosa. Em vez disso, ele propõe um sistema onde cada tipo específico de informação financeira — como o valor da dívida, o status de uma aposta ou o dinheiro mantido em reserva — é armazenado em exatamente um lugar, pertencente a um contrato digital específico. Nenhuma outra parte do sistema tem permissão para manter uma cópia desses dados ou tomar decisões baseadas em sua própria versão da verdade. Isso garante que, quando uma transação ocorre, ela seja registrada em um local definitivo, e todas as outras partes do sistema devam consultar esse mesmo local para ver o que aconteceu.

O pesquisador testou essa ideia construindo um modelo completo e funcional de um mercado de eventos alavancados e o submeteu a uma série de doze cenários específicos para ver se ele resistiria à pressão. Ele queria provar que seu design poderia lidar com tudo, desde a abertura de uma nova aposta até o pagamento de prêmios, e até mesmo a recuperação de uma falha no sistema, sem nunca criar um registro duplicado de um evento financeiro. Em seus testes, ele simulou uma situação em que um processo de trabalho, que lida com o trabalho pesado de movimentação de dinheiro, parou de funcionar repentinamente e reiniciou. Em um sistema menos seguro, esse reinício poderia fazer com que o trabalhador acidentalmente pagasse a mesma dívida duas vezes, pensando que a primeira tentativa falhou. No entanto, no sistema do pesquisador, o trabalhador verificou o registro oficial único antes de agir. Ele viu que a dívida já havia sido liquidada e simplesmente não fez nada, garantindo que o dinheiro fosse movido exatamente uma vez, nem mais, nem menos.

Para fazer isso funcionar, o pesquisador criou um conjunto de regras estritas que governam como as diferentes partes do sistema conversam entre si. Ele projetou uma "cascata de perdas" (loss waterfall), que é uma ordem específica na qual o dinheiro é retirado de diferentes fundos para cobrir uma aposta ruim. Primeiro, o dinheiro da aposta específica é usado; se isso não for suficiente, o sistema passa para um fundo de reserva; se ainda assim não for suficiente, ele retira de um grupo de credores juniores; e, finalmente, retira de credores seniores. Essa ordem é codificada no sistema para que não possa ser alterada ou contornada. Ele também construiu um mecanismo para pausar todo o sistema instantaneamente se algo der errado, mas com um recurso de segurança que impede que a pausa seja levantada rápido demais. Apenas um processo temporizado e pré-aprovado pode reiniciar o sistema, garantindo que uma reação de pânico não leve a um reinício apressado e perigoso.

O pesquisador também focou na ideia de "prova" em um sentido digital. Ele criou um log detalhado, ou diário, que registra cada passo que o sistema dá, desde o momento em que um usuário clica em um botão até a atualização final do saldo da conta. Este log não é apenas um backup; é a base para reconstruir a memória do sistema caso ela seja corrompida. Se o sistema falhar, um novo processo pode ler este log e reconstruir o estado exato do mercado sem precisar confiar em qualquer outro computador ou serviço. Isso é crucial porque significa que o sistema não depende de uma autoridade central para dizer o que aconteceu; a evidência está no log, e qualquer pessoa pode verificá-la. O pesquisador rodou seu modelo através de doze testes diferentes, incluindo cenários onde uma aposta foi parcialmente liquidada, onde surgiu um conflito entre duas evidências e onde um usuário tentou sacar dinheiro enquanto uma perda ainda estava sendo calculada. Em todos os casos, o sistema se comportou exatamente como as regras ditavam, recusando-se a mover dinheiro a menos que todas as condições fossem atendidas e os registros oficiais fossem atualizados.

Um dos pontos mais importantes foi que o sistema conseguiu lidar com processos complexos de múltiplas etapas sem travar ou cometer erros. Por exemplo, quando uma aposta é liquidada, o sistema deve primeiro confirmar o resultado, depois reduzir a dívida e só então liberar qualquer dinheiro restante ao trader. Se o sistema tentasse realizar essas etapas separadamente, poderia liberar o dinheiro antes que a dívida fosse quitada. O design do pesquisador força essas etapas a acontecerem como uma unidade única e inquebrável. Se qualquer parte do processo falhar, toda a unidade é cancelada e nenhum dinheiro é movido. Isso evita que o sistema entre em um estado onde deve dinheiro que não possui ou que tenha pago dinheiro que não deveria. Eles também mostraram que o sistema consegue detectar quando um usuário tenta usar informações desatualizadas, como uma aposta que não é mais válida, e a rejeita imediatamente sem afetar o resto do mercado.

O pesquisador teve o cuidado de notar que seu trabalho era uma simulação, um teste controlado da arquitetura em si, e não um produto financeiro real rodando em uma rede pública. Ele não testou o sistema com dinheiro real ou eventos do mundo real, mas sim com um conjunto cuidadosamente construído de regras e dados para ver se a lógica se sustentava. Os resultados mostraram que o design evitou com sucesso a criação de registros financeiros duplicados e manteve uma visão única e consistente do estado do mercado em todos os seus componentes. Eles descobriram que, ao limitar estritamente quem poderia alterar o quê, e ao garantir que cada mudança fosse registrada de uma forma que pudesse ser verificada de forma independente, eles poderiam construir um sistema que fosse robusto contra erros e capaz de se recuperar de falhas sem perder dados.

O estudo também destacou a importância de um "manifesto", que é um documento digital que lista cada parte do sistema, seu endereço e suas regras. Este manifesto atua como um contrato entre as diferentes partes do software, garantindo que todas estejam trabalhando com a mesma versão do código e o mesmo conjunto de regras. Se uma parte do sistema tentar usar um endereço ou uma regra diferente, o sistema a rejeita imediatamente. Isso evita que hackers ou erros acidentais introduzam um pedaço de código malicioso que possa roubar fundos ou alterar o resultado de uma aposta. O pesquisador demonstrou que essa abordagem poderia ser usada para criar um sistema onde as regras são transparentes e os resultados são previsíveis, mesmo em um ambiente complexo com muitos atores diferentes.

Em última análise, o artigo apresenta uma nova maneira de pensar sobre como construir sistemas financeiros na internet. Em vez de tentar fazer com que cada parte do sistema seja perfeita e independente, o pesquisador focou em tornar as conexões entre as partes rígidas e inequívocas. Ao garantir que exista apenas um lugar onde a verdade reside, e ao garantir que cada ação seja registrada e verificável, ele criou um sistema que é difícil de quebrar e fácil de confiar. O trabalho não resolve todos os problemas do setor financeiro digital, como o que acontece se a fonte dos dados do evento estiver errada, mas resolve o problema de como gerenciar o dinheiro uma vez que os dados são conhecidos. Ele mostra que, com o design correto, é possível criar um mercado digital que seja tão confiável e justo quanto um banco tradicional, mas com a velocidade e transparência de um programa de computador. O pesquisador forneceu um modelo para um sistema que pode lidar com a complexidade das finanças modernas sem se perder, oferecendo um caminho a seguir para a construção de economias digitais mais seguras e confiáveis.