Protocolo de Prova de Queima: Aplicação inovadora na Cardano
A equipe da Iagon recentemente completou um desafio, desenvolvendo o protocolo de prova de queima (PoB) para o ecossistema Cardano. Esta é uma resposta a uma pergunta feita por uma figura conhecida no campo da blockchain. Este artigo apresentará a solução da equipe da Iagon, incluindo os seguintes aspectos principais:
Visão geral do mecanismo de prova de queima e suas aplicações
Os detalhes da implementação do esquema PoB da Iagon na rede Cardano
Implantar e testar contratos inteligentes na rede de teste
Executar o protocolo PoB enviando tokens para o endereço "buraco negro"
Prova de queima e suas aplicações
A queima de tokens ( e a destruição ) são práticas comuns, que essencialmente envolvem o envio de tokens para um endereço "buraco negro" que não pode ser acessado. Este endereço não possui uma chave privada, portanto os tokens destruídos não podem ser recuperados. O público pode verificar que a destruição realmente ocorreu, mas apenas conhece um valor "secreto" de compromisso. Este mecanismo pode prevenir a censura de intermediários sobre os fundos destruídos.
O mecanismo de queima tem várias aplicações, podendo aumentar o valor dos tokens remanescentes e servir como prova de compromisso do protocolo de blockchain. A queima em grande escala de tokens pode gerar pressão deflacionária, uma vez que reduz a quantidade total de tokens em circulação. Embora a queima seja uma transação comum em blockchain, ainda requer a aceitação dos mineradores. Apesar de esses mecanismos terem certos benefícios, também existem opositores à queima de tokens. Para abordar essa questão, a Iagon está dedicada ao desenvolvimento de um protocolo de queima de tokens que não pode ser censurado. Essa operação especial sem censura chamou a atenção de figuras conhecidas da indústria.
A segurança da prova de queima baseia-se no mesmo mecanismo das transações de transferência de tokens, ou seja, funções de hash criptográficas. Essas funções são fáceis de calcular, mas difíceis de inverter. Essencialmente, pequenas mudanças na entrada resultam em saídas completamente diferentes. Isso significa que reverter a partir da saída da função de hash levará muito tempo. Em resumo, ao inverter o menor bit da função de hash criptográfica, pode-se criar um endereço de buraco negro. Qualquer coisa enviada para esse endereço se tornará difícil ou impossível de recuperar.
A segurança das transações em criptomoedas baseia-se inteiramente na criptografia de chave pública e nas funções de hash criptográficas: "Sempre que enviar fundos, será criado um novo output de transação não gasto (UTxO)." Este UTxO registra a quantidade de fundos e o valor hash da chave pública do destinatário. Se o destinatário quiser usar esses fundos, deve assinar uma nova transação de despesa com a mesma chave pública.
Por que inverter o bit menos significativo da saída da função hash, em vez de usar diretamente o valor hash de 0x0? A razão é que o uso de um valor conhecido torna a queima imediatamente visível. No entanto, o design do protocolo é que primeiro os fundos são queimados, e então ( em um passo separado ) prova que foi queimado. Para alcançar isso, é necessário primeiro criar um hash de um valor de compromisso. Em seguida, o valor de compromisso mostra que um endereço de buraco negro foi criado.
Contrato inteligente de prova de queima na rede Cardano
Os contratos inteligentes Cardano são programas que funcionam na rede Cardano, permitindo que os desenvolvedores executem transações financeiras ( de acordo com regras pré-estabelecidas. Os contratos inteligentes visam estabelecer transações transparentes e verificáveis entre as partes. Recentemente, o surgimento de serviços financeiros descentralizados e organizações descentralizadas impulsionou o rápido crescimento da aplicação de contratos inteligentes.
Ao contrário dos contratos inteligentes do Ethereum, Cardano adota uma estrutura diferente. Permite que os usuários simulem cada transação em sua própria carteira, aumentando a dificuldade de ataques à rede. As alterações geradas pelas transações são registradas após serem validadas pelos nós da blockchain. Para isso, o contrato inteligente Cardano inclui três componentes:
Script do resgatador: permite ou proíbe o gasto de eUTxOs
Script de carteira: representa a execução do usuário, usado para resgatar fundos e criar novos eUTxOs
eUTxOs: Cada eUTxO contém fundos e um ponto de dados )datum(, usado para que o resgatador determine quando pode reutilizar esses fundos.
Isto significa que os contratos inteligentes Cardano não têm um estado centralizado no livro-razão. Cada eUTxO tem um estado independente ) dados (, e é inseparável dos seus fundos. Isto gera as seguintes quatro possíveis operações:
Queima: enviar fundos para um endereço de buraco negro com um valor de compromisso hash secreto
Validação de queima: validar que a queima de um determinado valor de compromisso realmente ocorreu
Bloqueio: enviar fundos para um endereço com chave
Resgate: resgatar fundos que estavam bloqueados anteriormente
É importante notar que o ponto final é executado na carteira do usuário. Após a execução do script do ponto final na carteira, a transação gerada será movida para a blockchain. Neste caso, essa transação moverá os fundos para o script de resgate. Esse script valida que os fundos só podem ser acessados pelo endereço de destino que possui seu valor hash.
Na operação de bloqueio, o valor hash pode ser o nosso próprio endereço. Na operação de queima, o valor hash aponta para um endereço de buraco negro. Conseguimos isso atribuindo um valor de compromisso secreto ao hash e, em seguida, invertendo-o. Devido ao uso de funções hash criptográficas, é quase impossível encontrar um valor hash que corresponda ao resultado.
O intermediário que realiza a transação não pode saber se a transação é uma queima ou um bloqueio. Utilizando este script, o intermediário não pode revisar seletivamente qualquer transação de queima. Queima e bloqueio usam o mesmo formato de resgatador, e somente o iniciador da transação sabe se é uma transação de queima ou bloqueio. O valor da queima pode ser verificado utilizando o ponto final de queima que valida o valor de compromisso dado. Antes da divulgação do valor de compromisso, ninguém sabe a quantidade de fundos que foram destruídos.
Implantação da rede de teste de contratos inteligentes
Para implantar um contrato inteligente na rede de teste, você precisa executar os seguintes passos:
Instalar a cadeia de ferramentas Haskell
Construir scripts Plutus
Iniciar o container que conecta ao nó e à carteira Cardano
Restaurar a carteira e obter o ID da carteira
Executar a operação de queima de tokens
Executar a operação de validação de queima
Ao executar os passos acima, o exterior não consegue saber se a transação é de queima ou bloqueio. No entanto, após a publicação deste script, as pessoas podem tentar compilar a rejeição do resgatador, correspondente ao hash do script de resgate proposto. Isso requer um esforço enorme, mas pode levar a uma certa queima a ser auditada. Para evitar que isso aconteça e tornar as violações mais difíceis de implementar, a Iagon está se esforçando para aumentar a segurança dessa solução.
Aproveitando o fato de que a maioria das operações de contratos inteligentes ocorre nas carteiras dos usuários, é possível criar um esquema de execução que utiliza apenas a carteira, tornando os contratos inteligentes desnecessários. O significado prático dessa abordagem é que não é possível bloquear seletivamente as transações de contratos inteligentes correspondentes ao queima. No entanto, os revisores que desejam bloquear todas as queimas podem alcançar esse objetivo bloqueando todos os scripts. Se apenas a carteira for utilizada, a única maneira de revisar as queimas é revisar todas as transações do Cardano. Isso representa uma resistência definitiva à revisão.
Para realizar isso, é necessário substituir o hash da chave pública pelo hash do valor de compromisso e inverter o bit menos significativo do valor de compromisso. Mas isso não é suficiente. O Cardano evitará erros de entrada no endereço verificando a estrutura e o código CRC. Portanto, a maneira mais simples de gerar um endereço a partir do compromisso é usar um script específico e a biblioteca API do Cardano.
Pode-se usar o código fornecido para gerar um endereço de queima e, em seguida, submeter a transação à blockchain Cardano. Para verificar a queima, é necessário olhar para as transações enviadas para o endereço de queima.
Este artigo divide a implementação do protocolo de prova de queima em duas formas: contratos inteligentes e transações de carteira. No entanto, devido à falta da infraestrutura necessária dos contratos inteligentes Alonzo, como a biblioteca PAB, recomendamos o uso de scripts de carteira. De qualquer forma, a biblioteca PAB irá apoiar o desenvolvimento de aplicações baseadas em Cardano no futuro próximo, combinando scripts de carteira, o que pode criar uma solução de contrato inteligente mais complexa e resistente à censura. Se quiser saber mais sobre esta solução, pode consultar todas as informações relevantes no Github.
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.
Protocolo de prova de queima implementado no Cardano: a equipe da Iagon cria uma solução contra a censura
Protocolo de Prova de Queima: Aplicação inovadora na Cardano
A equipe da Iagon recentemente completou um desafio, desenvolvendo o protocolo de prova de queima (PoB) para o ecossistema Cardano. Esta é uma resposta a uma pergunta feita por uma figura conhecida no campo da blockchain. Este artigo apresentará a solução da equipe da Iagon, incluindo os seguintes aspectos principais:
Prova de queima e suas aplicações
A queima de tokens ( e a destruição ) são práticas comuns, que essencialmente envolvem o envio de tokens para um endereço "buraco negro" que não pode ser acessado. Este endereço não possui uma chave privada, portanto os tokens destruídos não podem ser recuperados. O público pode verificar que a destruição realmente ocorreu, mas apenas conhece um valor "secreto" de compromisso. Este mecanismo pode prevenir a censura de intermediários sobre os fundos destruídos.
O mecanismo de queima tem várias aplicações, podendo aumentar o valor dos tokens remanescentes e servir como prova de compromisso do protocolo de blockchain. A queima em grande escala de tokens pode gerar pressão deflacionária, uma vez que reduz a quantidade total de tokens em circulação. Embora a queima seja uma transação comum em blockchain, ainda requer a aceitação dos mineradores. Apesar de esses mecanismos terem certos benefícios, também existem opositores à queima de tokens. Para abordar essa questão, a Iagon está dedicada ao desenvolvimento de um protocolo de queima de tokens que não pode ser censurado. Essa operação especial sem censura chamou a atenção de figuras conhecidas da indústria.
A segurança da prova de queima baseia-se no mesmo mecanismo das transações de transferência de tokens, ou seja, funções de hash criptográficas. Essas funções são fáceis de calcular, mas difíceis de inverter. Essencialmente, pequenas mudanças na entrada resultam em saídas completamente diferentes. Isso significa que reverter a partir da saída da função de hash levará muito tempo. Em resumo, ao inverter o menor bit da função de hash criptográfica, pode-se criar um endereço de buraco negro. Qualquer coisa enviada para esse endereço se tornará difícil ou impossível de recuperar.
A segurança das transações em criptomoedas baseia-se inteiramente na criptografia de chave pública e nas funções de hash criptográficas: "Sempre que enviar fundos, será criado um novo output de transação não gasto (UTxO)." Este UTxO registra a quantidade de fundos e o valor hash da chave pública do destinatário. Se o destinatário quiser usar esses fundos, deve assinar uma nova transação de despesa com a mesma chave pública.
Por que inverter o bit menos significativo da saída da função hash, em vez de usar diretamente o valor hash de 0x0? A razão é que o uso de um valor conhecido torna a queima imediatamente visível. No entanto, o design do protocolo é que primeiro os fundos são queimados, e então ( em um passo separado ) prova que foi queimado. Para alcançar isso, é necessário primeiro criar um hash de um valor de compromisso. Em seguida, o valor de compromisso mostra que um endereço de buraco negro foi criado.
Contrato inteligente de prova de queima na rede Cardano
Os contratos inteligentes Cardano são programas que funcionam na rede Cardano, permitindo que os desenvolvedores executem transações financeiras ( de acordo com regras pré-estabelecidas. Os contratos inteligentes visam estabelecer transações transparentes e verificáveis entre as partes. Recentemente, o surgimento de serviços financeiros descentralizados e organizações descentralizadas impulsionou o rápido crescimento da aplicação de contratos inteligentes.
Ao contrário dos contratos inteligentes do Ethereum, Cardano adota uma estrutura diferente. Permite que os usuários simulem cada transação em sua própria carteira, aumentando a dificuldade de ataques à rede. As alterações geradas pelas transações são registradas após serem validadas pelos nós da blockchain. Para isso, o contrato inteligente Cardano inclui três componentes:
Isto significa que os contratos inteligentes Cardano não têm um estado centralizado no livro-razão. Cada eUTxO tem um estado independente ) dados (, e é inseparável dos seus fundos. Isto gera as seguintes quatro possíveis operações:
É importante notar que o ponto final é executado na carteira do usuário. Após a execução do script do ponto final na carteira, a transação gerada será movida para a blockchain. Neste caso, essa transação moverá os fundos para o script de resgate. Esse script valida que os fundos só podem ser acessados pelo endereço de destino que possui seu valor hash.
Na operação de bloqueio, o valor hash pode ser o nosso próprio endereço. Na operação de queima, o valor hash aponta para um endereço de buraco negro. Conseguimos isso atribuindo um valor de compromisso secreto ao hash e, em seguida, invertendo-o. Devido ao uso de funções hash criptográficas, é quase impossível encontrar um valor hash que corresponda ao resultado.
O intermediário que realiza a transação não pode saber se a transação é uma queima ou um bloqueio. Utilizando este script, o intermediário não pode revisar seletivamente qualquer transação de queima. Queima e bloqueio usam o mesmo formato de resgatador, e somente o iniciador da transação sabe se é uma transação de queima ou bloqueio. O valor da queima pode ser verificado utilizando o ponto final de queima que valida o valor de compromisso dado. Antes da divulgação do valor de compromisso, ninguém sabe a quantidade de fundos que foram destruídos.
![])https://img-cdn.gateio.im/webp-social/moments-f7f162dc2a412b8d5ff903636b2e631b.webp(
Implantação da rede de teste de contratos inteligentes
Para implantar um contrato inteligente na rede de teste, você precisa executar os seguintes passos:
Ao executar os passos acima, o exterior não consegue saber se a transação é de queima ou bloqueio. No entanto, após a publicação deste script, as pessoas podem tentar compilar a rejeição do resgatador, correspondente ao hash do script de resgate proposto. Isso requer um esforço enorme, mas pode levar a uma certa queima a ser auditada. Para evitar que isso aconteça e tornar as violações mais difíceis de implementar, a Iagon está se esforçando para aumentar a segurança dessa solução.
![])https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp(
Do contrato inteligente ao script da carteira
Aproveitando o fato de que a maioria das operações de contratos inteligentes ocorre nas carteiras dos usuários, é possível criar um esquema de execução que utiliza apenas a carteira, tornando os contratos inteligentes desnecessários. O significado prático dessa abordagem é que não é possível bloquear seletivamente as transações de contratos inteligentes correspondentes ao queima. No entanto, os revisores que desejam bloquear todas as queimas podem alcançar esse objetivo bloqueando todos os scripts. Se apenas a carteira for utilizada, a única maneira de revisar as queimas é revisar todas as transações do Cardano. Isso representa uma resistência definitiva à revisão.
Para realizar isso, é necessário substituir o hash da chave pública pelo hash do valor de compromisso e inverter o bit menos significativo do valor de compromisso. Mas isso não é suficiente. O Cardano evitará erros de entrada no endereço verificando a estrutura e o código CRC. Portanto, a maneira mais simples de gerar um endereço a partir do compromisso é usar um script específico e a biblioteca API do Cardano.
Pode-se usar o código fornecido para gerar um endereço de queima e, em seguida, submeter a transação à blockchain Cardano. Para verificar a queima, é necessário olhar para as transações enviadas para o endereço de queima.
![])https://img-cdn.gateio.im/webp-social/moments-fed84a6717b012408df1b428b2d80586.webp(
Conclusão
Este artigo divide a implementação do protocolo de prova de queima em duas formas: contratos inteligentes e transações de carteira. No entanto, devido à falta da infraestrutura necessária dos contratos inteligentes Alonzo, como a biblioteca PAB, recomendamos o uso de scripts de carteira. De qualquer forma, a biblioteca PAB irá apoiar o desenvolvimento de aplicações baseadas em Cardano no futuro próximo, combinando scripts de carteira, o que pode criar uma solução de contrato inteligente mais complexa e resistente à censura. Se quiser saber mais sobre esta solução, pode consultar todas as informações relevantes no Github.
![])https://img-cdn.gateio.im/webp-social/moments-3d2bf883bd43da42085612065d17c6ef.webp(