Blockchain/Nível V · Camadas/5.1 Lightning/Lição 5
Penas e torres de vigilância
A chave de revogação, a janela do timelock e a terceira parte que monitora
MateriaisUm explorador de blocos capaz de visualizar os scripts de transação (por exemplo, mempool.space)O documento de especificações do BOLT #2Um editor de texto para revisar a lógica do script
Curiosidade
- Por que transmitir uma transação tecnicamente válida, mas desatualizada, resulta em perda total em vez de ganho parcial?
- Como um nó pode ficar off-line por semanas sem que sua contraparte roube seus fundos?
- Qual mudança específica no consenso do Bitcoin permitiria que duas partes simplesmente sobrescrevessem estados antigos por novos, eliminando completamente a necessidade de lógica de penalização?
Explorar
- Os canais de lightning dependem de transações de compromisso assinadas que representam um instantâneo do saldo. Se uma das partes ficar off-line e seu par transmitir um estado desatualizado no qual ela possui mais recursos, isso constitui uma violação do protocolo. O nó honesto precisa de um mecanismo para reagir imediatamente e recuperar seu saldo, mesmo após semanas de desconexão. Sem tal proteção, a segurança depende inteiramente da conectividade constante.
- A defesa se baseia em segredos de revogação. Sempre que o estado do canal é atualizado, cada lado revela o segredo por trás de seu compromisso anterior, o que permite ao outro lado derivar uma chave de revogação para aquele estado antigo. Se um dos participantes transmitir esse valor posteriormente, a parte honesta já possui essa chave. Isso permite que eles gastem imediatamente a saída do trapaceiro, contornando quaisquer atrasos. A própria saída do transmissor é retida por um timelock relativo, geralmente entre 144 e 2.016 blocos (cerca de um dia a duas semanas), dependendo da implementação e do tamanho do canal.
- Esse mecanismo requer que alguém monitore a cadeia. Um nó que fica off-line por muito tempo não consegue detectar a transmissão a tempo. As torres de vigilância resolvem isso mantendo transações punitivas criptografadas preparadas pelo usuário. Esses backups são associados a IDs específicos de transação, garantindo privacidade até que ocorra uma violação. A torre monitora o mempool e a blockchain em busca desses IDs específicos.
- Quando uma torre de vigilância detecta a entrada de um estado antigo na cadeia, ela descriptografa o backup relevante usando o ID da transação que cometeu a violação. Em seguida, ela transmite uma transação punitiva que gasta a saída fraudulenta para a parte honesta. Isso confisca todo o saldo do trapaceiro como penalidade por violar as regras do protocolo. A ameaça de perda total supera o possível ganho com a fraude.
- O fechamento forçado de canais também acarreta custos significativos. Os timelocks atrasam o acesso aos fundos, e reservas para taxas precisam ser mantidas para garantir que as transações se propaguem durante períodos de altas taxas. Esses atritos econômicos incentivam fechamentos cooperativos. Os usuários que operam seus próprios nós assumem esses riscos diretamente; aqueles que utilizam serviços custodiados transferem esse ônus para o provedor.
- Um design alternativo, eltoo ou LN-Symmetry (Decker, Russell e Osuntokun, 2018), substituiria as penalidades por uma simples substituição de estado. Isso requer um soft fork: SIGHASH_ANYPREVOUT (BIP118), ou alternativas como CTV combinado com CHECKSIGFROMSTACK. Até que isso seja ativado, o atual modelo de penalização e revogação continua sendo o único mecanismo seguro de aplicação para canais Lightning em produção.
Fatos-chave
- Como o segredo de revogação de cada estado antigo era entregue quando este era substituído, transmitir esse estado permite que a outra parte reivindique todo o saldo do canal.
- A saída do transmissor fica aguardando atrás de um timelock relativo (geralmente de 144 a 2.016 blocos), dando à vítima tempo para reagir.
- As torres de vigilância armazenam cópias criptografadas dos dados do estado vinculadas a IDs de transação, preservando a privacidade até que uma violação na cadeia seja detectada.
- O design do protocolo Eltoo eliminaria as transações de penalização por meio da simples substituição de estado, mas requer o soft fork BIP118 para ativação.
- Os fechamentos forçados exigem a manutenção de reservas para taxas e o cumprimento de prazos obrigatórios, tornando-os economicamente mais caros em comparação com os fechamentos cooperativos.
- A cada atualização, cada lado revela o segredo de seu compromisso anterior, permitindo uma penalidade caso esse estado seja transmitido alguma vez.
Exercício nove, seis, três, um
9ReunirListe 9 estados ou eventos distintos no ciclo de vida de um canal Lightning que envolvem trocas de chaves, assinaturas ou transmissões na cadeia.
6AgruparAgrupe esses 9 itens em 6 categorias com base em suas implicações de segurança: ações cooperativas, aplicação unilateral, preservação da privacidade, custos econômicos, dependências de consenso e transições de estado.
3DestilarReduza os 6 grupos a 3 trade-offs fundamentais que definem o perfil de risco de operar um nó Lightning não custodiado.
1CristalizarEscreva uma frase explicando por que a ameaça de perda total por meio dos segredos de revogação é necessária para a segurança dos pagamentos fora da cadeia.
Verificação de fatos
Datas, números e afirmações verificados com as fontes publicadas listadas abaixo.