A prova de conhecimento zero pode melhorar a privacidade do Bitcoin porque pode ocultar detalhes da transação, como valor, endereço, entrada e saída, etc., mantendo a validade e a integridade da transação, o que pode impedir o rastreamento e o usuário de terceiros atividades de negociação de análise.
A prova de conhecimento zero pode melhorar a escalabilidade do Bitcoin porque pode reduzir o tamanho dos dados da transação e o tempo de verificação. Por exemplo, usando ZK-STARKs ou suas versões aprimoradas, várias transações podem ser agrupadas e verificadas usando provas de conhecimento zero, economizando espaço e tempo.
A prova de conhecimento zero pode melhorar a inovação do Bitcoin porque pode suportar mais funções e aplicativos. Por exemplo, usando ZK-SNARKs, mais lógica e cálculos podem ser implementados, e contratos mais complexos e flexíveis podem ser executados sem expor informações ou aumentar a sobrecarga.
Em última análise, as provas de conhecimento zero tornarão o Bitcoin mais confiável e descentralizado, de acordo com seus valores fundamentais. À medida que a tecnologia continua a se desenvolver e melhorar, o potencial do Bitcoin e do ZKP continuará a ser explorado.
Mais e mais equipes estão adotando tecnologia de prova de conhecimento zero em infraestrutura de blockchain e dApps. No entanto, a maioria dos projetos é desenvolvida com base no Ethereum. No entanto, Bitcoin e provas de conhecimento zero realmente têm uma combinação natural, e esse campo atualmente carece da devida atenção. Que tipo de capacitação a combinação de tecnologia de prova de conhecimento zero e Bitcoin trará para a rede Bitcoin? Nesta postagem de blog do Bing Ventures, exploraremos esse tópico da perspectiva de princípios técnicos e perspectivas de aplicação.
Uma prova de conhecimento zero (ZKP) é um método matemático que permite que uma parte (chamada de provador) prove um fato para outra parte (chamada de verificador) sem fornecer ao verificador nenhuma informação sobre a prova. Essa abordagem é muito eficaz para preservar a privacidade porque o provador pode fornecer a prova ao verificador sem revelar nenhuma informação sobre a prova em si.
Bitcoin pode ter uma combinação natural de genes com provas de conhecimento zero. Bitcoin é uma moeda virtual descentralizada que usa um blockchain para registrar transações, e todas as informações da transação são públicas. No entanto, isso também significa que as informações da transação Bitcoin podem ser visualizadas por qualquer pessoa, portanto, existe o risco de vazamento de privacidade. E a prova de conhecimento zero pode resolver esse problema.
Usando provas de conhecimento zero, os usuários do Bitcoin podem criptografar as informações da transação e provar sua validade sem revelar as informações, alcançando assim um nível mais alto de proteção de privacidade. Provas de conhecimento zero também podem melhorar a escalabilidade do Bitcoin. Atualmente, a velocidade de transação do Bitcoin é limitada pelo tamanho do blockchain e pelo congestionamento da rede, o que limita seu uso em aplicações comerciais de larga escala. No entanto, usando provas de conhecimento zero, os usuários do Bitcoin podem processar uma grande quantidade de informações de transações em lotes e comprimir o tamanho de suas provas para um tamanho extremamente pequeno, melhorando assim a escalabilidade e a eficiência do Bitcoin.
Antecedentes e Justificativa
ZK-SNARKs e ZK-STARKs
Ambos ZK-SNARKs e ZK-STARKs são variantes de provas de conhecimento zero, e o que eles têm em comum é provar a validade de certos dados ou operações sem revelar informações confidenciais. No entanto, eles diferem em sua implementação, desempenho e escopo de aplicação.
ZK-SNARKs (Zero-Knowledge Succint Non-Interactive Argument of Knowledge) é uma tecnologia de prova de conhecimento zero baseada em criptografia de curva elíptica. Ele pode converter um problema computacional complexo em uma prova simples de tamanho muito pequeno e que não requer interação. Isso significa que os ZK-SNARKs podem verificar a exatidão dos cálculos sem revelar nenhuma informação de cálculo. Os campos de aplicação dos ZK-SNARKs incluem principalmente moeda de criptografia e proteção de privacidade.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) é um novo tipo de tecnologia de prova de conhecimento zero, que é mais flexível e segura do que ZK-SNARKs. A implementação de ZK-STARKs não depende de criptografia de curva elíptica, mas usa funções hash e técnicas de interpolação polinomial. Isso torna os ZK-STARKs mais confiáveis porque, em vez de depender de quebra-cabeças matemáticos imprevisíveis, eles contam com a irreversibilidade das funções de hash. Além disso, o tamanho da prova dos ZK-STARKs é maior que o dos ZK-SNARKs, mas sua prova é mais verificável, portanto pode ser aplicada a uma ampla gama de campos, como computação distribuída e segurança da Internet das Coisas.
Dificuldades em usar provas de conhecimento zero em Bitcoin
Tomando o Zcash como exemplo, o Zcash usa ZK-SNARKs em tecnologia de prova de conhecimento zero, que pode ser usada para ocultar detalhes da transação, incluindo valor da transação, identidade do participante, etc., para obter melhor proteção de privacidade. A Zcash adota o princípio técnico do ZK-SNARKS da seguinte forma:
Existem dois tipos de endereços no Zcash: endereços transparentes (endereço t) e endereços ocultos (endereço z). Os endereços transparentes são semelhantes aos endereços Bitcoin, pois divulgam os valores das transações e os participantes no blockchain. Os endereços furtivos usam provas de conhecimento zero para proteger a privacidade dos valores das transações e dos participantes.
Quando um usuário envia fundos de um endereço oculto para outro, ele precisa gerar uma prova ZK-SNARKS de que possui fundos suficientes e não está gastando fundos que já foram gastos. Esse processo envolve algumas operações matemáticas e criptográficas complexas, como geração de parâmetros públicos, computação de hashes e construção de circuitos aritméticos.
Gerar provas ZK-SNARKS requer muitos recursos de computação e tempo, mas verificar provas ZK-SNARKS é muito rápido e simples. O verificador precisa apenas verificar se a transação está de acordo com as regras do blockchain e não precisa saber nada sobre o valor da transação ou participantes.
Ao usar o ZK-SNARKS, o Zcash pode realizar transações completamente anônimas e verificáveis, melhorando a privacidade e a usabilidade do usuário, mantendo a segurança e a descentralização do blockchain.
No entanto, a tecnologia de prova de conhecimento zero adotada pelo Zcash também possui algumas limitações. Em primeiro lugar, o Zcash é baseado em UTXO, o que significa que as informações da transação não são completamente mascaradas, mas apenas bloqueadas. Portanto, os invasores podem inferir algumas informações úteis analisando os padrões e fluxos de informações da transação. Isso também faz com que o grau de proteção de privacidade do Zcash não seja totalmente confiável.
Em segundo lugar, o Zcash é uma rede separada baseada no Bitcoin, o que torna mais difícil integrá-lo a outros aplicativos. Isso, por sua vez, limita suas possibilidades de aplicação mais ampla, dificultando ainda mais seu desenvolvimento. Embora o Zcash implemente transações privadas, a taxa de uso real não é alta. Uma das razões é que o custo das transações privadas é muito maior do que o das transações públicas, o que limita seu escopo de aplicação.
Vantagens técnicas dos ZK-STARKs
O uso da tecnologia ZK-SNARKs no Bitcoin pode, de fato, alcançar o anonimato da transação e a proteção da privacidade, mas essa tecnologia tem algumas desvantagens, como a necessidade de configurações e equipamentos confiáveis e a necessidade de um grande número de recursos de computação e armazenamento. Para resolver esses problemas, algumas novas tecnologias de prova de conhecimento zero, como a tecnologia ZK-STARKs, também surgiram.
Em termos simples, o processo de ZK-STARKs inclui as seguintes etapas:
O provador converte a computação que deseja provar em um sistema de equações polinomiais com informações secretas como variáveis.
O provador executa uma série de transformações e simplificações neste sistema de equações para obter um sistema de equações mais simples.
O provador amostra e codifica este sistema de equação simplificado para obter um vetor de baixa dimensão.
O provador faz um hash e assina esse vetor para obter uma string curta como sua prova.
Após receber esta string, o verificador pode verificar se ela está correta através de alguns parâmetros e algoritmos públicos, sem conhecer a informação secreta ou o cálculo original.
Comparada com a tecnologia ZK-SNARKs, a tecnologia ZK-STARKs tem as seguintes vantagens:
A tecnologia ZK-STARKs não requer configurações confiáveis, ou seja, não precisa confiar em um gerador específico, o que melhora a segurança da tecnologia.
A tecnologia ZK-STARK pode se adaptar melhor a dispositivos leves e cenários de aplicação mais amplos porque requer menos recursos de computação e armazenamento. Isso ocorre porque seu processo de geração de provas é mais eficiente do que os ZK-SNARKs, que exigem operações complexas de criptografia e descriptografia. Além disso, a tecnologia ZK-STARK também pode utilizar melhor os recursos de computação paralela e computação distribuída, para que as tarefas de computação possam ser processadas com mais eficiência em alguns casos.
A tecnologia ZK-STARK também pode suportar mais algoritmos e operações, como funções de hash, operações polinomiais, etc., o que também oferece mais possibilidades de expansão e atualizações de tecnologia.
Combinação de Bitcoin e ZK-STARKs
Tecnologia EC-STARK
A tecnologia STARKs é um novo tipo de tecnologia de prova criptográfica que pode se comunicar com terceiros transferindo dados enquanto mantém a privacidade dos dados. Essa técnica permite computação off-chain e armazenamento de dados de verificação, melhorando a escalabilidade. Comparada com a tecnologia ZK-SNARKs, a tecnologia STARKs é mais avançada e pode resistir a ataques de computadores quânticos.
A tecnologia EC-STARKs é a próxima geração da tecnologia STARKs, que visa melhorar a escalabilidade e a segurança do Bitcoin, substituindo a função hash por curvas elípticas. Essa tecnologia pode tornar as soluções de escalabilidade que já existem no Ethereum compatíveis com o Bitcoin. Usando a tecnologia EC-STARKs, é possível executar o protocolo Bitcoin off-chain e armazenar provas em STARKs.
Em suma, o Bitcoin pode ser emulado em STARK, permitindo protocolos altamente complexos para construir tokens baseados em Bitcoin usando as mesmas chaves de curva elíptica. O uso da tecnologia EC-STARKs pode rodar no protocolo off-chain do Bitcoin, mantendo a prova em STARK. Essa abordagem não apenas melhora a escalabilidade do Bitcoin, mas também permite o estabelecimento de protocolos altamente complexos no Bitcoin com maior privacidade.
Essa tecnologia leva a escalabilidade e a privacidade do Bitcoin a um nível totalmente novo, tornando o Bitcoin uma plataforma melhor. Dessa forma, os desenvolvedores podem criar aplicativos mais complexos no Bitcoin, tornando a posição do Bitcoin no mercado de criptomoedas mais estável.
Perspectivas de aplicação ZK-STARKs em Bitcoin
A aplicação de ZK-STARKs também está de acordo com a filosofia de design conservadora do Bitcoin. Não requer uma coleção confiável, mas usa tecnologias como funções de hash, árvores Merkle e polinômios para melhorar a transparência e a segurança do Bitcoin. Uma vantagem do EC-STARKS sobre o Bitcoin é que ele pode melhorar a privacidade do Bitcoin porque não exige que os detalhes das transações sejam divulgados. Outra vantagem é que reduz os requisitos de armazenamento do Bitcoin, já que pode compactar grandes quantidades de dados em uma pequena prova. Um desafio do EC-STARKS no Bitcoin é que ele requer mais recursos de computação porque precisa realizar operações matemáticas complexas. Outro desafio é que requer mais coordenação e padronização, pois precisa ser compatível com o protocolo e a infraestrutura existentes do Bitcoin.
Do ponto de vista da implementação técnica, a aplicação de ZK-STARKs pode ser dividida em nós leves, nós completos e métodos de verificação. Os nós leves podem usar stark para provar o status dos cabeçalhos de bloco para obter uma sincronização rápida. O nó completo pode realizar a prova de validade por meio do estado UTXO e usar a tecnologia utreexo para representar o estado UTXO em um novo formato, de modo que não haja necessidade de visualizar todo o estado UTXO. Em termos de métodos de verificação, você só precisa dar utreexo root + estado final para começar a verificar os blocos recebidos.
Além disso, existem muitas direções potenciais para a aplicação de ZK-STARKs. Por exemplo, combinar com o protocolo Taro pode tornar o Bitcoin um ativo mais geral, o que expande ainda mais os cenários de aplicação do Bitcoin. Ao combinar ZK-STARKs com TARO, a escalabilidade do protocolo TARO pode ser melhorada para que ele possa lidar com mais transações e o suporte para aplicativos de maior escala abrirá as portas para a implantação multicadeia do protocolo TARO. Além disso, a privacidade do Bitcoin sempre foi um problema, e a aplicação da tecnologia ZK-STARKs pode melhorar muito a privacidade do Bitcoin. Ao usar a tecnologia ZK-STARKs, todo o histórico de transações pode ser compactado em uma única transação, ocultando efetivamente as informações de transação do usuário.
O que assistir no futuro
Além disso, os ZK-STARKs podem ser usados para a verificação de transações Bitcoin, incluindo a serialização de transações Bitcoin, cálculos duplos de SHA, operações secp256k1, etc. Essas operações são o núcleo da verificação de transações Bitcoin, e o uso de ZK-STARKs pode garantir que o processo de verificação de transações Bitcoin seja altamente seguro e confiável. Os ZK-STARKs também podem ser usados para verificar a funcionalidade integrada de Cairo acelerada do Bitcoin. O Cairo é um sistema eficiente de prova de conhecimento zero que, quando usado em conjunto com os recursos integrados do Cairo acelerados do Bitcoin, permite verificação e segurança de transações Bitcoin eficientes.
Os ZK-STARKs também podem ser usados para implementar primitivos Taro e serialização TLV de ativos, bem como implementação e verificação MS-SMT, etc. Essas operações podem proteger efetivamente a privacidade e a segurança das transações Bitcoin e melhorar ainda mais a credibilidade e a confiabilidade das transações Bitcoin. Como uma solução de segundo nível para transações Bitcoin, a Lightning Network pode alcançar transações Bitcoin mais eficientes e seguras combinando a tecnologia ZK-STARKs. Usando a tecnologia ZK-STARKs, as transações Bitcoin na Lightning Network podem ser verificadas rapidamente sem sacrificar a privacidade da transação.
Vemos cada vez mais equipes adotando tecnologia de prova de conhecimento zero em infraestrutura de blockchain e dApps. Alguns desses novos esquemas podem ter o potencial de acelerar a adoção de provas de conhecimento zero no espaço blockchain e ajudar a privacidade e a escalabilidade de uma maneira melhor. No entanto, a maioria dos projetos é desenvolvida com base no Ethereum, enquanto o Bitcoin carece da devida atenção no campo das provas de conhecimento zero. Para piorar a situação, a prática da engenharia, em certo sentido, não alcançou o desempenho acadêmico. Precisamos de mais implementação e exploração nessa área, e mais atenção e apoio devem ser dados a esse campo.
Ver original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
O que "ZKP+Bitcoin" trará?
Principais conclusões
Mais e mais equipes estão adotando tecnologia de prova de conhecimento zero em infraestrutura de blockchain e dApps. No entanto, a maioria dos projetos é desenvolvida com base no Ethereum. No entanto, Bitcoin e provas de conhecimento zero realmente têm uma combinação natural, e esse campo atualmente carece da devida atenção. Que tipo de capacitação a combinação de tecnologia de prova de conhecimento zero e Bitcoin trará para a rede Bitcoin? Nesta postagem de blog do Bing Ventures, exploraremos esse tópico da perspectiva de princípios técnicos e perspectivas de aplicação.
Uma prova de conhecimento zero (ZKP) é um método matemático que permite que uma parte (chamada de provador) prove um fato para outra parte (chamada de verificador) sem fornecer ao verificador nenhuma informação sobre a prova. Essa abordagem é muito eficaz para preservar a privacidade porque o provador pode fornecer a prova ao verificador sem revelar nenhuma informação sobre a prova em si.
Bitcoin pode ter uma combinação natural de genes com provas de conhecimento zero. Bitcoin é uma moeda virtual descentralizada que usa um blockchain para registrar transações, e todas as informações da transação são públicas. No entanto, isso também significa que as informações da transação Bitcoin podem ser visualizadas por qualquer pessoa, portanto, existe o risco de vazamento de privacidade. E a prova de conhecimento zero pode resolver esse problema.
Usando provas de conhecimento zero, os usuários do Bitcoin podem criptografar as informações da transação e provar sua validade sem revelar as informações, alcançando assim um nível mais alto de proteção de privacidade. Provas de conhecimento zero também podem melhorar a escalabilidade do Bitcoin. Atualmente, a velocidade de transação do Bitcoin é limitada pelo tamanho do blockchain e pelo congestionamento da rede, o que limita seu uso em aplicações comerciais de larga escala. No entanto, usando provas de conhecimento zero, os usuários do Bitcoin podem processar uma grande quantidade de informações de transações em lotes e comprimir o tamanho de suas provas para um tamanho extremamente pequeno, melhorando assim a escalabilidade e a eficiência do Bitcoin.
Antecedentes e Justificativa
ZK-SNARKs e ZK-STARKs
Ambos ZK-SNARKs e ZK-STARKs são variantes de provas de conhecimento zero, e o que eles têm em comum é provar a validade de certos dados ou operações sem revelar informações confidenciais. No entanto, eles diferem em sua implementação, desempenho e escopo de aplicação.
ZK-SNARKs (Zero-Knowledge Succint Non-Interactive Argument of Knowledge) é uma tecnologia de prova de conhecimento zero baseada em criptografia de curva elíptica. Ele pode converter um problema computacional complexo em uma prova simples de tamanho muito pequeno e que não requer interação. Isso significa que os ZK-SNARKs podem verificar a exatidão dos cálculos sem revelar nenhuma informação de cálculo. Os campos de aplicação dos ZK-SNARKs incluem principalmente moeda de criptografia e proteção de privacidade.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) é um novo tipo de tecnologia de prova de conhecimento zero, que é mais flexível e segura do que ZK-SNARKs. A implementação de ZK-STARKs não depende de criptografia de curva elíptica, mas usa funções hash e técnicas de interpolação polinomial. Isso torna os ZK-STARKs mais confiáveis porque, em vez de depender de quebra-cabeças matemáticos imprevisíveis, eles contam com a irreversibilidade das funções de hash. Além disso, o tamanho da prova dos ZK-STARKs é maior que o dos ZK-SNARKs, mas sua prova é mais verificável, portanto pode ser aplicada a uma ampla gama de campos, como computação distribuída e segurança da Internet das Coisas.
Dificuldades em usar provas de conhecimento zero em Bitcoin
Tomando o Zcash como exemplo, o Zcash usa ZK-SNARKs em tecnologia de prova de conhecimento zero, que pode ser usada para ocultar detalhes da transação, incluindo valor da transação, identidade do participante, etc., para obter melhor proteção de privacidade. A Zcash adota o princípio técnico do ZK-SNARKS da seguinte forma:
No entanto, a tecnologia de prova de conhecimento zero adotada pelo Zcash também possui algumas limitações. Em primeiro lugar, o Zcash é baseado em UTXO, o que significa que as informações da transação não são completamente mascaradas, mas apenas bloqueadas. Portanto, os invasores podem inferir algumas informações úteis analisando os padrões e fluxos de informações da transação. Isso também faz com que o grau de proteção de privacidade do Zcash não seja totalmente confiável.
Em segundo lugar, o Zcash é uma rede separada baseada no Bitcoin, o que torna mais difícil integrá-lo a outros aplicativos. Isso, por sua vez, limita suas possibilidades de aplicação mais ampla, dificultando ainda mais seu desenvolvimento. Embora o Zcash implemente transações privadas, a taxa de uso real não é alta. Uma das razões é que o custo das transações privadas é muito maior do que o das transações públicas, o que limita seu escopo de aplicação.
Vantagens técnicas dos ZK-STARKs
O uso da tecnologia ZK-SNARKs no Bitcoin pode, de fato, alcançar o anonimato da transação e a proteção da privacidade, mas essa tecnologia tem algumas desvantagens, como a necessidade de configurações e equipamentos confiáveis e a necessidade de um grande número de recursos de computação e armazenamento. Para resolver esses problemas, algumas novas tecnologias de prova de conhecimento zero, como a tecnologia ZK-STARKs, também surgiram.
Em termos simples, o processo de ZK-STARKs inclui as seguintes etapas:
Comparada com a tecnologia ZK-SNARKs, a tecnologia ZK-STARKs tem as seguintes vantagens:
Combinação de Bitcoin e ZK-STARKs
Tecnologia EC-STARK
A tecnologia STARKs é um novo tipo de tecnologia de prova criptográfica que pode se comunicar com terceiros transferindo dados enquanto mantém a privacidade dos dados. Essa técnica permite computação off-chain e armazenamento de dados de verificação, melhorando a escalabilidade. Comparada com a tecnologia ZK-SNARKs, a tecnologia STARKs é mais avançada e pode resistir a ataques de computadores quânticos.
A tecnologia EC-STARKs é a próxima geração da tecnologia STARKs, que visa melhorar a escalabilidade e a segurança do Bitcoin, substituindo a função hash por curvas elípticas. Essa tecnologia pode tornar as soluções de escalabilidade que já existem no Ethereum compatíveis com o Bitcoin. Usando a tecnologia EC-STARKs, é possível executar o protocolo Bitcoin off-chain e armazenar provas em STARKs.
Em suma, o Bitcoin pode ser emulado em STARK, permitindo protocolos altamente complexos para construir tokens baseados em Bitcoin usando as mesmas chaves de curva elíptica. O uso da tecnologia EC-STARKs pode rodar no protocolo off-chain do Bitcoin, mantendo a prova em STARK. Essa abordagem não apenas melhora a escalabilidade do Bitcoin, mas também permite o estabelecimento de protocolos altamente complexos no Bitcoin com maior privacidade.
Essa tecnologia leva a escalabilidade e a privacidade do Bitcoin a um nível totalmente novo, tornando o Bitcoin uma plataforma melhor. Dessa forma, os desenvolvedores podem criar aplicativos mais complexos no Bitcoin, tornando a posição do Bitcoin no mercado de criptomoedas mais estável.
Perspectivas de aplicação ZK-STARKs em Bitcoin
A aplicação de ZK-STARKs também está de acordo com a filosofia de design conservadora do Bitcoin. Não requer uma coleção confiável, mas usa tecnologias como funções de hash, árvores Merkle e polinômios para melhorar a transparência e a segurança do Bitcoin. Uma vantagem do EC-STARKS sobre o Bitcoin é que ele pode melhorar a privacidade do Bitcoin porque não exige que os detalhes das transações sejam divulgados. Outra vantagem é que reduz os requisitos de armazenamento do Bitcoin, já que pode compactar grandes quantidades de dados em uma pequena prova. Um desafio do EC-STARKS no Bitcoin é que ele requer mais recursos de computação porque precisa realizar operações matemáticas complexas. Outro desafio é que requer mais coordenação e padronização, pois precisa ser compatível com o protocolo e a infraestrutura existentes do Bitcoin.
Do ponto de vista da implementação técnica, a aplicação de ZK-STARKs pode ser dividida em nós leves, nós completos e métodos de verificação. Os nós leves podem usar stark para provar o status dos cabeçalhos de bloco para obter uma sincronização rápida. O nó completo pode realizar a prova de validade por meio do estado UTXO e usar a tecnologia utreexo para representar o estado UTXO em um novo formato, de modo que não haja necessidade de visualizar todo o estado UTXO. Em termos de métodos de verificação, você só precisa dar utreexo root + estado final para começar a verificar os blocos recebidos.
Além disso, existem muitas direções potenciais para a aplicação de ZK-STARKs. Por exemplo, combinar com o protocolo Taro pode tornar o Bitcoin um ativo mais geral, o que expande ainda mais os cenários de aplicação do Bitcoin. Ao combinar ZK-STARKs com TARO, a escalabilidade do protocolo TARO pode ser melhorada para que ele possa lidar com mais transações e o suporte para aplicativos de maior escala abrirá as portas para a implantação multicadeia do protocolo TARO. Além disso, a privacidade do Bitcoin sempre foi um problema, e a aplicação da tecnologia ZK-STARKs pode melhorar muito a privacidade do Bitcoin. Ao usar a tecnologia ZK-STARKs, todo o histórico de transações pode ser compactado em uma única transação, ocultando efetivamente as informações de transação do usuário.
O que assistir no futuro
Além disso, os ZK-STARKs podem ser usados para a verificação de transações Bitcoin, incluindo a serialização de transações Bitcoin, cálculos duplos de SHA, operações secp256k1, etc. Essas operações são o núcleo da verificação de transações Bitcoin, e o uso de ZK-STARKs pode garantir que o processo de verificação de transações Bitcoin seja altamente seguro e confiável. Os ZK-STARKs também podem ser usados para verificar a funcionalidade integrada de Cairo acelerada do Bitcoin. O Cairo é um sistema eficiente de prova de conhecimento zero que, quando usado em conjunto com os recursos integrados do Cairo acelerados do Bitcoin, permite verificação e segurança de transações Bitcoin eficientes.
Os ZK-STARKs também podem ser usados para implementar primitivos Taro e serialização TLV de ativos, bem como implementação e verificação MS-SMT, etc. Essas operações podem proteger efetivamente a privacidade e a segurança das transações Bitcoin e melhorar ainda mais a credibilidade e a confiabilidade das transações Bitcoin. Como uma solução de segundo nível para transações Bitcoin, a Lightning Network pode alcançar transações Bitcoin mais eficientes e seguras combinando a tecnologia ZK-STARKs. Usando a tecnologia ZK-STARKs, as transações Bitcoin na Lightning Network podem ser verificadas rapidamente sem sacrificar a privacidade da transação.
Vemos cada vez mais equipes adotando tecnologia de prova de conhecimento zero em infraestrutura de blockchain e dApps. Alguns desses novos esquemas podem ter o potencial de acelerar a adoção de provas de conhecimento zero no espaço blockchain e ajudar a privacidade e a escalabilidade de uma maneira melhor. No entanto, a maioria dos projetos é desenvolvida com base no Ethereum, enquanto o Bitcoin carece da devida atenção no campo das provas de conhecimento zero. Para piorar a situação, a prática da engenharia, em certo sentido, não alcançou o desempenho acadêmico. Precisamos de mais implementação e exploração nessa área, e mais atenção e apoio devem ser dados a esse campo.