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

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

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

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

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

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

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

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

«Тобі не потрібно довіряти, у цьому вся суть», — сказав Лінус. «Доказ вам це доводить, це чудовий винахід».

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

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

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

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

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