O Bitcoin não vai ler recibos do Ethereum, mas precisa decidir a quem devolver o BTC trancado no Taproot. Isso é como pedir a um porteiro que só aceita carimbos que revise uma sentença judicial escrita em língua estrangeira.
Sigo o fluxo BABE de <0-9>@BabylonLabs_io </0-9> e descubro que não é para fazer o Bitcoin executar um verificador ZK completo, mas sim transformar a verificação de veracidade da prova em um jogo de desafio previamente preparado.
No resgate, a pipeline de provas primeiro confirma que o bloco da área do Ethereum Beacon já está finalizado, depois associa o bloco de execução ao recibo de resgate e, por fim, o SP1 gera a prova e a comprime em Groth16. O recebedor então transmite o Claim e o Assert; com WOTS, ele grava o compromisso da prova na transação do Bitcoin. Em seguida, entra a janela de desafio na testnet pública, com cerca de 432 blocos de BTC, quase três dias.
O ponto-chave está no Peg-in. Com os parâmetros atuais, cada grupo de recebedores e desafiadores gera 307 circuitos de confusão candidatos, publica 301 verificações para impedir fraude, e só deixa as 6 partes selecionadas aleatoriamente para tratar disputas futuras. É como abrir e inspecionar a maioria das provas lacradas e usar apenas o restante para a avaliação oficial.
Se o recebedor enviar uma prova falsa, o desafiador reexecuta a verificação e inicia o Challenge; a prova falsa não consegue recuperar a etiqueta correta. Após cerca de 108 blocos, o desafiador pode seguir o caminho de No-Payout, impedindo a liberação do BTC e confiscando sua garantia. Se uma prova válida sofrer um desafio malicioso, o recebedor consegue extrair a etiqueta correta, transmite WronglyChallenged e continua com o Payout, fazendo o desafiador perder a garantia.
Portanto, o BABE não faz o Bitcoin “entender” o Ethereum diretamente: ele impede que o mentiroso consiga avançar para o próximo passo. Mas como circuitos de confusão, a pipeline de provas e a taxa de online do desafiador entram em cena, qualquer falha em qualquer etapa afeta a saída. Antes do lançamento na mainnet, o que eu mais quero ver é se uma disputa real consegue rodar por completo — e não apenas um Happy Path sem desafio.
#baby $BABY
Sigo o fluxo BABE de <0-9>@BabylonLabs_io </0-9> e descubro que não é para fazer o Bitcoin executar um verificador ZK completo, mas sim transformar a verificação de veracidade da prova em um jogo de desafio previamente preparado.
No resgate, a pipeline de provas primeiro confirma que o bloco da área do Ethereum Beacon já está finalizado, depois associa o bloco de execução ao recibo de resgate e, por fim, o SP1 gera a prova e a comprime em Groth16. O recebedor então transmite o Claim e o Assert; com WOTS, ele grava o compromisso da prova na transação do Bitcoin. Em seguida, entra a janela de desafio na testnet pública, com cerca de 432 blocos de BTC, quase três dias.
O ponto-chave está no Peg-in. Com os parâmetros atuais, cada grupo de recebedores e desafiadores gera 307 circuitos de confusão candidatos, publica 301 verificações para impedir fraude, e só deixa as 6 partes selecionadas aleatoriamente para tratar disputas futuras. É como abrir e inspecionar a maioria das provas lacradas e usar apenas o restante para a avaliação oficial.
Se o recebedor enviar uma prova falsa, o desafiador reexecuta a verificação e inicia o Challenge; a prova falsa não consegue recuperar a etiqueta correta. Após cerca de 108 blocos, o desafiador pode seguir o caminho de No-Payout, impedindo a liberação do BTC e confiscando sua garantia. Se uma prova válida sofrer um desafio malicioso, o recebedor consegue extrair a etiqueta correta, transmite WronglyChallenged e continua com o Payout, fazendo o desafiador perder a garantia.
Portanto, o BABE não faz o Bitcoin “entender” o Ethereum diretamente: ele impede que o mentiroso consiga avançar para o próximo passo. Mas como circuitos de confusão, a pipeline de provas e a taxa de online do desafiador entram em cena, qualquer falha em qualquer etapa afeta a saída. Antes do lançamento na mainnet, o que eu mais quero ver é se uma disputa real consegue rodar por completo — e não apenas um Happy Path sem desafio.
#baby $BABY
