Em 2018, Tadge Dryja do MIT propôs o Discreet Log Contract (DLC), que é uma estrutura de execução de contratos baseada em oráculos. O DLC permite que as partes realizem pagamentos condicionais com base em condições predefinidas, pré-determinando resultados possíveis e realizando pré-assinaturas, executando pagamentos quando o oráculo assina o resultado. Esse método garante a segurança dos depósitos em Bitcoin, ao mesmo tempo que viabiliza novas aplicações financeiras descentralizadas.
Pesquisas anteriores analisaram as vantagens e os problemas existentes do DLC, e propuseram algumas soluções de otimização. No entanto, devido ao fato de o DLC envolver a participação de várias partes, as estratégias de defesa são relativamente complexas, carecendo de simplicidade estética.
No sistema Bitcoin, todas as ações são realizadas através de UTXO. Portanto, garantir a correção do UTXO pode resistir a ataques arbitrários. Da mesma forma, em DLC, todas as ações são realizadas através de CET (Contract Execution Transaction). Usar um mecanismo de desafio otimista para garantir a correção do CET pode resistir a ataques arbitrários. Especificamente, o oráculo deve apostar 2BTC para assinar o CET e adicionar um mecanismo de desafio otimista ao CET. Se o CET não for desafiado ou responder com sucesso ao desafio, é considerado correto e a liquidação é concluída, o oráculo libera a aposta e recebe uma taxa. Se o oráculo tentar agir de forma maliciosa, qualquer pessoa pode desafiar com sucesso, resultando na impossibilidade de liquidação do CET, o oráculo perde o depósito e perde o direito de assinar novamente. Este método está em conformidade com o princípio "a simplicidade é a máxima sofisticação" e possui uma beleza de simplicidade.
2. Princípios do DLC
Por exemplo, com um simples contrato de aposta: Alice e Bob fazem uma aposta sobre se o valor hash do ξ-ésimo bloco é ímpar ou par. Se for ímpar, Alice ganha; se for par, Bob ganha. O DLC transmite informações do bloco através de oráculos, construindo assinaturas condicionais, de modo que a parte correta receba todos os ativos.
Os principais passos do DLC incluem: transações de investimento, construção de CET, liquidação e retirada de moedas. Durante este processo, todas as ações precisam ser realizadas através do CET. Assim, basta usar o mecanismo de desafio otimista para garantir que o CET esteja correto, podendo resistir a ataques arbitrários. Um CET incorreto será desafiado e não será executado, enquanto um CET correto será executado. Ao mesmo tempo, o oráculo deve pagar um preço por comportamentos maliciosos.
3. OP-DLC 2
OP-DLC inclui as seguintes cinco principais disposições:
O oráculo é composto por uma aliança, onde qualquer membro pode assinar CET. O oráculo precisa de um depósito de 2 BTC para poder emitir assinaturas e ganhar taxas. Membros mal-intencionados perderão seu depósito, enquanto outros membros poderão continuar a assinar CET para garantir a saída de fundos dos usuários. Os usuários também podem se tornar oráculos, realizando uma minimização da confiança.
Se o oráculo modificar os resultados de forma maliciosa, qualquer parte envolvida pode iniciar um desafio.
Quando o oráculo assina o CET de forma honesta, ninguém consegue iniciar um desafio válido. Uma semana depois, o CET pode ser liquidado corretamente, e o oráculo recebe uma recompensa de 0,05 BTC.
Qualquer pessoa pode desafiar o Oracle_sign. Assinaturas honestas não podem ser desafiadas com sucesso, e a liquidação será executada uma semana depois. Assinaturas desonestas resultarão na perda do stake do oráculo e na perda do direito de assinar novamente o contrato DLC.
O desafio no OP-DLC é que não requer permissão, qualquer parte envolvida pode supervisionar a execução do contrato. Isso alcança a minimização da confiança nos oráculos, e os usuários também podem estar offline.
As vantagens do OP-DLC incluem:
Os usuários têm um alto controle sobre os ativos e podem confiar apenas em si mesmos.
Alta taxa de utilização de capital
O oráculo que pode assinar é determinado no momento do depósito, os usuários podem tornar-se oráculos.
Desvantagens incluem:
O tempo de saída de fundos precisa de uma semana
A quantidade de pré-assinaturas tem uma relação linear com a quantidade de CET, aumentando rapidamente.
4. Conclusão
OP-DLC traz o mecanismo de desafio otimista para CET, garantindo que CETs incorretos não sejam liquidadas e que oráculos maliciosos sejam punidos, ao mesmo tempo que assegura que CETs corretos sejam executados e que os oráculos recebam as recompensas devidas. Este método é capaz de resistir a ataques arbitrários, refletindo a beleza da simplicidade.
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.
9 Curtidas
Recompensa
9
3
Repostar
Compartilhar
Comentário
0/400
DataBartender
· 19h atrás
Difícil de mastigar o DLC, mas ainda é cheiro de flocos de milho zzz
Ver originalResponder0
DeFiAlchemist
· 19h atrás
*ajusta a lente etérea* fascinante como a geometria sagrada do DLC reflete princípios alquímicos antigos... a simplicidade é verdadeiramente a pedra filosofal do design de protocolos
Ver originalResponder0
tx_pending_forever
· 19h atrás
Outra vez esse tipo de coisa chique... estou confuso.
OP-DLC 2: Uma otimização revolucionária do mecanismo de desafio DLC usando princípios simples.
OP-DLC 2: A verdade é sempre simples
1. Introdução
Em 2018, Tadge Dryja do MIT propôs o Discreet Log Contract (DLC), que é uma estrutura de execução de contratos baseada em oráculos. O DLC permite que as partes realizem pagamentos condicionais com base em condições predefinidas, pré-determinando resultados possíveis e realizando pré-assinaturas, executando pagamentos quando o oráculo assina o resultado. Esse método garante a segurança dos depósitos em Bitcoin, ao mesmo tempo que viabiliza novas aplicações financeiras descentralizadas.
Pesquisas anteriores analisaram as vantagens e os problemas existentes do DLC, e propuseram algumas soluções de otimização. No entanto, devido ao fato de o DLC envolver a participação de várias partes, as estratégias de defesa são relativamente complexas, carecendo de simplicidade estética.
No sistema Bitcoin, todas as ações são realizadas através de UTXO. Portanto, garantir a correção do UTXO pode resistir a ataques arbitrários. Da mesma forma, em DLC, todas as ações são realizadas através de CET (Contract Execution Transaction). Usar um mecanismo de desafio otimista para garantir a correção do CET pode resistir a ataques arbitrários. Especificamente, o oráculo deve apostar 2BTC para assinar o CET e adicionar um mecanismo de desafio otimista ao CET. Se o CET não for desafiado ou responder com sucesso ao desafio, é considerado correto e a liquidação é concluída, o oráculo libera a aposta e recebe uma taxa. Se o oráculo tentar agir de forma maliciosa, qualquer pessoa pode desafiar com sucesso, resultando na impossibilidade de liquidação do CET, o oráculo perde o depósito e perde o direito de assinar novamente. Este método está em conformidade com o princípio "a simplicidade é a máxima sofisticação" e possui uma beleza de simplicidade.
2. Princípios do DLC
Por exemplo, com um simples contrato de aposta: Alice e Bob fazem uma aposta sobre se o valor hash do ξ-ésimo bloco é ímpar ou par. Se for ímpar, Alice ganha; se for par, Bob ganha. O DLC transmite informações do bloco através de oráculos, construindo assinaturas condicionais, de modo que a parte correta receba todos os ativos.
Os principais passos do DLC incluem: transações de investimento, construção de CET, liquidação e retirada de moedas. Durante este processo, todas as ações precisam ser realizadas através do CET. Assim, basta usar o mecanismo de desafio otimista para garantir que o CET esteja correto, podendo resistir a ataques arbitrários. Um CET incorreto será desafiado e não será executado, enquanto um CET correto será executado. Ao mesmo tempo, o oráculo deve pagar um preço por comportamentos maliciosos.
3. OP-DLC 2
OP-DLC inclui as seguintes cinco principais disposições:
O oráculo é composto por uma aliança, onde qualquer membro pode assinar CET. O oráculo precisa de um depósito de 2 BTC para poder emitir assinaturas e ganhar taxas. Membros mal-intencionados perderão seu depósito, enquanto outros membros poderão continuar a assinar CET para garantir a saída de fundos dos usuários. Os usuários também podem se tornar oráculos, realizando uma minimização da confiança.
Se o oráculo modificar os resultados de forma maliciosa, qualquer parte envolvida pode iniciar um desafio.
Quando o oráculo assina o CET de forma honesta, ninguém consegue iniciar um desafio válido. Uma semana depois, o CET pode ser liquidado corretamente, e o oráculo recebe uma recompensa de 0,05 BTC.
Qualquer pessoa pode desafiar o Oracle_sign. Assinaturas honestas não podem ser desafiadas com sucesso, e a liquidação será executada uma semana depois. Assinaturas desonestas resultarão na perda do stake do oráculo e na perda do direito de assinar novamente o contrato DLC.
O desafio no OP-DLC é que não requer permissão, qualquer parte envolvida pode supervisionar a execução do contrato. Isso alcança a minimização da confiança nos oráculos, e os usuários também podem estar offline.
As vantagens do OP-DLC incluem:
Desvantagens incluem:
4. Conclusão
OP-DLC traz o mecanismo de desafio otimista para CET, garantindo que CETs incorretos não sejam liquidadas e que oráculos maliciosos sejam punidos, ao mesmo tempo que assegura que CETs corretos sejam executados e que os oráculos recebam as recompensas devidas. Este método é capaz de resistir a ataques arbitrários, refletindo a beleza da simplicidade.