Сьогодні ми випускаємо BABE — новий протокол перевірки Groth16 proof для біткоїна. Він покращує сучасний стан на три порядки у витратах на налаштування та зберігання. BABE (BAbylon-BErkeley) — це синтез двох ключових ідей: Свідчіть про шифрування лінійних пар, а також Argo MAC, нещодавно введений примітив для гарблінгу. Шифрування свідків на лінійному спаруванні зводить складні операції парування в верифікації Groth16 до одного скалярного множення на еліптичній кривій BN254. Одне скалярне множення можна додатково перетворити у векторний гомоморфний MAC, який ефективно обчислюється за допомогою Argo MAC. BABE буде запущено як частина альфа-тестнету Babylon для Trustless Bitcoin Vault у лютому. Дякуємо: - наші колеги з Берклі @SanjamGarg та Дімітріс Колонелос за те, що навчили нас так багато про шифрування свідків - @liameagen і @therealyingtong за те, що поділилися своєю дивовижною роботою над Argo MAC - інженерна команда Babylon, за те, що перетворила наші теоретичні ідеї на реальну систему з помітними покращеннями продуктивності Перегляньте статтю і дайте нам відгук!