OP-DLC 2: A verdade é sempre simples.

Discreet Log Contract (DLC) é uma estrutura de execução de contratos baseada em oráculos, que permite que as partes realizem pagamentos condicionais de acordo com condições predefinidas. O DLC implementa novas aplicações de finanças descentralizadas, garantindo a segurança dos depósitos em Bitcoin.

Análises anteriores indicam que o DLC tem vantagens em termos de proteção de privacidade, contratos complexos e baixo risco de ativos, mas também apresenta problemas como risco de chave, risco de confiança descentralizada e risco de conluio. Para resolver esses problemas, podem ser introduzidos oráculos descentralizados, assinaturas de limiar e mecanismos de desafio otimista. No entanto, como o DLC envolve a participação de várias partes, as estratégias de defesa são relativamente complexas, carecendo de simplicidade.

No Bitcoin, qualquer ação deve ser realizada através de UTXO. Portanto, usar um mecanismo de consenso para garantir a correção do UTXO pode resistir a ataques arbitrários. Da mesma forma, em DLC, todas as ações são executadas por meio do contrato CET( para realizar transações ). Usar um mecanismo de desafio otimista para garantir a correção do CET pode resistir a ataques arbitrários. Especificamente, o oráculo só pode assinar o CET após ser garantido. Adicione um mecanismo de desafio otimista ao CET. Se o CET não for desafiado ou responder com sucesso a um desafio, o CET é considerado correto, podendo ser liquidado, e o oráculo libera o colateral e recebe a taxa; se o oráculo tentar agir de forma maliciosa, qualquer pessoa pode desafiá-lo com sucesso, e o CET não poderá ser liquidado, resultando na perda do colateral pelo oráculo, que não poderá assinar novamente o mesmo CET. Este método é simples e eficaz, com uma beleza concisa.

Princípio do DLC

Alice e Bob assinam um contrato de aposta, apostando na paridade do hash de um bloco. Através de um oráculo, as informações do bloco são transmitidas para construir uma assinatura condicional, permitindo que o vencedor correto ganhe todos os ativos.

O processo inclui: investimento em transações ( na cadeia, construção de CET ) fora da cadeia, liquidação ( de fora da cadeia para dentro da cadeia e retirada ) na cadeia. A pesquisa descobriu que é suficiente usar um mecanismo de desafio otimista para garantir a correção do CET, a fim de resistir a ataques arbitrários. CETs incorretos serão desafiados e não executados, enquanto CETs corretos serão executados. Ao mesmo tempo, oráculos devem pagar um preço por comportamentos maliciosos.

OP-DLC 2

OP-DLC contém as seguintes disposições:

1. O oráculo é composto por uma aliança, qualquer membro pode assinar CET. É necessário fazer staking antes de publicar a assinatura para ganhar taxas. Os malfeitores perdem o staking, e outros membros podem continuar a assinar CET para garantir a retirada dos usuários.

2. Quando a oracle cometer um ato malicioso e modificar o resultado, qualquer parte envolvida pode iniciar um desafio.

3. Quando o oráculo assina honestamente o CET, ninguém pode iniciar um desafio válido. Uma semana depois, o CET pode ser liquidado corretamente, e o oráculo recebe uma recompensa.

4. Qualquer pessoa pode desafiar a assinatura do oráculo. Assinaturas honestas não podem ser desafiadas, o acerto é executado uma semana depois; assinaturas desonestas podem ser desafiadas com sucesso, o oráculo perde o depósito e a permissão para assinar novamente.

5. O desafio no OP-DLC é que é sem permissão, qualquer parte envolvida pode supervisionar a execução do contrato. Foi alcançada a minimização da confiança no oráculo.

As vantagens do OP-DLC incluem:

• O controlo de ativos é elevado, os utilizadores podem confiar apenas em si mesmos.
• Alta taxa de utilização de fundos
• O oráculo é determinado no depósito, e o usuário pode tornar-se um oráculo.

Desvantagens incluem:

• O tempo de retirada leva uma semana
• A quantidade de pré-assinaturas necessária é linearmente relacionada à 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 recebem recompensas. Este método pode resistir a ataques arbitrários, refletindo a beleza da simplicidade.