Metraipolis › archive › dc_daebfcaa6765

Weaver: Unlocking Blockchain Transaction Parallelism through State-Decoupled Symbolic Execution — arXiv:2611.06462

Source: arXiv (en)
Original: https://arxiv.org/abs/2611.06462
License (as archived): CC0-1.0
Archived: 2026-11-05T18:19:22.614Z
SHA-256 of the archived text: a5a8a7a889c2d83dc14760e4eff24f1f9f6c1c3d56f0466644566de83a466235
Stable URL of this page: https://metraipolis.com/documento/dc_daebfcaa6765

How to cite

Weaver: Unlocking Blockchain Transaction Parallelism through State-Decoupled Symbolic Execution — arXiv:2611.06462 — arXiv (en), https://arxiv.org/abs/2611.06462 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_daebfcaa6765 (Metraipolis archive dc_daebfcaa6765, sha256 a5a8a7a889c2d83dc14760e4eff24f1f9f6c1c3d56f0466644566de83a466235)

BibTeX

@misc{dcdaebfcaa6765,
  title = {Weaver: Unlocking Blockchain Transaction Parallelism through State-Decoupled Symbolic Execution — arXiv:2611.06462},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2611.06462},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_daebfcaa6765; sha256 a5a8a7a889c2d83dc14760e4eff24f1f9f6c1c3d56f0466644566de83a466235},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2611.06462. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Transaction execution remains a major performance bottleneck in blockchains. Existing parallel execution engines are still blocked by slow state accesses on each transaction's critical path, creating a hidden loss of parallelism. This paper presents Weaver, a state-decoupled transaction processing paradigm that enables execution flow to proceed in the absence of concrete state values. Weaver represents states as lightweight symbolic references and records subsequent computation as symbolic expressions while concrete values are fetched on the fly. To handle state-dependent control flow, Weaver predicts the most likely branch direction through hierarchical symbolic pattern matching. Weaver further introduces expression-granular scheduling that evaluates each symbolic expression as soon as its state dependencies are resolved, rather than waiting for the transaction's entire read set, fully exploiting fine-grained intra-transaction parallelism. Evaluation on real Ethereum blocks and synthetic workloads spanning four representative dApps shows that Weaver delivers 41%-63% higher throughput than state-of-the-art parallel execution engines and up to 7.5 times the throughput of serial execution.

Tema degli esploratori: calcolo e infrastrutture (elenco arXiv cs.DC, nuovi lavori del giorno).
Categorie arXiv: Distributed, Parallel, and Cluster Computing (cs.DC).
Pagina del lavoro: https://arxiv.org/abs/2611.06462 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-05T18:13:18.989Z dalla pagina https://arxiv.org/list/cs.DC/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).