Glossary
BitVM
Un marco de investigación para expresar computación arbitraria sobre Bitcoin mediante grandes árboles de contratos precomprometidos y juegos de pruebas de fraude — sin fork.
BitVM, propuesto por Robin Linus en 2023, codifica la computación off-chain como una serie de transacciones de Bitcoin prefirmadas que representan un juego de pruebas de fraude. Las dos partes se comprometen con un árbol de computación off-chain, y cualquier parte tramposa puede ser impugnada y sancionada mediante transacciones on-chain, sin cambiar el protocolo de Bitcoin.
El marco sigue en investigación e ingeniería activa. Importa porque esboza un camino hacia rollups optimistas y ZK sobre Bitcoin sin requerir un soft fork para añadir nuevos opcodes.