Resumen Técnico: No todas las lecturas son conflictos: Un análisis de solo escritura de la blockchain Sui

Planteamiento del problema

La blockchain Sui utiliza un modelo de datos centrado en objetos para permitir la ejecución paralela de transacciones, lo que teóricamente permite que las transacciones que tocan conjuntos de estados disjuntos se ejecuten concurrentemente. Sin embargo, el rendimiento realizado está limitado por la contención de la carga de trabajo. Los análisis empíricos previos de Sui, como el de Biton & Friedman [7], dependían de un modelo de grafo de conflicto de "lectura + escritura" (R+W) heredado de las blockchains basadas en cuentas (p. ej., Ethereum). En el modelo R+W, existe un borde de conflicto entre dos transacciones si acceden al mismo objeto y al menos una de ellas lo modifica.

Los autores argumentan que el modelo R+W está fundamentalmente desalineado con la semántica de ejecución de Sui. Debido a que el motor de Sui serializa únicamente sobre el acceso compartido mutable (no sobre la lectura compartida), el modelo R+W introduce "bordes espurios". Un ejemplo primario es el reloj del sistema (objeto 0x6): en un modelo R+W, cada transacción de usuario que lee el reloj para obtener una marca de tiempo crea un borde de conflicto con la transacción del sistema que escribe el reloj. Esto infla artificialmente las métricas de contención, creando topologías de "núcleo y radios" (hub-and-spoke) que sugieren cuellos de botella secuenciales severos donde no existen. En consecuencia, el modelo R+W proporciona un límite superior de la contención que puede sobreestimar significativamente las dependencias secuenciales y subestimar el paralelismo alcanzable.

Metodología

Para abordar estas limitaciones, los autores proponen y aplican un modelo de conflicto complementario de "solo escritura" (W-only) a los datos de la red principal de Sui hasta finales de 2025.

Adquisición y procesamiento de datos

• Conjunto de datos: Los datos de las transacciones se recolectaron de los checkpoints de la red principal de Sui utilizando un indexador personalizado en Rust/Diesel. Los autores muestrearon de forma determinista cada 3,455º checkpoint (aproximadamente 100/día tras la actualización Mysticeti) para crear un conjunto de datos representativo a largo plazo.
• Construcción del grafo: Para cada checkpoint, se construyeron grafos de conflicto no dirigidos donde los nodos representan transacciones y los bordes representan conflictos.
  • Modelo R+W: Existe un borde si $write(T_1) \cap (read(T_2) \cup write(T_2)) \neq \emptyset$.
  • Modelo W-only: El borde existe solo si $write(T_1) \cap write(T_2) \neq \emptyset$.
• Métricas: El estudio emplea métricas de grafos estándar adaptadas de investigaciones previas de Ethereum [8, 15]:
  • Densidad, asortatividad, número de clique, componente conexo más grande (LCC).
  • Relación LSP/χ: La relación entre el Camino Simple Más Largo (LSP) y el Número Cromático (χ). Esto limita el paralelismo alcanzable (el LSP es el límite inferior de las cadenas secuenciales; χ es el número mínimo teórico de rondas).
  • Análisis ponderado por Gas: El potencial de paralelismo también se pondera por el uso de gas para considerar el costo computacional, distinguiendo entre muchas transacciones baratas y pocas costosas.

Técnicas analíticas

1. Agrupación mediante Union-Find: Los objetos se agrupan basándose en la co-ocurrencia de escrituras para aislar ecosistemas de aplicaciones específicos (p. ej., DeepBook) del resto de la red.
2. Mapeo económico: Los cambios de saldo se anclan a los precios históricos de CoinMarketCap para cuantificar el valor denominado en USD que fluye a través de rutas secuenciales vs. paralelas.
3. Sondas contrafácticas: Los autores simulan la eliminación de bordes de conflicto específicos (p. ej., dentro del ecosistema DeepBook) para probar si aplicaciones específicas actúan como cuellos de botella inherentes.

Hallazgos clave

1. Cambio en la topología estructural: De estrellas a cliques

La transición de R+W a W-only altera fundamentalmente la percepción de la topología de la red.

• R+W: Exhibe estructuras altamente desasortativas de tipo "núcleo y radios" impulsadas por el reloj del sistema. Casi todas las transacciones de usuario se conectan con el escritor del reloj, creando una enorme estrella artificial.
• W-only: La estrella artificial colapsa. La topología restante es altamente asortativa y dominada por cliques. Los conflictos ocurren en grupos densos y pequeños de transacciones que modifican los mismos objetos, en lugar de un núcleo central.
• Cambio cuantitativo: La mediana de la asortatividad de grado cambia de $-0.500$(R+W) a$\approx +1$ (W-only). El número de clique mediano cae de 5.5 a 4, y el Componente Conexo Más Grande (LCC) cae de 8.5 a 4.

2. Límites más ajustados sobre el paralelismo

El modelo W-only proporciona un límite inferior de la contención (y, por lo tanto, un límite superior más ajustado sobre el paralelismo).

• Carga rutinaria: El margen de maniobra óptimo de paralelismo estimado cae de $\approx 1.2\text{--}1.4\times$ (R+W) a $\approx 1\times$ (W-only).
• Carga alta: El techo cae de $\approx 5\times$ a $\approx 3\times$.
• Conclusión: Eliminar las dependencias de lectura reduce en un 30–40% la estimación del paralelismo óptimo en cargas rutinarias. El cuello de botella en la carga rutinaria de Sui se identifica como la composición de la carga de trabajo (específicamente, objetos calientes de escritura) en lugar de la incapacidad del motor paralelo para programar.

3. Contención a nivel de aplicación: El ecosistema DeepBook

Utilizando la agrupación Union-Find, los autores aislaron el ecosistema DeepBook (el libro de órdenes centralizado de límite de la naturaleza de Sui).

• Volumen vs. Lógica: DeepBook representa el 87.3% de todos los conflictos a nivel de aplicación por volumen. Sin embargo, las sondas contrafácticas (eliminando los bordes internos de DeepBook) muestran que su contribución a los cuellos de botella secuenciales es estrictamente proporcional a su volumen de transacciones.
• Efecto de fragmentación (Sharding): A diferencia de los CLOB tradicionales basados en cuentas que fuerzan la serialización en un único contrato, DeepBook fragmenta el estado a través de objetos de pool por cuenta y de gestor de saldos. Esto permite que las transacciones que tocan pools disjuntos se ejecuten en paralelo.
• Resultado: DeepBook no impone cuellos de botella secuenciales desproporcionados en relación con otras aplicaciones de alto volumen; su contención es una función del volumen, no de una lógica única.

4. Costo económico de la secuencialidad

El mapeo de las estructuras de grafos a valores USD revela la exposición económica a los efectos de ordenamiento.

• Carga secuencial: El 10–50% del valor denominado en USD de la red fluye a través de rutas de ejecución secuencialmente restringidas (el LCC).
• Flujo paralelo: El 50–90% restante fluye a través de rutas paralelas.
• Implicaciones de MEV: La parte secuencial está potencialmente expuesta a estrategias de Valor Extraíble Máximo (MEV) basadas en el reordenamiento, mientras que la parte paralela no lo está. Los autores señalan que esto es una instantánea de la exposición actual de la carga de trabajo, no un techo universal.

Significado y afirmaciones

El artículo afirma proporcionar una reevaluación semántica del modelado de conflictos en Sui. Al alinear el modelo de conflicto con la semántica de ejecución real de Sui (serialización de objetos compartidos mutables), el modelo W-only elimina las "dependencias de no ejecución" introducidas por los accesos de solo lectura.

• Contribución metodológica: Los autores proponen el modelo W-only como un complemento necesario para R+W, argumentando que R+W sobreestima sistemáticamente la contención en sistemas centrados en objetos.
• Perspectiva arquitectónica: El estudio demuestra que el modelo de objetos de Sui convierte con éxito lo que sería un cuello de botella secuencial en las cadenas basadas en cuentas (un CLOB) en una carga de trabajo donde la contención escala con el volumen pero no con restricciones de lógica inherente.
• Impacto práctico: Los hallazgos sugieren que los operadores deben dimensionar la infraestructura para el "comportamiento de cola" (eventos virales como el juego Sui 8192 que mostró una aceleración de $\approx 175\times$) en lugar del comportamiento promedio, ya que las cargas rutinarias suelen tener poco margen de paralelismo residual para explotar debido a la composición de la carga de trabajo.

Los autores concluyen que la metodología W-only ofrece un vocabulario multiplataforma para comparar la contención impulsada por aplicaciones en blockchains modernas (p. ej., Aptos, Solana) sin el "ruido de lectura" que domina los análisis centrados en cuentas.