BitVM

BitVM es un diseño para verificar cómputo arbitrario en Bitcoin sin soft fork, con un modelo optimista: una afirmación se acepta salvo que alguien demuestre on-chain que es falsa. Su aplicación principal son los bridges cuya seguridad solo exige un participante honesto entre quienes pueden impugnar, en lugar de una mayoría honesta de firmantes.