TechFlow, une information de première main : David Tse, professeur à l’université Stanford et cofondateur de Babylon, a annoncé que son équipe vient officiellement de publier BABE (BAbylon-BErkeley), un protocole de vérification de preuve Groth16 destiné au Bitcoin. Selon l'équipe, cette solution améliore d'environ trois ordres de grandeur (x1000) par rapport aux meilleures solutions existantes en termes de coût de configuration (setup) et de stockage, rendant ainsi la vérification de preuves zkSNARK sur Bitcoin beaucoup plus faisable et pratiquement réalisable d’un point de vue ingénierie.
Le protocole BABE repose sur deux idées clés : le chiffrement de témoin (witness encryption) fondé sur des appariements linéaires, et un nouveau mécanisme appelé Argo MAC (une primitive de chiffrement homomorphe adapté aux circuits logiques). Grâce au witness encryption, les opérations d’appariement complexes impliquées dans la vérification Groth16 sont compressées en une simple multiplication scalaire sur la courbe elliptique BN254. Cette multiplication scalaire peut ensuite être transformée en un MAC vectoriel homomorphe, puis efficacement calculée via Argo MAC.
L’équipe indique que BABE sera intégré comme composant du Babylon Trustless Bitcoin Vault, et fera son apparition sur le réseau alpha-testnet de Babylon prévu en février. Elle invite la communauté à lire l'article scientifique publié et à fournir ses retours.
