Aujourd'hui, nous lançons BABE, un nouveau protocole de vérification de preuve Groth16 pour Bitcoin. Il améliore l'état de l'art de trois ordres de grandeur en termes de coûts de configuration et de stockage. BABE (BAbylon-BErkeley) est une synthèse de deux idées clés : Le chiffrement par témoin sur appariement linéaire, et Argo MAC, un primitive de garbling récemment introduite. Le chiffrement par témoin sur appariement linéaire réduit les opérations d'appariement complexes dans la vérification Groth16 à une seule multiplication scalaire sur la courbe elliptique BN254. La multiplication scalaire unique peut être transformée en un MAC homomorphe vectoriel, qui peut être calculé efficacement par Argo MAC. BABE sera lancé dans le cadre du test alpha de Babylon pour le Trustless Bitcoin Vault en février. Nous remercions : - nos collaborateurs de Berkeley @SanjamGarg et Dimitris Kolonelos pour nous avoir tant appris sur le chiffrement par témoin - @liameagen et @therealyingtong pour avoir partagé leur travail incroyable sur Argo MAC - l'équipe d'ingénierie de Babylon, pour avoir transformé nos idées théoriques en un système réel avec des gains de performance démontrables. Consultez le document et donnez-nous vos retours !