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