The BitVM paradigm aims to enable off-chain computation verification on Bitcoin without requiring a fork