Mecanismo de Desafio Otimista do DLC: O Caminho Elegante para Simplificar a Complexidade
Introdução
O contrato de logaritmo discreto (DLC) é uma estrutura de execução de contratos baseada em oráculos, que permite que as partes realizem pagamentos condicionais com base em condições predefinidas. O DLC implementa novas aplicações de finanças descentralizadas, garantindo a segurança dos depósitos em Bitcoin.
O texto anterior analisou os riscos de chave associados ao DLC, riscos de confiança descentralizada, riscos de conluio, entre outros, e propôs soluções como a introdução de oráculos descentralizados, assinaturas de limiar e mecanismos de desafio otimista. No entanto, essas estratégias de defesa são relativamente complexas e carecem de simplicidade estética.
No Bitcoin, qualquer ação deve ser realizada através de UTXO. Assim, garantir a correção do UTXO com um mecanismo de consenso pode resistir a ataques arbitrários. De forma semelhante, no DLC, todas as ações são executadas através de contratos para realizar a transação (CET). Utilizando um mecanismo de desafio otimista para garantir a correção do CET, é possível resistir a ataques arbitrários.
Especificamente, o oráculo só pode assinar CET após a aposta de 2 BTC. Adicione um mecanismo de desafio otimista ao CET. Se o CET não for desafiado ou se responder com sucesso ao desafio, o CET está correto, pode ser liquidado, o oráculo libera a aposta e recebe a taxa de transação. Se o oráculo tentar agir de forma maliciosa, qualquer pessoa pode desafiar com sucesso, o CET não poderá ser liquidado, o oráculo perderá a aposta e não poderá assinar novamente o mesmo CET. Este método é simples e elegante, alinhado com a filosofia da simplicidade.
Princípio do DLC
Tomemos como exemplo um simples contrato de apostas assinado por Alice e Bob: apostar se o hash do ξ-ésimo bloco é ímpar ou par. Se for ímpar, Alice vence e pode retirar os ativos; se for par, Bob vence e pode retirar os ativos. O DLC transmite informações do bloco através de oráculos, construindo assinaturas condicionais para que a parte correta obtenha todos os ativos.
Os principais passos incluem:
Transação de capital: Alice e Bob bloqueiam cada um 10BTC em uma saída de múltiplas assinaturas 2-of-2.
Construir CET: Alice e Bob criam CET1 e CET2, para gastar transações de investimento.
O oráculo calcula o compromisso e gera a assinatura.
Liquidação: O oráculo assina o correspondente CET1 ou CET2 com base no valor hash do bloco.
Retirada: A parte vencedora calcula uma nova chave privada e gasta os 20BTC bloqueados.
A pesquisa descobriu que qualquer ação no processo acima deve ser realizada através do CET. Portanto, é suficiente usar o mecanismo de desafio otimista para garantir que o CET esteja correto, a fim de resistir a ataques arbitrários. Um CET incorreto será desafiado e não executado, enquanto um CET correto será executado. Além disso, oráculos devem pagar um preço por comportamentos maliciosos.
OP-DLC 2
OP-DLC contém os seguintes 5 regulamentos:
Os oráculos são compostos por uma aliança, onde qualquer membro pode assinar CET. É necessário fazer um stake de 2 BTC antes de poder emitir assinaturas para ganhar taxas. Membros mal-intencionados perdem o stake, enquanto os outros membros podem continuar a assinar CET. Os usuários também podem se tornar oráculos, alcançando uma minimização da confiança.
Quando o oráculo modifica resultados de forma maliciosa, qualquer parte envolvida pode iniciar um desafio.
Quando o oráculo assina honestamente o CET, o CET pode ser liquidado corretamente uma semana depois. O oráculo recebe uma recompensa de 0,05 BTC.
Qualquer pessoa pode desafiar a assinatura do oráculo. Assinaturas honestas não podem ser desafiadas, a liquidação será executada uma semana depois. Assinaturas desonestas serão desafiadas com sucesso, o oráculo perderá o valor em garantia e não poderá mais assinar resultados iguais para este contrato.
O desafio no OP-DLC é que não é necessário permissão, qualquer parte participante pode supervisionar a execução do contrato. Isso implementa a minimização da confiança em oráculos. Comparado à Lightning Network, Alice e Bob também podem estar offline.
As vantagens do OP-DLC incluem:
Alto controle de ativos, os usuários precisam confiar apenas em si mesmos
Alta utilização de fundos
O oráculo com capacidade de assinatura é determinado no momento do depósito, o usuário pode tornar-se um oráculo.
Desvantagens incluem:
O tempo de retirada leva 1 semana
A quantidade de pré-assinaturas cresce linearmente com a quantidade de CET
Conclusão
OP-DLC introduz o mecanismo de desafio otimista no CET, garantindo que CETs incorretos não sejam liquidadas e que oráculos maliciosos sejam punidos, enquanto CETs corretos são executados e oráculos honestos recebem recompensas. Este método é capaz de resistir a ataques arbitrários, refletindo a beleza da simplicidade.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
Mecanismo de desafio otimista DLC: uma solução simples para garantir a segurança do ativo
Mecanismo de Desafio Otimista do DLC: O Caminho Elegante para Simplificar a Complexidade
Introdução
O contrato de logaritmo discreto (DLC) é uma estrutura de execução de contratos baseada em oráculos, que permite que as partes realizem pagamentos condicionais com base em condições predefinidas. O DLC implementa novas aplicações de finanças descentralizadas, garantindo a segurança dos depósitos em Bitcoin.
O texto anterior analisou os riscos de chave associados ao DLC, riscos de confiança descentralizada, riscos de conluio, entre outros, e propôs soluções como a introdução de oráculos descentralizados, assinaturas de limiar e mecanismos de desafio otimista. No entanto, essas estratégias de defesa são relativamente complexas e carecem de simplicidade estética.
No Bitcoin, qualquer ação deve ser realizada através de UTXO. Assim, garantir a correção do UTXO com um mecanismo de consenso pode resistir a ataques arbitrários. De forma semelhante, no DLC, todas as ações são executadas através de contratos para realizar a transação (CET). Utilizando um mecanismo de desafio otimista para garantir a correção do CET, é possível resistir a ataques arbitrários.
Especificamente, o oráculo só pode assinar CET após a aposta de 2 BTC. Adicione um mecanismo de desafio otimista ao CET. Se o CET não for desafiado ou se responder com sucesso ao desafio, o CET está correto, pode ser liquidado, o oráculo libera a aposta e recebe a taxa de transação. Se o oráculo tentar agir de forma maliciosa, qualquer pessoa pode desafiar com sucesso, o CET não poderá ser liquidado, o oráculo perderá a aposta e não poderá assinar novamente o mesmo CET. Este método é simples e elegante, alinhado com a filosofia da simplicidade.
Princípio do DLC
Tomemos como exemplo um simples contrato de apostas assinado por Alice e Bob: apostar se o hash do ξ-ésimo bloco é ímpar ou par. Se for ímpar, Alice vence e pode retirar os ativos; se for par, Bob vence e pode retirar os ativos. O DLC transmite informações do bloco através de oráculos, construindo assinaturas condicionais para que a parte correta obtenha todos os ativos.
Os principais passos incluem:
Transação de capital: Alice e Bob bloqueiam cada um 10BTC em uma saída de múltiplas assinaturas 2-of-2.
Construir CET: Alice e Bob criam CET1 e CET2, para gastar transações de investimento.
O oráculo calcula o compromisso e gera a assinatura.
Liquidação: O oráculo assina o correspondente CET1 ou CET2 com base no valor hash do bloco.
Retirada: A parte vencedora calcula uma nova chave privada e gasta os 20BTC bloqueados.
A pesquisa descobriu que qualquer ação no processo acima deve ser realizada através do CET. Portanto, é suficiente usar o mecanismo de desafio otimista para garantir que o CET esteja correto, a fim de resistir a ataques arbitrários. Um CET incorreto será desafiado e não executado, enquanto um CET correto será executado. Além disso, oráculos devem pagar um preço por comportamentos maliciosos.
OP-DLC 2
OP-DLC contém os seguintes 5 regulamentos:
Os oráculos são compostos por uma aliança, onde qualquer membro pode assinar CET. É necessário fazer um stake de 2 BTC antes de poder emitir assinaturas para ganhar taxas. Membros mal-intencionados perdem o stake, enquanto os outros membros podem continuar a assinar CET. Os usuários também podem se tornar oráculos, alcançando uma minimização da confiança.
Quando o oráculo modifica resultados de forma maliciosa, qualquer parte envolvida pode iniciar um desafio.
Quando o oráculo assina honestamente o CET, o CET pode ser liquidado corretamente uma semana depois. O oráculo recebe uma recompensa de 0,05 BTC.
Qualquer pessoa pode desafiar a assinatura do oráculo. Assinaturas honestas não podem ser desafiadas, a liquidação será executada uma semana depois. Assinaturas desonestas serão desafiadas com sucesso, o oráculo perderá o valor em garantia e não poderá mais assinar resultados iguais para este contrato.
O desafio no OP-DLC é que não é necessário permissão, qualquer parte participante pode supervisionar a execução do contrato. Isso implementa a minimização da confiança em oráculos. Comparado à Lightning Network, Alice e Bob também podem estar offline.
As vantagens do OP-DLC incluem:
Desvantagens incluem:
Conclusão
OP-DLC introduz o mecanismo de desafio otimista no CET, garantindo que CETs incorretos não sejam liquidadas e que oráculos maliciosos sejam punidos, enquanto CETs corretos são executados e oráculos honestos recebem recompensas. Este método é capaz de resistir a ataques arbitrários, refletindo a beleza da simplicidade.