OP-DLC 2: O Caminho da Simplicidade

Em 2018, Tadge Dryja do MIT propôs uma estrutura de execução de contratos baseada em oráculos—Discreet Log Contract (DLC). O DLC permite que as partes realizem pagamentos condicionais com base em condições pré-definidas, executando os pagamentos através de assinaturas pré-assinadas e a assinatura de resultados por oráculos. Esse método garante a segurança do depósito em Bitcoin enquanto implementa novas aplicações financeiras descentralizadas.

O texto anterior resumiu as vantagens e os problemas enfrentados pelos DLCs, e apresentou algumas propostas de otimização. No entanto, como os DLCs envolvem múltiplas partes, a estratégia de defesa é relativamente complexa. Para buscar a beleza da simplicidade, precisamos voltar ao essencial: no Bitcoin, qualquer ação deve ser realizada através de UTXO. Da mesma forma, as ações nos DLCs são realizadas através do CET(Contract Execution Transaction). Portanto, basta garantir a correção do CET para se proteger contra vários ataques.

Especificamente, podemos introduzir um mecanismo de desafio otimista para garantir a correção do CET. O oráculo deve fazer um depósito de 2BTC para assinar o CET. Se o CET não for desafiado ou conseguir responder ao desafio, é considerado correto e pode ser executado o pagamento, o oráculo libera o depósito e recebe a taxa. Se o oráculo tentar agir de má-fé, qualquer pessoa pode iniciar um desafio, resultando na impossibilidade de pagamento do CET, o oráculo perde o depósito e perde o direito de assinatura desse CET. Este mecanismo é simples e eficaz, alinhando-se ao princípio de "a simplicidade é a chave".

Princípio do DLC

Tomemos como exemplo uma aposta entre Alice e Bob sobre a paridade do hash de um bloco, para explicar o princípio básico do DLC:

1. Aporte de capital em transação: Alice e Bob bloqueiam 10 BTC cada um em uma saída de múltiplas assinaturas.

2. Construir CET: Ambas as partes criam dois CET, correspondendo a diferentes resultados.

3. Liquidação: o oráculo assina o CET correspondente com base no resultado real.

4. Saque: O vencedor calcula uma nova chave privada e retira um total de 20BTC.

A chave está em que todas as ações são realizadas através do CET. Portanto, basta garantir a correção do CET para prevenir vários ataques. Um CET incorreto será contestado e não será executado, enquanto um CET correto será executado. Ao mesmo tempo, o oráculo deve pagar o preço por comportamentos maliciosos.

OP-DLC 2

OP-DLC inclui as seguintes disposições:

1. O oráculo é composto por uma aliança, qualquer membro pode assinar CET. É necessário apostar 2BTC para poder assinar e ganhar taxas.

2. Se o oráculo adulterar os resultados, qualquer um pode iniciar um desafio.

3. Se o oráculo assinar honestamente, o CET pode ser liquidado uma semana depois, e o oráculo receberá uma recompensa.

4. Qualquer pessoa pode desafiar a assinatura do oráculo:

   • Se for honesto, o CET será liquidado normalmente, o oráculo desbloqueia a garantia e recebe a taxa de transação.
   • Se não for honesto, a assinatura é inválida, o oráculo perde o depósito e a capacidade de assinar novamente.

5. O mecanismo de desafios não requer permissão, qualquer pessoa pode supervisionar a execução do contrato, alcançando a mínima confiança nos oráculos.

As principais vantagens do OP-DLC:

• O controle de ativos é elevado, os usuários podem confiar apenas em si mesmos
• Alta taxa de utilização de fundos, sem necessidade de pagamento antecipado de valores equivalentes.
• O oráculo deve ser determinado no momento do depósito, mas o usuário pode se tornar um oráculo.

Principais desvantagens:

• O saque deve aguardar um período de desafio de uma semana
• A quantidade de pré-assinaturas cresce linearmente com a quantidade de CET

Conclusão

A OP-DLC garante que os CET incorretos não sejam liquidadas e que os oráculos maliciosos sejam punidos, introduzindo um mecanismo de desafio otimista no CET, ao mesmo tempo que assegura a execução dos CET corretos. Este método simples e eficaz pode resistir a vários ataques, refletindo a filosofia de design "a simplicidade é a máxima sofisticação".