Що таке Bulletproofs?

Bulletproofs: короткі докази, які дозволяють підтвердити, що сума дійсна, не розкриваючи саму суму. Уявіть, що ви доводите свій вік охоронцю за допомогою магічного штампа «21 або старше», прикриваючи дату народження. Ефективні, непомітні та дуже корисні для конфіденційних залишків.

Міф

«Bulletproofs приховують усе.» Не зовсім. Вони ховають суми, а не адреси чи час, і все одно дозволяють будь-кому перевірити правильність.

Як працюють Bulletproofs

Уявіть, що відправляєте криптоактиви, де сума прихована, але її можна довести як коректну. Ось спрощений процес.

Крок 1: Ви створюєте транзакцію, де суми зафіксовані у криптографічних зобов'язаннях, як запечатані коробки.
Крок 2: Ви генеруєте Bulletproof, який стверджує «кожна запечатана сума знаходиться в допустимому діапазоні і не є від'ємною». Це доказ з нульовим розкриттям інформації, тож ви не розкриваєте нічого, окрім правильності.
Крок 3: Якщо є кілька виходів, ви об'єднуєте їх в один компактний доказ. Менше даних у мережі, менші комісії.
Крок 4: Валідатори швидко перевіряють доказ. Ніякого підглядання за сумами, лише математика, яка проходить або ні.
Крок 5: Після перевірки мережа приймає переказ і рухається далі. Тихо і чисто.

Ось і все.

Навіщо потрібні Bulletproofs

Це важливо, бо дозволяє зберігати фінансові деталі приватними та при цьому перевірюваними.

Перевага: Значно менші докази порівняно зі старими перевірками діапазону, що зазвичай означає нижчі комісії та менше завантаження.
Перспектива: Сильна конфіденційність стає базовою вимогою для серйозних фінансових операцій у блокчейні, і Bulletproofs допомагають у цьому.
Актуальність: Ви зустрінете їх у конфіденційних переказах, сайдчейнах, деяких гаманцях і дослідницьких роллапах.

Порада

Порівнюєте системи? Перевірте, чи використовують вони Bulletproofs або zk SNARKs. Bulletproofs не потребують довіреної процедури налаштування, тоді як SNARKs дуже компактні, але можуть її вимагати.

Основні характеристики Bulletproofs

Чим вони вирізняються:

Компактні: Розмір доказу приблизно зростає зі логарифмом діапазону, а не лінійно.
Без налаштування: Немає довіреної церемонії для генерації системних ключів.
Агрегація: Кілька виходів можуть використовувати один доказ, ще більше зменшуючи обсяг даних.
Швидка перевірка: Перевірки швидкі й можуть виконуватися пакетно валідаторами.
Універсальні: Побудовані на аргументі внутрішнього добутку, тому підходять не лише для перевірок діапазону.

Варіації

Різні варіанти, які ви можете зустріти:

Діапазон: Класичний доказ, що суми знаходяться в межах допустимого діапазону.
Агрегація: Поєднує кілька доказів діапазону в один компактний об'єкт.
Пакетна перевірка: Перевіряють багато доказів разом, щоб заощадити час.
Узагальнені: Схеми, що повторно використовують трюк Bulletproofs з внутрішнім добутком для інших тверджень.

Нагадування

Bulletproofs приховують суми, але не відправника чи час. Проєкти комбінують їх із захистом адрес або мережевими прийомами, якщо потрібно глибше приховування.

Приклад

Monero впровадив Bulletproofs у 2018 році для конфіденційних сум, що значно знизило типові розміри комісій і пришвидшило перевірку.

Цікавий факт

Назву Bulletproofs обрали автори, бо хотіли щось коротке й міцне. Стаття Бенедикта Бунца та співавторів вийшла 2018 року і швидко стала популярною в криптоспільноті.

Підсумок

Коротко: Bulletproofs дозволяють довести правильність чисел, одночасно приховуючи самі числа. Коли розкіш зустрічає інтернет-спільноту.

Bulletproofs