💻 computer science

RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups

O artigo apresenta o RegGuard, um quadro unificado que integra validadores semânticos, sincronização de estado entre camadas e um serviço de ordenação justa para garantir legitimidade e equidade em rollups otimistas, reduzindo falhas de liquidação em mais de 90% enquanto mantém 85% da capacidade de processamento original.

Autores originais: Zhenhang Shang, Yingzhe Yu, Kani Chen

Publicado 2026-04-07

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Zhenhang Shang, Yingzhe Yu, Kani Chen

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que o mundo das criptomoedas e dos contratos inteligentes é como uma grande cidade digital onde as pessoas fazem negócios, trocam dinheiro e assinam contratos automaticamente.

Nessa cidade, existe um sistema muito rápido chamado "Optimistic Rollup" (ou "Rolo Otimista"). Pense nele como um expresso de trem de alta velocidade. Ele leva milhares de passageiros (transações) de um ponto A a um ponto B muito rápido, sem parar em cada estação para verificar tudo. A ideia é: "Vamos confiar que os passageiros estão seguindo as regras e só verificamos se alguém fez algo errado quando chegarmos no destino final".

O problema? Em finanças reais (como bancos ou fundos de investimento), você não pode apenas confiar. Você precisa de KYC (saber quem é o cliente), limites de gastos e regras de justiça. Se o trem deixar entrar um passageiro que não tem passaporte ou se o maquinista do trem mudar a ordem dos passageiros para ganhar dinheiro extra, o sistema falha.

É aqui que entra o RegGuard.

O que é o RegGuard?

O RegGuard é como um sistema de segurança inteligente e justo que foi instalado dentro desse trem de alta velocidade. Ele não para o trem, mas garante que três coisas importantes aconteçam antes de qualquer um subir a bordo ou sair dele:

1. O "Detetive de Regras" (Validador Semântico)

O Problema: O trem atual só verifica se o bilhete está assinado (sintaxe). Ele não verifica se o passageiro tem direito de entrar naquele vagão específico.
A Solução do RegGuard: Imagine um detetive chamado RegSpec. Antes de o trem sair, esse detetive lê a "lei" (as regras do negócio) e pergunta: "Este passageiro tem permissão para entrar? Ele já tem muitas ações dessa empresa? Ele está em uma lista negra?".
A Analogia: É como um porteiro em um clube exclusivo que não só olha o ingresso, mas verifica se você está na lista de convidados, se não está bêbado e se não excedeu o limite de bebidas. Se você não cumprir as regras, você é barrado antes de entrar no trem, economizando tempo e dinheiro.

2. O "Checador de Realidade" (Validador de Sincronização)

O Problema: O trem (L2) às vezes toma decisões baseadas em informações que são um pouco velhas. Imagine que o trem acha que o preço do ouro é $100, mas no mundo real (L1) o preço já subiu para $150. Se o trem fizer um negócio baseado no preço velho, ele vai quebrar quando chegar no destino.
A Solução do RegGuard: O RegGuard tem um espelho mágico que se atualiza quase instantaneamente com o mundo real. Antes de o trem partir, ele olha no espelho e pergunta: "Ainda faz sentido fazer essa viagem com as informações que temos?".
A Analogia: É como um piloto de avião que verifica o radar de última hora antes de decolar. Se o radar mostra uma tempestade que o piloto não sabia (uma mudança no mundo real), o avião espera ou cancela o voo para não cair. Isso evita que o trem "quebre" quando chegar na estação final.

3. O "Juiz Justo" (Ordenação Justa)

O Problema: O maquinista do trem (o "Sequenciador") pode ser ganancioso. Ele pode olhar quem está pagando mais para passar na frente, ou mudar a ordem dos passageiros para lucrar mais (isso é chamado de MEV). Isso é injusto para quem chegou primeiro.
A Solução do RegGuard: O RegGuard usa uma caixa forte criptográfica.
1. Os passageiros colocam seus bilhetes dentro de uma caixa trancada (criptografia).
2. O maquinista só pode ver a hora em que cada caixa chegou, mas não sabe o que tem dentro.
3. Ele organiza as caixas pela ordem de chegada e coloca um lacre de segurança.
4. Só depois que a ordem está trancada e registrada, a caixa é aberta.
A Analogia: É como um sorteio de loteria onde os números são sorteados em uma urna trancada. Ninguém pode mudar a ordem dos bilhetes para favorecer um amigo, porque a urna está trancada e só abre no momento certo, com várias testemunhas.

Por que isso é importante?

Antes do RegGuard, tentar usar blockchains para coisas sérias (como fundos imobiliários ou bancos) era arriscado. Era como tentar dirigir um carro de Fórmula 1 sem freios e sem cinto de segurança, apenas confiando que o motorista não vai bater.

O RegGuard coloca os freios, o cinto e o GPS nesse carro de corrida.

Resultado: O trem continua sendo muito rápido (mantém 85% da velocidade original), mas agora é seguro, justo e cumpre as leis.
Estatísticas: O sistema reduziu falhas em mais de 90% e impediu que pessoas mal-intencionadas manipulassem a ordem das transações.

Resumo em uma frase

O RegGuard é o "guarda-costas e juiz" que permite que trens de alta velocidade (blockchains rápidas) transportem passageiros valiosos (dinheiro e ativos regulados) com segurança, garantindo que todos sigam as regras, que a informação esteja atualizada e que ninguém pule na fila.

Resumo Técnico: RegGuard

1. O Problema

Os Optimistic Rollups (ORUs) são soluções de escalabilidade líderes para redes blockchain, oferecendo alta taxa de transferência de execução de contratos inteligentes. No entanto, eles são inadequados para aplicações financeiras regulamentadas (como fundos tokenizados, títulos digitais e ativos do mundo real - RWA) devido a três lacunas fundamentais:

Falta de Verificação Semântica de Legitimidade: Os ORUs atuais validam apenas a sintaxe (assinaturas e formatos básicos). Eles não verificam regras de negócios ou restrições regulatórias (ex: limites de concentração de ativos, conformidade KYC/AML), permitindo que transações sintaticamente válidas, mas ilicitamente comerciais, sejam executadas.
Vulnerabilidade à Divergência de Estado L1-L2: Como os ORUs operam de forma otimista, podem executar transações baseadas em dados da Camada 1 (L1) desatualizados. Se o estado da L1 mudar antes da liquidação, isso pode causar falhas de liquidação e inconsistências de estado.
Susceptibilidade a Reordenação por MEV: Os sequenciadores podem reordenar transações para extrair Valor Extraível Máximo (MEV), violando princípios de execução justa e padrões regulatórios.

2. Metodologia e Arquitetura

O RegGuard é um framework unificado projetado para preencher essas lacunas, integrando três mecanismos coordenados no pipeline de sequenciamento do rollup:

A. Validador Semântico Decidível (RegSpec):
- Utiliza uma linguagem específica de domínio (RegSpec) para codificar restrições regulatórias e de negócios como predicados formais sobre parâmetros de transação e estado.
- O validador executa essas regras antes da execução da transação.
- Garantia: O RegSpec é restrito a um fragmento decidível da lógica de primeira ordem (aritmética linear e acesso a mapas finitos), garantindo que a validação sempre termine e tenha complexidade computacional previsível ( $O(|R_f| \cdot L)$ ).
B. Validador de Pré-Sincronização de Estado:
- Mitiga conflitos entre camadas ao manter um cache de estado L1 de alta frescura (atualizado via assinaturas de blocos).
- Executa as transações propostas em um ambiente "sandbox" usando o estado atual da L2 e o cache da L1.
- Rastreia dependências de leitura da L1 e compara os valores previstos com o estado confirmado da L1.
- Decisão: Se houver discrepâncias críticas, a transação é rejeitada ou adiada, prevenindo falhas de liquidação. O modelo fornece limites probabilísticos de confiabilidade ( $P_{fail} \le \epsilon + \eta$ ).
C. Serviço de Ordenação Justa Verificável:
- Implementa um protocolo de ordenação baseado em criptografia de limiar (threshold encryption) e compromissos vinculativos (binding commitments).
- Os usuários submetem transações criptografadas. O comitê de sequenciadores ordena-as apenas com base em metadados de tempo de chegada (sem ver o conteúdo).
- Após a ordenação, um compromisso (hash) é publicado na cadeia. Somente depois disso, o comitê realiza a decifração por limiar para revelar as transações na ordem comprometida.
- Garantia: Alcança ordenação $(\alpha, \beta)$ -justa, onde $\beta$ (probabilidade de violação) é desprezível sob suposições criptográficas padrão e maioria honesta no comitê.

3. Contribuições Principais

Modelo Formal de Legitimidade: Define formalmente a legitimidade de transações em três dimensões: sintática, semântica e consistência entre camadas.
Framework RegGuard: Apresenta uma arquitetura que integra validação semântica, consistência de estado e ordenação justa, oferecendo garantias prováveis de decidibilidade e justiça criptográfica.
Implementação e Avaliação: Desenvolveu um protótipo de 15.000 linhas de código (Rust) integrado ao Optimism Bedrock. O sistema demonstra que garantias fortes de legitimidade podem coexistir com a escalabilidade dos rollups.

4. Resultados Experimentais

O protótipo foi testado em um testbed distribuído (AWS) simulando aplicações financeiras regulamentadas:

Redução de Falhas de Liquidação: O validador de pré-sincronização reduziu as falhas de liquidação em mais de 90% (de uma taxa base de 8-15% para 0,2-1,8%).
Justiça na Ordenação: O serviço de ordenação manteve uma probabilidade de violação de justiça ( $\beta$ ) abaixo de $10^{-6}$ com maioria honesta e abaixo de $10^{-4}$ mesmo com até 49% de sequenciadores maliciosos.
Desempenho e Overhead:
- O sistema sustentou uma taxa de transferência de ~8.500 TPS (aproximadamente 85% da taxa de base sem o RegGuard).
- A latência do pipeline aumentou em 180–400 ms (distribuída entre validação semântica, verificação de estado e ordenação).
- O uso de CPU aumentou em 20-35% e a memória em 300-800 MB, valores considerados aceitáveis para aplicações institucionais.
Validação Semântica: Mesmo com regras complexas (até 20 predicados), a latência de validação permaneceu baixa (12-15 ms), demonstrando escalabilidade linear.

5. Significado e Conclusão

O RegGuard demonstra que é possível integrar garantias rigorosas de conformidade regulatória em arquiteturas de rollups otimistas sem sacrificar a descentralização ou o desempenho crítico.

Impacto Prático: Permite que instituições financeiras utilizem infraestrutura blockchain pública para cargas de trabalho regulamentadas, resolvendo o problema de "legitimidade" que anteriormente limitava o uso de rollups em finanças tradicionais.
Inovação: Diferencia-se de soluções anteriores ao atuar na camada de sequenciamento (antes da execução), evitando o custo de gás da L1 para validações complexas e prevenindo falhas antes que ocorram, em vez de apenas detectá-las após o fato.
Futuro: O trabalho sugere extensões para lógica temporal controlada no RegSpec, modelos de confiança alternativos para ordenação e otimizações criptográficas para reduzir ainda mais a latência.

Em suma, o RegGuard preenche a lacuna crítica entre a escalabilidade técnica dos blockchains e os requisitos de segurança e conformidade exigidos pelo setor financeiro regulamentado.