¿Cómo hacer que Bitcoin soporte la función de verificación ZK?

Bitcoin como un sistema social, sus reglas de protocolo son difíciles de modificar. Para mejorar el rendimiento de Bitcoin sin cambiar el protocolo, se puede abordar desde los siguientes aspectos:

1. Utilizar actualizaciones existentes como Taproot. Taproot reduce el costo de verificación de scripts complejos y soporta programas más complejos.

2. Rehabilitar el opcode OP_CAT. OP_CAT puede hacer que el script de Bitcoin sea más poderoso, ayudando a verificar SNARK basado en FRI.

3. Adoptar el esquema BitVM. BitVM permite que Bitcoin verifique cualquier tarea de computación mediante un mecanismo de prueba de fraude, siendo el mejor camino para implementar la verificación SNARK sin modificar el protocolo.

4. Usar Pruebas de Estado de Cadena. Combinado con la tecnología ZK, se puede reducir significativamente la carga de trabajo para la sincronización y verificación de los datos históricos de Bitcoin.

5. Desarrollar nuevos lenguajes como Simplicity. Simplicity está diseñado para reemplazar el script de Bitcoin, específicamente para sistemas de consenso de blockchain.

En general, la forma más viable de implementar la verificación SNARK en Bitcoin es BitVM, pero se necesita más inversión en investigación y desarrollo. Reiniciar OP_CAT también es una opción, pero requiere sopesar los pros y los contras. Cualquiera que sea la opción elegida, debe tener como objetivo apoyar más escenarios prácticos.