Heute veröffentlichen wir BABE, ein neues Groth16-Protokoll zur Verifizierung von Beweisen für Bitcoin. Es verbessert den Stand der Technik um drei Größenordnungen in Bezug auf Einrichtungs- und Speicherkosten. BABE (BAbylon-BErkeley) ist eine Synthese aus zwei Schlüsselideen: Zeugenverschlüsselung auf linearer Paarung und Argo MAC, einem kürzlich eingeführten Garbling-Primitiv. Die Zeugenverschlüsselung auf linearer Paarung reduziert die komplexen Paarungsoperationen in der Groth16-Verifizierung auf eine einzige skalare Multiplikation auf der BN254-Elliptischen Kurve. Die einzelne skalare Multiplikation kann weiter in ein vektorielles homomorphes MAC umgewandelt werden, das effizient mit Argo MAC berechnet werden kann. BABE wird im Februar als Teil des Alpha-Testnets von Babylon für den Trustless Bitcoin Vault gestartet. Wir danken: - unseren Berkeley-Kollaboratoren @SanjamGarg und Dimitris Kolonelos, die uns so viel über Zeugenverschlüsselung beigebracht haben - @liameagen und @therealyingtong für die Weitergabe ihrer großartigen Arbeit zu Argo MAC - dem Babylon-Engineering-Team, das unsere theoretischen Ideen in ein reales System mit nachweisbaren Leistungssteigerungen umgesetzt hat. Schaut euch das Papier an und gebt uns Feedback!