Bitcoin suporta duas rotas de verificação ZK: OP_CAT e BitVM

O Bitcoin, como um sistema social, requer um consenso amplo para mudanças em seu protocolo. Desde seu surgimento até agora, o Bitcoin ainda enfrenta problemas como taxas altas e falta de privacidade, necessitando urgentemente de melhorias. No entanto, modificar o protocolo do Bitcoin não é uma tarefa fácil.

Sem alterar o protocolo Bitcoin, existem duas possíveis soluções para implementar a funcionalidade de verificação ZK:

1. Ativar o código de operação OP_CAT. OP_CAT pode tornar os scripts Bitcoin mais poderosos, suportando a verificação de provas Merkle, ajudando a implementar a verificação SNARK baseada em FRI. OP_CAT esteve presente em versões iniciais do Bitcoin, portanto, a possibilidade de reativação é alta.

2. Solução baseada no BitVM. O BitVM utiliza Taproot e armazenamento KV, contornando as limitações de tamanho de script dos blocos de Bitcoin, podendo verificar qualquer tarefa de cálculo. Ele garante a correção do cálculo através de um mecanismo de prova de fraude.

Além disso, os Chain State Proofs propostos pela equipe ZeroSync também merecem atenção. Eles combinam a tecnologia ZK, podendo reduzir significativamente a carga de trabalho de sincronização e verificação dos dados históricos do Bitcoin, diminuindo os custos de operação dos nós.

Independentemente da opção escolhida, o objetivo da comunidade Bitcoin é apoiar mais cenários de aplicação viáveis, garantindo a segurança. Embora essas melhorias não sejam concluídas a curto prazo, a longo prazo, a introdução da funcionalidade de verificação ZK no Bitcoin é uma tendência inevitável.