Resumo Técnico: Nem Todas as Leituras São Conflitos: Uma Análise de Somente Escrita da Blockchain Sui

Definição do Problema

A blockchain Sui utiliza um modelo de dados centrado em objetos para permitir a execução paralela de transações, o que teoricamente permite que transações que tocam conjuntos de estados disjuntos sejam executadas concorrentemente. No entanto, o desempenho realizado é limitado pela contenção da carga de trabalho. Análises empíricas anteriores da Sui, como Biton & Friedman [7], basearam-se em um modelo de grafo de conflito "leitura+escrita" (R+W) herdado de blockchains baseadas em contas (ex: Ethereum). No modelo R+W, uma aresta de conflito existe entre duas transações se elas acessam o mesmo objeto e pelo menos uma o modifica.

Os autores argumentem que o modelo R+W é fundamentalmente desalinhado com a semântica de execução da Sui. Como o motor da Sui serializa apenas o acesso compartilhado mutável (não a leitura compartilhada), o modelo R+W introduz "arestas espúrias". Um exemplo primário é o relógio do sistema (objeto 0x6): em um modelo R+W, cada transação de usuário que lê o relógio para um timestamp cria uma aresta de conflito com a transação do sistema que escreve o relógio. Isso infla artificialmente as métricas de contenção, criando topologias de "hub-and-spoke" (cubo e raios) que sugerem gargalos sequenciais severos onde eles não existem. Consequentemente, o R+W fornece um limite superior de contenção que pode superestimar significativamente as dependências sequenciais e subestimar o paralelismo alcançável.

Metodologia

Para abordar essas limitações, os autores propõem e aplicam um modelo de conflito complementar de "somente escrita" (W-only) aos dados da rede principal (mainnet) da Sui até o final de 2025.

Aquisição e Processamento de Dados

• Dataset: Os dados das transações foram coletados de checkpoints da mainnet da Sui usando um indexador customizado em Rust/Diesel. Os autores amostraram deterministicamente cada 3.455º checkpoint (aprox. 100/dia após o upgrade Mysticeti) para criar um dataset representativo de longo prazo.
• Construção do Grafo: Para cada checkpoint, grafos de conflito não direcionados foram construídos onde nós representam transações e arestas representam conflitos.
  • Modelo R+W: Uma aresta existe se $write(T_1) \cap (read(T_2) \cup write(T_2)) \neq \emptyset$.
  • Modelo W-only: Uma aresta existe apenas se $write(T_1) \cap write(T_2) \neq \emptyset$.
• Métricas: O estudo emprega métricas de grafos padrão adaptadas de pesquisas anteriores de Ethereum [8, 15]:
  • Densidade, Assortatividade, Número de Cliques, Maior Componente Conectado (LCC).
  • Razão LSP/χ: A razão entre o Caminho Simples Mais Longo (Lся - Longest Simple Path) e o Número Cromático (χ). Isso delimita o paralelismo alcançável (LSP é o limite inferior de cadeias sequenciais; χ é o número mínimo teórico de rodadas).
  • Análise Ponderada por Gás: O potencial de paralelismo também é ponderado pelo uso de gás para considerar o custo computacional, distinguindo entre muitas transações baratas e poucas transações caras.

Técnicas Analíticas

1. Agrupamento Union-Find: Objetos são agrupados com base na coocorrência de escrita para isolar ecossistemas de aplicações específicos (ex: DeepBook) do restante da rede.
2. Mapeamento Econômico: Mudanças de saldo são ancoradas aos preços históricos do CoinMarketCap para quantificar o valor denominado em USD que flui através de caminhos sequenciais vs. paralelos.
3. Probes Contrafatuais: Os autores simulam a remoção de arestas de conflito específicas (ex: dentro do ecossistema DeepBook) para testar se aplicações específicas atuam como gargalos inerentes.

Principais Descobertas

1. Mudança de Topologia Estrutural: De Estrelas para Cliques

A transição de R+W para W-only altera fundamentalmente a percepção da topologia da rede.

• R+W: Exibe estruturas altamente desassortativas, de "hub-and-spoke", impulsionadas pelo relógio do sistema. Quase toda transação de usuário conecta-se ao escritor do relógio, criando uma enorme estrela artificial.
• W-only: A estrela artificial colapsa. A topologia restante é altamente assortativa e dominada por cliques. Os conflitos ocoram em grupos densos e pequenos de transações modificando os mesmos objetos, em vez de um hub central.
• Mudança Quantitativa: A mediana da assortatividade de grau inverte de $-0,500$ (R+W) para $\approx +1$ (W-only). O número médio de cliques cai de 5,5 para 4, e o Maior Componente Conectado (LCC) cai de 8,5 para 4.

2. Limites Mais Estritos de Paralelismo

O modelo W-only fornece um limite inferior de contenção (e, portanto, um limite superior mais estrito de paralelismo).

• Carga de Rotina: O headroom de paralelismo ideal estimado cai de $\approx 1,2\text{--}1,4\times$ (R+W) para $\approx 1\times$ (W-only).
• Carga Alta: O teto cai de $\approx 5\times$ para $\approx 3\times$.
• Conclusão: Remover as dependências de leitura retira 30–40% da estimativa de paralelismo ideal em cargas de rotina. O gargalo na carga de rotina da Sui é identificado como a composição da carga de trabalho (especificamente, objetos de escrita quente/hot objects) em vez da incapacidade do motor paralelo de agendar tarefas.

3. Contenção ao Nível de Aplicação: O Ecossistema DeepBook

Usando o agrupamento union-find, os autores isolaram o ecossistema DeepBook (o livro de ofertas centralizado nativo da Sui).

• Volume vs. Lógica: DeepBook responde por 87,3% de todos os conflitos de nível de aplicação por volume. No entanto, probes contrafatuais (removendo as arestas internas da DeepBook) mostram que sua contribuição para gargalos sequenciais é estritamente proporcional ao seu volume de transações.
• Efeito de Sharding: Ao contrário dos CLOBs tradicionais baseados em conta que forçam a serialização em um único contrato, a DeepBook fragmenta (shards) o estado entre objetos de pool e de gerenciador de saldo por conta. Isso permite que transações que tocam pools disjuntos sejam executadas em paralelo.
• Resultado: A DeepBook não impõe gargalos sequenciais desproporcionais em relação a outras aplicações de alto volume; sua contenção é uma função do volume, não de uma lógica única.

4. Custo Econômico da Sequencialidade

O mapeamento das estruturas de grafos para o valor em USD revela a exposição econômica aos efeitos de ordenação.

• Fardo Sequencial: 10–50% do valor denominado em USD da rede flui através de caminhos de execução sequencialmente restritos (o LCC).
• Fluxo Paralelo: Os 50–90% restantes fluem através de caminhos paralelos.
• Implicações de MEV: A parte sequencial é potencialmente exposta a estratégias de Valor Extraível Máximo (MEV) baseadas em reordenação, enquanto a parte paralela não é. Os autores observam que este é um instantâneo da exposição atual da carga de trabalho, não um teto universal.

Significância e Alegações

O artigo afirma fornecer uma reavaliação semântica da modelagem de conflitos na Sui. Ao alinhar o modelo de conflito com a real semântica de execução da Sui (serialização de objeto compartilhado mutável), o modelo W-only elimina "dependências de não-execução" introduzidas por acessos de apenas leitura.

• Contribuição Metodológica: Os autores propõem o modelo W-only como um complemento necessário ao R+W, argumentando que o R+W superestima sistematicamente a contenção em sistemas centrados em objetos.
• Insight Arquitetural: O estudo demonstra que o modelo de objetos da Sui converte com sucesso o que seria um gargalo sequencial em chains baseadas em conta (um CLOB) em uma carga de trabalho onde a contenção escala com o volume, mas não com restrições de lógica inerente.
• Impacto Prático: As descobertas sugerem que os operadores devem dimensionar a infraestrutura para o "comportamento de cauda" (eventos virais como o jogo Sui 8192, que mostrou um aumento de velocidade de $\approx 175\times$) em vez do comportamento médio, já que as cargas de rotina frequentemente têm pouco paralelismo residual para explorar devido à composição da carga de trabalho.

Os autores concluem que a metodologia W-only oferece um vocabulário multiplataforma para comparar a contenção impulsionada por aplicações em blockchains modernas (ex: Aptos, Solana) sem o "ruído do lado da leitura" que domina as análises centradas em contas.