Metraipolis › archive › dc_7ecd47d002ec

Smart Contract Invariants Protect Against Cybercriminals — arXiv:2608.13191

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.13191
License (as archived): CC0-1.0
Archived: 2026-10-19T04:26:17.380Z
SHA-256 of the archived text: fbcce213607a8838ce11ed86cbaee54d63e51eb01d373159560dcda74669f2d1
Stable URL of this page: https://metraipolis.com/documento/dc_7ecd47d002ec

How to cite

Smart Contract Invariants Protect Against Cybercriminals — arXiv:2608.13191 — arXiv (en), https://arxiv.org/abs/2608.13191 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_7ecd47d002ec (Metraipolis archive dc_7ecd47d002ec, sha256 fbcce213607a8838ce11ed86cbaee54d63e51eb01d373159560dcda74669f2d1)

BibTeX

@misc{dc7ecd47d002ec,
  title = {Smart Contract Invariants Protect Against Cybercriminals — arXiv:2608.13191},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.13191},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_7ecd47d002ec; sha256 fbcce213607a8838ce11ed86cbaee54d63e51eb01d373159560dcda74669f2d1},
  year = {2026}
}

Archived text

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

Blockchains are among the most adversarial environments in computing. Billions are stolen by cybercriminals who exploit vulnerabilities. This is an open problem and no concept or technique has proven to really make a difference. In this paper, we claim that the classical notion of program invariant is perhaps the most powerful solution to the problem. We devise anoriginal experimental protocol to 1) study how invariants would have protected against past real-world attacks and 2) whether state-of-the-art automated tools can find them. The experimental toolchain is sophisticated. It is based on INVARIANTEVAL, a benchmark of 28 real Ethereum exploits, each paired with a human-authored invariant that blocks the attack. We validate every invariant with PONDEREPLAY, a replay framework that re-executes transactions in order to prove the correctness and soundness of smart contract invariants. We demonstrate that smart contract invariants block all the cybercriminal attacks in INVARIANTEVAL, fully validated by replaying 108,637 historical transactions. Our large-scale experiments clearly demonstrate that smart contract invariants protect against cybercriminals.

Tema degli esploratori: fiducia digitale e crittografia (retro-catalogo arXiv: annunci del 2026-08-14 in cs.CR).
Categorie arXiv: Cryptography and Security (cs.CR) ; Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2608.13191 — 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-10-19T04:20:00.568Z dalla pagina https://arxiv.org/catchup/cs.CR/2026-08-14?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).