Implementação do protocolo de prova de queima do ecossistema Cardano

Recentemente, uma equipe desenvolveu um protocolo de prova de queima (PoB) adequado para o ecossistema Cardano, em resposta às questões levantadas por Charles Hoskinson. Este artigo apresentará esta solução, e o conteúdo principal inclui:

1. Visão geral do mecanismo de prova de queima e suas aplicações
2. A solução PoB para o mecanismo de execução de contratos inteligentes na rede Cardano
3. Processo de implementação e teste de contratos inteligentes
4. 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 ) consistem essencialmente em enviar tokens para um endereço "buraco negro" inacessível. Este mecanismo pode ser utilizado para aumentar o valor dos tokens restantes ou como uma prova de compromisso do protocolo de blockchain. Embora a queima de uma grande quantidade de tokens possa gerar pressão deflacionária, continua a ser uma transação comum em blockchain.

A segurança da prova de queima baseia-se em funções de hash criptográfico. Essas funções são fáceis de calcular para a frente, mas extremamente difíceis de reverter. Ao inverter o bit menos significativo da saída da função de hash criptográfico, pode-se criar um endereço de buraco negro. Qualquer coisa enviada para esse endereço tornará-se difícil ou impossível de recuperar.

Contrato inteligente de prova de queima na rede Cardano

Os contratos inteligentes Cardano são compostos por três partes:

• Script de resgate: permite ou proíbe o gasto de eUTxOs
• Script de carteira: representa a execução pelo usuário, utilizado para resgatar fundos e criar novos eUTxOs
• eUTxOs: pontos de dados que detêm fundos e são usados para resgatar

Os contratos inteligentes do Cardano não têm estado centralizado no livro-razão, cada eUTxO possui um estado independente.

Esta solução PoB contém quatro operações:

• Queima: enviar fundos para o endereço do buraco negro
• Destruído: verificar se a queima realmente ocorreu
• Bloquear: enviar fundos para um endereço com chave
• Resgate: Resgatar fundos bloqueados

Os intermediários não conseguem distinguir transações de queima e de bloqueio, o que evita a revisão das transações de queima.

Implantação de contratos inteligentes

Os passos de implantação incluem:

1. Instalar a cadeia de ferramentas Haskell
2. Construir scripts Plutus
3. Iniciar o protocolo Cardano e o recipiente da carteira
4. Recuperar a carteira e obter o ID da carteira
5. Execução da queima de tokens
6. Verificação da queima

Do protocolo de contrato inteligente ao script de carteira

Para aumentar ainda mais a segurança, as operações podem ser transferidas de contratos inteligentes para scripts de carteira. Este método torna a revisão das transações de queima muito mais difícil, a menos que todas as transações do Cardano sejam revisadas.

Para alcançar 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. Também é necessário considerar a estrutura do endereço Cardano e o mecanismo de verificação de erros.

Conclusão

Este artigo apresenta a implementação do protocolo de prova de queima no ecossistema Cardano. Atualmente, recomenda-se o uso de scripts de carteira, mas no futuro, à medida que a biblioteca PAB for aprimorada, soluções de contratos inteligentes complexos combinadas com scripts de carteira podem ser mais viáveis, ajudando a criar um ambiente mais resistente a possíveis censuras.