Protocolo de prova de queima no ecossistema Cardano

Recentemente, o desafio do protocolo de prova de queima ( PoB ) proposto para o ecossistema Cardano foi concluído. Este artigo apresentará os detalhes desta solução, incluindo os seguintes aspectos:

1. Visão geral do mecanismo de prova de queima e suas aplicações
2. Implementação de um protocolo de contrato inteligente de prova de queima na rede Cardano
3. Processo de implementação e teste de contratos inteligentes
4. Método para implementar a prova de queima através de transações na carteira

Visão geral do mecanismo de prova de queima

A queima de tokens criptográficos é essencialmente o envio de tokens para um endereço "buraco negro" que não pode ser acessado. Este endereço não possui chave privada, portanto, os tokens destruídos não podem ser recuperados. Ao mesmo tempo, o público pode verificar que a queima ocorreu, mas só conhece um valor "secreto" de compromisso.

O mecanismo de queima tem várias utilizações, podendo aumentar o valor dos tokens remanescentes e também servir como prova de compromisso do protocolo de blockchain. A queima em grande escala reduzirá a quantidade total de tokens em circulação, podendo desencadear pressão deflacionária.

A segurança da prova de queima baseia-se em funções de hash criptográficas. Estas funções são fáceis de calcular, mas extremamente difíceis de inverter. Ao inverter o bit menos significativo da saída da função de hash, pode-se criar um endereço de buraco negro, qualquer coisa enviada para esse endereço não pode ser recuperada.

Contrato inteligente de prova de queima na rede Cardano

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

• Script de resgate: controla o gasto do eUTxO
• Script de carteira: representa a execução do usuário, usado para resgatar fundos e criar novos eUTxO
• eUTxO: fundos mantidos e dados utilizados para resgatar

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

O protocolo de prova de queima contém quatro operações:

• Queima: enviar fundos para o endereço do buraco negro
• Verificação: confirmar que a queima de um valor de compromisso ocorreu
• Bloqueio: enviar fundos para um endereço com chave
• Resgate: Recuperar os fundos bloqueados

Ao usar o mesmo formato de resgatador, os intermediários não conseguem diferenciar entre transações de queima e de bloqueio, evitando assim a censura seletiva.

Implantação e teste de contratos inteligentes

Os principais passos para implantar contratos inteligentes na rede de teste:

1. Instalar a cadeia de ferramentas Haskell
2. Construir scripts Plutus
3. Iniciar o container do nó e da carteira Cardano
4. Restaurar a carteira e obter o ID da carteira
5. Executar transação de queima
6. Verificar o resultado da queima

Esquema de prova de queima baseado em transações de carteira

Para aumentar ainda mais a capacidade de resistência à censura, pode-se utilizar apenas transações de carteira para implementar a prova de queima:

1. Substituir o hash da chave pública pelo hash do valor do compromisso e inverter o bit menos significativo
2. Usar a API Cardano para gerar um endereço de queima que esteja em conformidade com os requisitos de formato
3. Enviar transação para a blockchain Cardano
4. Verifique através da visualização das transações enviadas para o endereço de queima

Este método faz com que a única forma de censurar a queima seja censurar todas as transações Cardano, aumentando significativamente a resistência à censura.

No futuro, com a melhoria da biblioteca PAB, a combinação de soluções de contratos inteligentes complexos com scripts de carteira se tornará mais viável, permitindo a criação de um ambiente mais robusto contra a censura.