BitVM enables complex computation to be verified on Bitcoin using optimistic fraud proofs without any soft fork.

BitVM unlocks a path to expressive Bitcoin smart contracts and trustless two-way pegs for Bitcoin bridges.