Hari ini kami merilis BABE, protokol verifikasi bukti Groth16 baru untuk Bitcoin. Ini meningkatkan canggih dengan tiga urutan besarnya dalam biaya penyiapan dan penyimpanan. BABE (BAbylon-BErkeley) adalah sintesis dari dua ide kunci: Saksikan enkripsi pada pasangan linier, dan Argo MAC, primitif yang baru diperkenalkan. Enkripsi saksi pada pasangan linier mengurangi operasi pemasangan kompleks dalam verifikasi Groth16 menjadi perkalian skalar tunggal pada kurva elips BN254. Perkalian skalar tunggal selanjutnya dapat diubah menjadi MAC homomorfik vektor, yang dapat dihitung secara efisien oleh Argo MAC. BABE akan diluncurkan sebagai bagian dari alpha-testnet Babylon untuk Trustless Bitcoin Vault pada bulan Februari. Kami berterima kasih: - kolaborator Berkeley kami @SanjamGarg dan Dimitris Kolonelos karena mengajari kami banyak hal tentang enkripsi saksi - @liameagen dan @therealyingtong untuk berbagi karya luar biasa mereka di Argo MAC - tim teknik Babylon, untuk mengubah ide-ide teoretis kami menjadi sistem nyata dengan peningkatan kinerja yang dapat dibuktikan Lihat makalah dan beri kami umpan balik!