Dziś wydajemy BABE, nowy protokół weryfikacji dowodów Groth16 dla Bitcoin. Poprawia on stan techniki o trzy rzędy wielkości w zakresie kosztów przygotowania i przechowywania. BABE (BAbylon-BErkeley) jest syntezą dwóch kluczowych pomysłów: Szyfrowanie świadków na liniowym parowaniu oraz Argo MAC, niedawno wprowadzony prymityw garblujący. Szyfrowanie świadków na liniowym parowaniu redukuje złożone operacje parowania w weryfikacji Groth16 do pojedynczej mnożenia skalarnego na krzywej eliptycznej BN254. Pojedyncze mnożenie skalarne można dalej przekształcić w wektorowy homomorficzny MAC, który można efektywnie obliczyć za pomocą Argo MAC. BABE zostanie uruchomiony jako część alpha-testnetu Babylon dla Trustless Bitcoin Vault w lutym. Dziękujemy: - naszym współpracownikom z Berkeley @SanjamGarg i Dimitrisowi Kolonelosowi za nauczenie nas tak wiele o szyfrowaniu świadków - @liameagen i @therealyingtong za podzielenie się swoją niesamowitą pracą nad Argo MAC - zespołowi inżynieryjnemu Babylon, za przekształcenie naszych teoretycznych pomysłów w rzeczywisty system z wykazywalnymi zyskami wydajnościowymi Zapoznaj się z dokumentem i daj nam znać, co myślisz!