Hoje lançamos o BABE, um novo protocolo de verificação de prova Groth16 para Bitcoin. Ele melhora o estado da arte em três ordens de magnitude nos custos de configuração e armazenamento. BABE (BAbylon-BErkeley) é uma síntese de duas ideias-chave: Criptografia de testemunho em emparelhamento linear e Argo MAC, um primitivo de garbling recentemente introduzido. A criptografia de testemunho em emparelhamento linear reduz as operações de emparelhamento complexas na verificação Groth16 a uma única multiplicação escalar na curva elíptica BN254. A única multiplicação escalar pode ser transformada em um MAC homomórfico vetorial, que pode ser computado de forma eficiente pelo Argo MAC. O BABE será lançado como parte da alpha-testnet de Babylon para o Trustless Bitcoin Vault em fevereiro. Agradecemos: - aos nossos colaboradores de Berkeley @SanjamGarg e Dimitris Kolonelos por nos ensinarem tanto sobre criptografia de testemunho - @liameagen e @therealyingtong por compartilharem seu trabalho incrível sobre Argo MAC - à equipe de engenharia da Babylon, por transformar nossas ideias teóricas em um sistema real com ganhos de desempenho demonstráveis Confira o artigo e nos dê feedback!