Protocolo introducido por Robin Linus en 2023, destinado a ampliar las capacidades de desarrollo de aplicaciones de Bitcoin. BitVM permite realizar cualquier operación computacional de forma arbitraria y utiliza este cálculo para dirigir los bitcoins comprometidos. El protocolo implica mover todos los cálculos fuera de la cadena, al tiempo que permite que el cálculo sea impugnado en la cadena si la otra parte alega un resultado fraudulento. Así, BitVM proporciona a Bitcoin una capacidad computacional casi Turing-completa, sin requerir ninguna modificación a nivel de consenso. BitVM replica el comportamiento de una puerta lógica NAND mediante el uso combinado de los opcodes OP_BOOLAND (que a su vez replica el comportamiento de una puerta lógica AND) y OP_NOT (que replica el comportamiento de una puerta lógica NOT). De hecho, esta puerta lógica NAND puede utilizarse en la cadena para replicar el comportamiento de todas las demás puertas lógicas existentes. Es lo que se denomina una «puerta universal». Por extensión, una serie de puertas lógicas NAND puede replicar cualquier circuito computacional. La idea con BitVM es almacenar estas secuencias de computación NAND como hojas en el MAST de una transacción Taproot.