Iagon lança protocolo de prova de queima do ecossistema Cardano
Iagon recentemente completou o desafio proposto por Charles Hoskinson, desenvolvendo um protocolo de prova de queima (PoB) adequado para o ecossistema Cardano. Este artigo apresentará a solução da equipe Iagon, que inclui principalmente os seguintes aspectos:
Visão geral do mecanismo de prova de queima e suas aplicações
O mecanismo de execução de contratos inteligentes do esquema PoB da Iagon na rede Cardano
Implantação e teste de contratos inteligentes na rede de testes
Executar o protocolo PoB enviando tokens para o endereço "buraco negro"
Prova de queima e suas aplicações
Atualmente, a queima de criptomoedas ( e a destruição ) foram amplamente adotadas, essencialmente enviando os tokens para um endereço "buraco negro" inacessível. Este endereço é inacessível e 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 de "promessa" "secreto". O objetivo deste mecanismo é garantir que os fundos destruídos não sejam auditados por intermediários.
O mecanismo de queima tem várias utilidades, podendo aumentar o valor dos tokens restantes, bem como servir como prova de compromisso de um protocolo de blockchain. A queima em grande escala de tokens pode gerar pressão deflacionária, pois 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. Embora esses mecanismos tenham benefícios, há também quem se oponha à queima de tokens. Para abordar essa questão, a Iagon está empenhada em introduzir um protocolo de queima de tokens que não pode ser censurado. Esta operação especial sem censura chamou a atenção de Charles Hoskinson.
A segurança da prova de queima baseia-se no mesmo mecanismo que as transações de transferência de tokens, ou seja, "funções hash criptográficas". Essas funções são fáceis de calcular, mas muito difíceis de calcular de volta. Essencialmente, a razão pela qual é difícil calcular de volta é porque uma única alteração de bit na entrada resulta em uma alteração aleatória em cada bit da saída. Isso significa que reverter a partir da saída de uma função hash criptográfica levará muito tempo. Em resumo, inverter o bit menos significativo da função hash criptográfica pode criar um endereço de buraco negro, e qualquer coisa enviada para esse endereço será difícil ou impossível de recuperar.
Isto demonstra que a segurança das transações criptográficas baseia-se totalmente na criptografia de chave pública e nas funções de hash criptográficas: "Cada vez que se enviam fundos, é criado um novo output de transação não gasto (UTxO)." O UTxO regista a quantidade de fundos e o hash criptográfico da chave pública do destinatário. Se o destinatário quiser usar esses fundos, deve assinar uma nova transação de gasto com a mesma chave pública.
A razão para usar uma função de hash invertida que produz o bit menos significativo em vez de usar diretamente a função de hash de 0x0 é que o uso de um valor conhecido tornaria a queima imediatamente visível. No entanto, o conceito do protocolo é que primeiro os fundos são queimados, e então ( em passos independentes ) provar que foram queimados. Para isso, é necessário criar primeiro uma função de hash de um valor de compromisso, e então 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 operam na rede Cardano, permitindo que os desenvolvedores de contratos executem transações financeiras ( de acordo com regras específicas. Os contratos inteligentes visam estabelecer transações transparentes e verificáveis entre diferentes partes. Recentemente, os serviços financeiros descentralizados e as organizações descentralizadas impulsionaram o rápido crescimento de sua aplicação.
Ao contrário dos contratos inteligentes tradicionais do Ethereum, Cardano adota uma estrutura diferente, permitindo que os usuários simulem cada transação em suas próprias carteiras, tornando os ataques à rede mais difíceis. As mudanças resultantes são registradas após serem validadas pelos nós da blockchain. Os contratos inteligentes do Cardano têm três componentes:
Script de resgate: permite ou proíbe a despesa de eUTxOs
Script de carteira: representa a execução do usuário, usado para resgatar fundos e criar novos eUTxOs
eUTxOs: cada eUTxO possui fundos e um ponto de dados )datum(, utilizado para confirmar ao resgatador em que condições esses fundos podem ser reutilizados.
Isto significa que os contratos inteligentes Cardano não têm um estado centralizado no livro. Cada eUTxO possui um estado independente ) dados (, que não pode ser separado dos seus fundos. Isso gera quatro operações possíveis:
Queima: enviar fundos para um endereço de buraco negro com um valor de compromisso de hash confidencial.
Destruído: verificar se a queima de determinado valor de compromisso realmente ocorreu
Bloquear: enviar fundos para um endereço com chave
Resgatar: resgatar os fundos bloqueados na etapa anterior
É importante notar que o ponto final é executado na carteira do usuário. Após a conclusão da 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. O script verifica que os fundos só podem ser acessados pelo endereço alvo que possui o hash.
Durante o bloqueio, o valor hash pode ser o nosso próprio endereço. Na 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 de hash criptográficas, é quase impossível encontrar um valor hash correspondente ao seu resultado.
É importante notar que flipCommitment apenas inverte o bit menos significativo do hash )LSB(.
Os intermediários que recebem transações não conseguem saber se se trata de uma transação de queima ou de bloqueio. Ao usar este script, os intermediários não podem inspecionar seletivamente quaisquer transações de queima. Queima e bloqueio usam o mesmo formato de resgatador, apenas o iniciador da transação sabe se é uma queima ou um bloqueio. O valor da queima pode ser verificado usando o ponto final destruído com o valor de compromisso dado. Antes da divulgação do valor de compromisso, ninguém sabe a quantidade de fundos destruídos.
Implantação de contratos inteligentes na rede de testes
Para iniciar um nó de teste da rede com a carteira, são necessárias a frase-secreta e uma senha aleatória. Pode implantar o contrato inteligente seguindo os passos abaixo:
Instalar a cadeia de ferramentas Haskell
Construir scripts Plutus
Iniciar o container de conexão ao nodo Cardano e à carteira
Recuperar a carteira e gerar o ID da carteira ) os passos seguintes requerem (, execute o seguinte código para gerar uma frase mnemônica aleatória para teste.
Executar queima de tokens
Executar e validar a queima
Ao executar os passos acima, o exterior não pode saber se é uma transação de queima ou de bloqueio. No entanto, após a publicação desse script, as pessoas podem tentar compilar um resgatador que se recusa a corresponder ao hash do script do resgatador proposto. Isso requer um esforço enorme, mas pode levar a uma certa queima sendo revista. Para evitar que isso aconteça e tornar as violações mais difíceis, a Iagon está empenhada em tornar essa solução mais segura, que será detalhada na próxima seção.
Aproveitando o fato de que a maioria das operações de contratos inteligentes ocorre nas carteiras dos usuários, criar um esquema de execução que utilize apenas carteiras pode tornar os contratos inteligentes desnecessários. No entanto, essa prática pode ter um significado prático, ou seja, é impossível impedir seletivamente as transações dos contratos inteligentes correspondentes à queima. Contudo, aqueles que desejam impedir todas as queimaduras podem bloquear todos os scripts para atingir esse objetivo. Usando apenas carteiras, a única forma de censurar a queima é censurar todas as transações do Cardano. Isso representa uma resistência definitiva à censura.
Para conseguir isso, precisamos 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 previne erros de entrada nos endereços verificando a estrutura e o código CRC. Portanto, a maneira mais simples de gerar um endereço a partir do compromisso é usar o seguinte script e a biblioteca API do Cardano.
Para ver como funciona, você pode usar o seguinte código para gerar o endereço de queima:
Este artigo divide a implementação do protocolo de prova de queima em duas maneiras: contratos inteligentes ou transações de carteira. No entanto, os contratos inteligentes Alonzo atualmente carecem da infraestrutura necessária, como a biblioteca PAB. Portanto, sugerimos o uso de scripts de carteira. De qualquer forma, a biblioteca PAB será implementada em breve para o desenvolvimento de aplicações baseadas em Cardano, e, combinando scripts de carteira, soluções complexas de contratos inteligentes podem ser mais viáveis para criar um ambiente que resista a possíveis censuras. Se desejar saber mais sobre esta solução, você 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.
10 Curtidas
Recompensa
10
9
Compartilhar
Comentário
0/400
FalseProfitProphet
· 07-11 06:36
PoB novamente fazendo algo novo? Aviso de grande perda
Ver originalResponder0
FomoAnxiety
· 07-10 20:57
Destruir para quê? Não é vocês que querem aproveitar-se dos idiotas?
Ver originalResponder0
ILCollector
· 07-09 13:47
Queimar Token? Então, todo o dinheiro que perdi não seria queimado?
Ver originalResponder0
SchrodingerProfit
· 07-08 18:55
Queimar Endereço啥的 怪吓人的
Ver originalResponder0
AirdropHarvester
· 07-08 18:49
Já podemos queimar moeda novamente. O Deus do Cartão realmente sabe jogar.
Ver originalResponder0
DisillusiionOracle
· 07-08 18:49
Testemunhar a verdade por trás do encriptação mundial
Ver originalResponder0
SadMoneyMeow
· 07-08 18:49
paciente crônico de perda que não trabalha de graça
Ver originalResponder0
YieldWhisperer
· 07-08 18:48
hmm o mesmo mecanismo de queima antigo que vimos falhar em 2021... clássico ciclo vicioso à vista
Ver originalResponder0
OnchainHolmes
· 07-08 18:45
Queimar tokens é possível. Se tem coragem, queime todos.
A equipe Iagon desenvolveu com sucesso o protocolo de prova de queima do ecossistema Cardano.
Iagon lança protocolo de prova de queima do ecossistema Cardano
Iagon recentemente completou o desafio proposto por Charles Hoskinson, desenvolvendo um protocolo de prova de queima (PoB) adequado para o ecossistema Cardano. Este artigo apresentará a solução da equipe Iagon, que inclui principalmente os seguintes aspectos:
Prova de queima e suas aplicações
Atualmente, a queima de criptomoedas ( e a destruição ) foram amplamente adotadas, essencialmente enviando os tokens para um endereço "buraco negro" inacessível. Este endereço é inacessível e 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 de "promessa" "secreto". O objetivo deste mecanismo é garantir que os fundos destruídos não sejam auditados por intermediários.
O mecanismo de queima tem várias utilidades, podendo aumentar o valor dos tokens restantes, bem como servir como prova de compromisso de um protocolo de blockchain. A queima em grande escala de tokens pode gerar pressão deflacionária, pois 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. Embora esses mecanismos tenham benefícios, há também quem se oponha à queima de tokens. Para abordar essa questão, a Iagon está empenhada em introduzir um protocolo de queima de tokens que não pode ser censurado. Esta operação especial sem censura chamou a atenção de Charles Hoskinson.
A segurança da prova de queima baseia-se no mesmo mecanismo que as transações de transferência de tokens, ou seja, "funções hash criptográficas". Essas funções são fáceis de calcular, mas muito difíceis de calcular de volta. Essencialmente, a razão pela qual é difícil calcular de volta é porque uma única alteração de bit na entrada resulta em uma alteração aleatória em cada bit da saída. Isso significa que reverter a partir da saída de uma função hash criptográfica levará muito tempo. Em resumo, inverter o bit menos significativo da função hash criptográfica pode criar um endereço de buraco negro, e qualquer coisa enviada para esse endereço será difícil ou impossível de recuperar.
Isto demonstra que a segurança das transações criptográficas baseia-se totalmente na criptografia de chave pública e nas funções de hash criptográficas: "Cada vez que se enviam fundos, é criado um novo output de transação não gasto (UTxO)." O UTxO regista a quantidade de fundos e o hash criptográfico da chave pública do destinatário. Se o destinatário quiser usar esses fundos, deve assinar uma nova transação de gasto com a mesma chave pública.
A razão para usar uma função de hash invertida que produz o bit menos significativo em vez de usar diretamente a função de hash de 0x0 é que o uso de um valor conhecido tornaria a queima imediatamente visível. No entanto, o conceito do protocolo é que primeiro os fundos são queimados, e então ( em passos independentes ) provar que foram queimados. Para isso, é necessário criar primeiro uma função de hash de um valor de compromisso, e então 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 operam na rede Cardano, permitindo que os desenvolvedores de contratos executem transações financeiras ( de acordo com regras específicas. Os contratos inteligentes visam estabelecer transações transparentes e verificáveis entre diferentes partes. Recentemente, os serviços financeiros descentralizados e as organizações descentralizadas impulsionaram o rápido crescimento de sua aplicação.
Ao contrário dos contratos inteligentes tradicionais do Ethereum, Cardano adota uma estrutura diferente, permitindo que os usuários simulem cada transação em suas próprias carteiras, tornando os ataques à rede mais difíceis. As mudanças resultantes são registradas após serem validadas pelos nós da blockchain. Os contratos inteligentes do Cardano têm três componentes:
Isto significa que os contratos inteligentes Cardano não têm um estado centralizado no livro. Cada eUTxO possui um estado independente ) dados (, que não pode ser separado dos seus fundos. Isso gera quatro operações possíveis:
É importante notar que o ponto final é executado na carteira do usuário. Após a conclusão da 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. O script verifica que os fundos só podem ser acessados pelo endereço alvo que possui o hash.
Durante o bloqueio, o valor hash pode ser o nosso próprio endereço. Na 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 de hash criptográficas, é quase impossível encontrar um valor hash correspondente ao seu resultado.
É importante notar que flipCommitment apenas inverte o bit menos significativo do hash )LSB(.
Os intermediários que recebem transações não conseguem saber se se trata de uma transação de queima ou de bloqueio. Ao usar este script, os intermediários não podem inspecionar seletivamente quaisquer transações de queima. Queima e bloqueio usam o mesmo formato de resgatador, apenas o iniciador da transação sabe se é uma queima ou um bloqueio. O valor da queima pode ser verificado usando o ponto final destruído com o valor de compromisso dado. Antes da divulgação do valor de compromisso, ninguém sabe a quantidade de fundos destruídos.
![])https://img-cdn.gateio.im/webp-social/moments-f7f162dc2a412b8d5ff903636b2e631b.webp(
Implantação de contratos inteligentes na rede de testes
Para iniciar um nó de teste da rede com a carteira, são necessárias a frase-secreta e uma senha aleatória. Pode implantar o contrato inteligente seguindo os passos abaixo:
Instalar a cadeia de ferramentas Haskell
Construir scripts Plutus
Iniciar o container de conexão ao nodo Cardano e à carteira
Recuperar a carteira e gerar o ID da carteira ) os passos seguintes requerem (, execute o seguinte código para gerar uma frase mnemônica aleatória para teste.
Executar queima de tokens
Executar e validar a queima
Ao executar os passos acima, o exterior não pode saber se é uma transação de queima ou de bloqueio. No entanto, após a publicação desse script, as pessoas podem tentar compilar um resgatador que se recusa a corresponder ao hash do script do resgatador proposto. Isso requer um esforço enorme, mas pode levar a uma certa queima sendo revista. Para evitar que isso aconteça e tornar as violações mais difíceis, a Iagon está empenhada em tornar essa solução mais segura, que será detalhada na próxima seção.
![])https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp(
De contratos inteligentes a scripts de carteira
Aproveitando o fato de que a maioria das operações de contratos inteligentes ocorre nas carteiras dos usuários, criar um esquema de execução que utilize apenas carteiras pode tornar os contratos inteligentes desnecessários. No entanto, essa prática pode ter um significado prático, ou seja, é impossível impedir seletivamente as transações dos contratos inteligentes correspondentes à queima. Contudo, aqueles que desejam impedir todas as queimaduras podem bloquear todos os scripts para atingir esse objetivo. Usando apenas carteiras, a única forma de censurar a queima é censurar todas as transações do Cardano. Isso representa uma resistência definitiva à censura.
Para conseguir isso, precisamos 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 previne erros de entrada nos endereços verificando a estrutura e o código CRC. Portanto, a maneira mais simples de gerar um endereço a partir do compromisso é usar o seguinte script e a biblioteca API do Cardano.
Para ver como funciona, você pode usar o seguinte código para gerar o endereço de queima:
![])https://img-cdn.gateio.im/webp-social/moments-fed84a6717b012408df1b428b2d80586.webp(
Então, você pode usar o seguinte código para submeter a transação à blockchain Cardano:
![])https://img-cdn.gateio.im/webp-social/moments-3d2bf883bd43da42085612065d17c6ef.webp(
Para validar a queima, é necessário usar o seguinte código para verificar as transações enviadas para o endereço de queima:
![])https://img-cdn.gateio.im/webp-social/moments-5f4fdc7de34aa6b902801d1592aee783.webp(
Conclusão
Este artigo divide a implementação do protocolo de prova de queima em duas maneiras: contratos inteligentes ou transações de carteira. No entanto, os contratos inteligentes Alonzo atualmente carecem da infraestrutura necessária, como a biblioteca PAB. Portanto, sugerimos o uso de scripts de carteira. De qualquer forma, a biblioteca PAB será implementada em breve para o desenvolvimento de aplicações baseadas em Cardano, e, combinando scripts de carteira, soluções complexas de contratos inteligentes podem ser mais viáveis para criar um ambiente que resista a possíveis censuras. Se desejar saber mais sobre esta solução, você pode consultar todas as informações relevantes no Github.
![])https://img-cdn.gateio.im/webp-social/moments-e16e0067b6839764b5e34d1ef1f960fd.webp(