“Fazer o mal vai vazar diretamente a chave privada” soa como um slogan, mas ao separar a matemática você percebe que é mais duro do que qualquer confisco por contrato. Voltando ao núcleo do EOTS: quando o Provedor de Finalidade (FP) assina um bloco na rede BSN, ele usa uma assinatura Schnorr de uso único; a promessa do nonce precisa estar vinculada à altura de um único bloco. Se na mesma altura ele assinar dois blocos conflitantes, então, com as duas assinaturas (r,s1) e (r,s2) à mostra, todos os nós conseguem calcular diretamente a chave privada temporária k pela fórmula k=(s1-s2)/(H1-H2) e, ao substituir em (s1=k+H(m1)*x), dá para descobrir a chave privada de longo prazo do FP. Isso nem é “multa”: é a chave privada exposta pela matemática—qualquer pessoa que a obtiver consegue imediatamente transmitir transações para desviar todo o BTC travado pelo FP; nem mesmo o próprio FP consegue impedir.
É por isso que o “slashing” do Babylon é chamado de “slashing criptográfico”, enquanto o do Lido é “slashing de contrato”. No Lido, o slashing precisa esperar votação de governança, esperar execução de contrato, e o que é punido é um tipo de token como o stETH (um tipo de credencial). No Babylon, o slashing acontece na camada de transações da mainnet do Bitcoin: assim que é acionado, os BTCs em staking do FP são queimados—0,1% para um endereço burn irrecuperável; o restante também pode ser tomado/antecipado por nós completos na corrida de liquidação. Todo o processo não tem auditoria por DAO, nem atraso; nós completos do Bitcoin são o executor da lei.
Na minha última vez no testnet, eu fiz de propósito um FP assinar duas vezes: dez minutos depois aquele UTXO foi consumido, e no navegador dava para ver tudo com clareza. Essa segurança não depende de “acreditar que os nós não são maliciosos”; o ponto é que o FP simplesmente não pode se dar ao luxo de ser mal. Por isso, quando você vê alguém comparar o Babylon com “BTC versão do Lido”, você pode, em geral, concluir que ele não entendeu o EOTS ou não compreendeu a execução do script na mainnet. Você acha que esse tipo de slashing forçado pela matemática vai virar, no futuro, um padrão de camada de segurança para fazer o BTC render juros?
#baby @BabylonLabs_io $BABY