BitVM

Propuesto por el desarrollador Robin Linus en octubre de 2023, BitVM funciona como un rollup optimista. Un probador afirma el resultado de un cálculo, como la validez del estado de un rollup o de una prueba de conocimiento cero, y deposita una garantía. Si alguien detecta una afirmación falsa puede impugnarla, y una secuencia de transacciones de Bitcoin firmadas de antemano permite demostrar el error en la cadena usando solo los códigos de operación existentes y quedarse con el depósito del probador.

Su uso principal son los puentes con confianza minimizada: en lugar de fiarse de una multifirma para liberar bitcoin desde una capa 2, el usuario confía en que al menos un participante honesto del sistema bloqueará los retiros fraudulentos. Versiones posteriores como BitVM2 abarataron las impugnaciones y las abrieron a cualquiera. Varios equipos de capas 2 de Bitcoin construyen puentes y rollups sobre él.

BitVM es complejo y aún joven. Montar un puente exige gran cantidad de transacciones prefirmadas, los operadores deben adelantar liquidez para los retiros y las disputas son caras en cadena. La seguridad depende de supuestos sobre operadores honestos e impugnaciones a tiempo. Muchos en la comunidad de Bitcoin lo ven como un apaño hasta que los covenants u otros códigos de operación simplifiquen estos diseños.