Leitura rápida
Comece pela explicação mais curta e útil antes de aprofundar.
A computing paradigm proposed by Robin Linus in October 2023 that enables verification of arbitrary computations on Bitcoin without consensus rule changes, using an optimistic model similar to optimistic rollups. A prover claims a computation result, and any verifier can execute a fraud proof on-chain to penalize false claims. BitVM2 (2024) reduced dispute resolution to three on-chain transactions and enabled permissionless verification.