BitVM
Blockchain General · Abismo
Un paradigma de computación propuesto por Robin Linus en octubre de 2023 que permite la verificación de computaciones arbitrarias en Bitcoin sin cambios en las reglas de consenso, usando un modelo optimista similar a los rollups optimistas. Un probador reclama un resultado de computación, y cualquier verificador puede ejecutar una prueba de fraude on-chain para penalizar reclamos falsos. BitVM2 (2024) redujo la resolucion de disputas a tres transacciones on-chain y permitio verificación sin permisos.