Bridging Bitcoin to Second Layers via BitVM2

Robin Linus; Lukas Aumayr; Zeta Avarikioti; Matteo Maffei; Andrea Pelosi; Orfeas Thyfronitis Litos; Christos Stefo; David Tse; Alexei Zamyatin

Paper 2025/1158

Bridging Bitcoin to Second Layers via BitVM2

Robin Linus

, ZeroSync Association, Stanford University

Lukas Aumayr

, University of Edinburgh, Common Prefix

Zeta Avarikioti

, TU Wien, Common Prefix

Matteo Maffei

, TU Wien

Andrea Pelosi

, University of Pisa, University of Camerino, TU Wien

Orfeas Thyfronitis Litos

, Imperial College London, Common Prefix

Christos Stefo

, TU Wien

David Tse

, Stanford University

Alexei Zamyatin

, BOB

Abstract

A holy grail in blockchain infrastructure is a trustless bridge between Bitcoin and its second layers or other chains. We make progress toward this vision by introducing the first light-client-based Bitcoin bridge. At its heart lies BITVM2-CORE, a novel paradigm that enables arbitrary program execution on Bitcoin, combining Turing-complete expressiveness with the security of Bitcoin consensus. BITVM2-BRIDGE advances prior approaches by reducing the trust assumption from an honest majority (t-of-n) to existential honesty (1-of-n) during setup. Liveness is guaranteed with only one rational operator, and any user can act as a challenger, enabling permissionless verification. A production-level implementation of BITVM2 has been developed, and a full challenge verification has been executed on the Bitcoin mainnet.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
Keywords: Bitcoin BitVM Light Client Bridge Rollup Blockchain
Contact author(s): robin @ zerosync org
lukas aumayr @ gmail com
georgia avarikioti @ tuwien ac at
matteo maffei @ tuwien ac at
andreapelosi @ protonmail com
o thyfronitis-litos @ imperial ac uk
christos stefo @ tuwien ac at
dntse @ stanford edu
alexei @ interlay io
History: 2026-03-04: revised; 2025-06-18: received; See all versions
Short URL: https://ia.cr/2025/1158
License: CC BY

BibTeX

@misc{cryptoeprint:2025/1158,
      author = {Robin Linus and Lukas Aumayr and Zeta Avarikioti and Matteo Maffei and Andrea Pelosi and Orfeas Thyfronitis Litos and Christos Stefo and David Tse and Alexei Zamyatin},
      title = {Bridging Bitcoin to Second Layers via {BitVM2}},
      howpublished = {Cryptology {ePrint} Archive, Paper 2025/1158},
      year = {2025},
      url = {https://eprint.iacr.org/2025/1158}
}