Bitcoin admite dos rutas para la función de verificación ZK

Bitcoin como un sistema social opera de manera estable a largo plazo, derivado de un cierto consenso alcanzado por las personas en cuestiones clave. Sin embargo, Bitcoin todavía enfrenta algunos problemas que necesitan ser resueltos, como las altas tarifas de transacción y la falta de anonimato. Para mejorar estos problemas, hay dos posibles caminos:

1. Permitir que los scripts de Bitcoin soporten directamente la verificación de SNARK. Esto requiere el uso del código de operación OP_CAT, el cual probablemente será aprobado eventualmente. OP_CAT es un código de operación simple pero poderoso que puede hacer que los scripts de Bitcoin sean más robustos. Tiene la capacidad de soportar la verificación de pruebas de Merkle, ayudando a validar SNARKs basados en FRI. Aunque la activación de OP_CAT podría afectar las ganancias de MEV de algunas personas, es probable que la comunidad llegue a un consenso sobre ello.

2. Solución basada en BitVM. BitVM permite que Bitcoin verifique cualquier tarea de cálculo, siendo el mejor camino para implementar la verificación SNARK sin necesidad de cambiar el protocolo. Elude la limitación del tamaño de los scripts en los bloques de Bitcoin a través de la estructura de scripts del árbol Merkle Taproot y el esquema de almacenamiento KV. BitVM necesita verificar comportamientos maliciosos a través de pruebas de fraude, y si se detecta un problema, se pueden retirar los activos previamente apostados.

Además, la Prueba de Estado de Cadena propuesta por el equipo de ZeroSync es una tecnología que merece atención. Combina ZK y puede probar la validez del hash del bloque, reduciendo significativamente el costo de operación de los nodos. Esta tecnología no solo puede comprimir la carga de trabajo de sincronización y verificación de los datos históricos de Bitcoin, sino que también es una parte importante de la implementación de BitVM.

Independientemente de la opción elegida, el objetivo final de la comunidad de Bitcoin es hacer que el producto sea más práctico y apoyar más escenarios aplicables. Aunque estas mejoras no se lograrán a corto plazo, representan una dirección importante para el desarrollo futuro de Bitcoin.