Introdução da verificação ZK: a tendência inevitável do protocolo Bitcoin
Bitcoin como um sistema social, o seu funcionamento estável depende do consenso das pessoas sobre a sua essência e a forma que deve ter. No entanto, ainda existem divergências amplas e em constante evolução em questões chave.
Satoshi Nakamoto inicialmente concebeu o Bitcoin como um novo sistema de pagamento eletrônico P2P. No entanto, o design do produto Bitcoin limita a taxa de transferência de dados, resultando em altas taxas de transação. Além disso, os dados das transações na cadeia do Bitcoin expõem em grande medida a privacidade dos usuários, afastando-se da anonimidade que era inicialmente prevista.
Para resolver esses problemas, a comunidade Bitcoin propôs muitas soluções de melhoria, sendo a melhor em termos teóricos a introdução de tecnologias relacionadas a ZK e SNARKs. Essas tecnologias podem melhorar significativamente a privacidade e aumentar a capacidade de transações. No entanto, como é difícil modificar o protocolo Bitcoin, essas tecnologias ainda não foram incorporadas ao protocolo.
A funcionalidade do script do Bitcoin é limitada e não pode verificar diretamente o SNARK. Embora teoricamente seja possível verificar qualquer cálculo, na prática, o tamanho do programa necessário para a verificação do SNARK excede o limite de tamanho do bloco do Bitcoin.
Para implementar a verificação SNARK no Bitcoin, atualmente existem dois caminhos possíveis:
Ao ativar operações simples como OP_CAT, é possível aumentar a funcionalidade dos scripts Bitcoin, permitindo a verificação de SNARK. O OP_CAT pode ser utilizado para validar provas Merkle, ajudando na verificação de SNARKs baseados em FRI.
Utilizando a tecnologia BitVM, é possível verificar qualquer tarefa de cálculo sem modificar o protocolo. O BitVM contorna as limitações de tamanho de script através da estrutura Taproot MerkleTree e de uma solução de armazenamento KV, e utiliza um mecanismo de prova de fraude para garantir a segurança.
Além disso, a tecnologia Chain State Proofs proposta pela equipe ZeroSync, combinada com ZK, pode reduzir significativamente a carga de trabalho de sincronização e validação dos dados históricos do Bitcoin, diminuindo o custo dos nós em operação.
Em geral, a introdução da verificação ZK é uma tendência inevitável do protocolo Bitcoin, mas o caminho específico para a sua implementação ainda precisa de mais pesquisa e discussão. Independentemente da solução escolhida, o objetivo final deve ser apoiar mais cenários aplicáveis e aumentar a utilidade.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
19 Curtidas
Recompensa
19
3
Repostar
Compartilhar
Comentário
0/400
NftDeepBreather
· 07-27 21:53
Quanto pode subir com zk?
Ver originalResponder0
LiquidationAlert
· 07-25 15:42
BTC vai ser atualizado novamente? De qualquer forma, o protocolo não pode ser alterado.
Ver originalResponder0
TxFailed
· 07-25 15:40
tecnicamente falando... o btc ficou preso em 2009 enquanto o zk já está salvando os usuários de eth de pesadelos de privacidade
ZK verificação: o caminho inevitável da evolução do protocolo Bitcoin
Introdução da verificação ZK: a tendência inevitável do protocolo Bitcoin
Bitcoin como um sistema social, o seu funcionamento estável depende do consenso das pessoas sobre a sua essência e a forma que deve ter. No entanto, ainda existem divergências amplas e em constante evolução em questões chave.
Satoshi Nakamoto inicialmente concebeu o Bitcoin como um novo sistema de pagamento eletrônico P2P. No entanto, o design do produto Bitcoin limita a taxa de transferência de dados, resultando em altas taxas de transação. Além disso, os dados das transações na cadeia do Bitcoin expõem em grande medida a privacidade dos usuários, afastando-se da anonimidade que era inicialmente prevista.
Para resolver esses problemas, a comunidade Bitcoin propôs muitas soluções de melhoria, sendo a melhor em termos teóricos a introdução de tecnologias relacionadas a ZK e SNARKs. Essas tecnologias podem melhorar significativamente a privacidade e aumentar a capacidade de transações. No entanto, como é difícil modificar o protocolo Bitcoin, essas tecnologias ainda não foram incorporadas ao protocolo.
A funcionalidade do script do Bitcoin é limitada e não pode verificar diretamente o SNARK. Embora teoricamente seja possível verificar qualquer cálculo, na prática, o tamanho do programa necessário para a verificação do SNARK excede o limite de tamanho do bloco do Bitcoin.
Para implementar a verificação SNARK no Bitcoin, atualmente existem dois caminhos possíveis:
Além disso, a tecnologia Chain State Proofs proposta pela equipe ZeroSync, combinada com ZK, pode reduzir significativamente a carga de trabalho de sincronização e validação dos dados históricos do Bitcoin, diminuindo o custo dos nós em operação.
Em geral, a introdução da verificação ZK é uma tendência inevitável do protocolo Bitcoin, mas o caminho específico para a sua implementação ainda precisa de mais pesquisa e discussão. Independentemente da solução escolhida, o objetivo final deve ser apoiar mais cenários aplicáveis e aumentar a utilidade.