Нещодавно створена асоціація ZeroSync надає Bitcoin докази нульового знання

Троє німецьких комп’ютерників створили швейцарську неприбуткову організацію під назвою the Асоціація ZeroSync щоб допомогти масштабувати Bitcoin за допомогою доказів нульового знання (zk-proofs), криптографічної техніки, яка вибухнув у популярності на конкурентній мережі Ethereum.

Докази з нульовим знанням використовують криптографію, щоб підтвердити достовірність інформації, не розкриваючи саму інформацію. Використання zk-proof для перевірки блокчейну Bitcoin означає, що вузли можуть синхронізуватися майже миттєво, замість того, щоб завантажувати поточний ланцюжок годинами (іноді днями). 500 ГБ даних.

ZeroSync вже створив робочий прототип, який дозволяє користувачам перевіряти стан (хто зараз володіє чим) і історію транзакцій блокчейну Bitcoin, не завантажуючи весь ланцюжок і не довіряючи третій стороні.

Прототип може перевіряти правила консенсусу Bitcoin , але не підписи транзакцій. Він також BIT незграбний і все ще потребує оптимізації для швидкості та безпеки, тому він ще не готовий до PRIME -тайму, але важливо те, що він працює.

«Це майже на стадії прототипу», — сказав CoinDesk співзасновник ZeroSync Робін Лінус. «Але грандіозне бачення полягає в тому, що ви завантажуєте ONE мегабайт доказу, і це так само добре, як якщо б ви завантажили 500 гігабайт».

Легкі клієнти або вузли простої перевірки платежів (SPV) завжди існували в блокчейні Bitcoin . Фактично, Сатоші Накамото згадав цю концепцію в білий документ про Bitcoin. Вони критичні для невеликих пристроїв, таких як мобільні телефони, які T можуть завантажити весь блокчейн.

«Можливо перевіряти платежі без запуску повного вузла мережі», — написав Сатоші. «Верифікація є надійною, доки чесні вузли контролюють мережу, але вона більш вразлива, якщо мережа переможе зловмисником».

ZeroSync йде ще далі, перевіряючи транзакції за допомогою криптографічного підтвердження, а не просто довіряючи чесним вузлам, як пропонує Сатоші.

"Тобі T потрібно довіряти. У цьому вся суть", - сказав Лінус. "Доказ вам це підтверджує. Це чудовий винахід".

Повністю функціонуючий механізм захисту від zk можна використовувати, щоб увімкнути широкий спектр програм за межами сценарію використання синхронізації флагманського вузла. ZeroSync створив набір інструментів розробника, щоб увімкнути такі програми, як підтвердження резервів на біржах і стиснення історії транзакцій на протоколах другого рівня, таких як Lightning Labs. Таро.

Лінус і його співзасновник Лукас Джордж об’єднали зусилля в липні, щоб працювати над впровадженням повного ланцюжкового доказу блокчейну Bitcoin після того, як дипломна робота Джорджа про впровадження доказу заголовків біткойна привернула увагу Дослідження геометрії.

Згодом команда додала Тіно Стеффенса до міксу; усі троє співзасновників мають досвід інформатики.

Лінус жив у Санта-Терезі, віддаленому пляжному містечку на півострові Нікоя в Коста-Ріці, де є ONE банкомат із комендантською годиною до 22:00. Це звело Лінуса з розуму та змусило його дослідити альтернативні методи оплати. Він натрапив на Bitcoin, подружився з шановним «чаклуном Bitcoin » Рубен Сомсен (який ввів термін «ZeroSync»), а решта, як то кажуть, вже історія.

«Відтоді я почав усе більше й більше Навчання про криптографію, — сказав Лінус. «З часом я розвинув деякі навички, а потім Рубен порекомендував мене Geometry Research. Вони запропонували мені можливість будувати СТАРК докази за Bitcoin , і саме так я зв’язався з Лукасом».