Bitcoin suporta duas vias para a funcionalidade de verificação ZK

Bitcoin como um sistema social opera de forma estável a longo prazo, originando-se de um certo consenso alcançado pelas pessoas sobre questões-chave. No entanto, o Bitcoin ainda enfrenta alguns problemas que precisam ser resolvidos, como altas taxas de transação e falta de anonimato. Para melhorar esses problemas, existem dois possíveis caminhos:

1. Permitir que o script Bitcoin suporte diretamente a verificação SNARK. Isso requer o uso do opcode OP_CAT, que provavelmente será aprovado no final. O OP_CAT é um opcode simples, mas poderoso, que pode tornar o script Bitcoin mais forte. Ele pode suportar a verificação de provas Merkle, ajudando a validar SNARKs baseados em FRI. Embora a ativação do OP_CAT possa impactar os ganhos de MEV de algumas pessoas, é bastante provável que a comunidade chegue a um consenso sobre isso.

2. Solução baseada no BitVM. O BitVM permite que o Bitcoin verifique qualquer tarefa de cálculo, sendo o melhor caminho para implementar a verificação SNARK sem alterar o protocolo. Ele contorna a limitação do tamanho dos scripts nos blocos do Bitcoin através da estrutura de script MerkleTree do Taproot e de uma solução de armazenamento KV. O BitVM precisa verificar comportamentos maliciosos através de provas de fraude, e se um problema for encontrado, pode retirar os ativos previamente apostados.

Além disso, as Provas de Estado da Cadeia propostas pela equipe ZeroSync também são uma tecnologia digna de atenção. Ela combina ZK e pode provar a validade do hash do bloco, reduzindo significativamente os custos de operação dos nós. Esta tecnologia não só pode comprimir o trabalho de sincronização e verificação dos dados históricos do Bitcoin, mas também é uma parte importante da implementação do BitVM.

Independentemente da opção escolhida, o objetivo final da comunidade Bitcoin é tornar os produtos mais práticos, apoiando mais cenários viáveis. Embora essas melhorias não sejam alcançadas a curto prazo, elas representam uma direção importante para o desenvolvimento futuro do Bitcoin.