Bitcoin soporta dos caminos de verificación ZK: OP_CAT y BitVM

Bitcoin, como un sistema social, requiere un amplio consenso para los cambios en su protocolo. Desde su creación, Bitcoin aún enfrenta problemas como altas tarifas de transacción y falta de privacidad, que necesitan ser mejorados. Sin embargo, modificar el protocolo de Bitcoin no es tarea fácil.

Sin cambiar el protocolo de Bitcoin, hay dos posibles soluciones para implementar la función de verificación ZK:

1. Habilitar el código de operación OP_CAT. OP_CAT puede hacer que el script de Bitcoin sea más poderoso, apoyando la verificación de pruebas de Merkle, lo que ayuda a lograr la verificación SNARK basada en FRI. OP_CAT existió en versiones tempranas de Bitcoin, por lo que la posibilidad de ser reactivado es alta.

2. Solución basada en BitVM. BitVM utiliza Taproot y almacenamiento KV, eludiendo las limitaciones de tamaño de script en los bloques de Bitcoin, y puede verificar cualquier tarea de cálculo. Garantiza la corrección del cálculo a través de un mecanismo de prueba de fraude.

Además, las Pruebas de Estado de Cadena propuestas por el equipo de ZeroSync también merecen atención. Se combinan con la tecnología ZK y pueden reducir significativamente la carga de trabajo de sincronización y verificación de los datos históricos de Bitcoin, lo que disminuye los costos de operación de los nodos.

Independientemente de la opción elegida, el objetivo de la comunidad de Bitcoin es apoyar más escenarios de aplicación viables, garantizando la seguridad. Aunque estas mejoras no se completarán en el corto plazo, a largo plazo, la introducción de la función de verificación ZK en Bitcoin es una tendencia inevitable.