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