На початку цього року Вейкенг Чен і його партнери з венчурної фірми L2 Iterative вирішили переключити свою увагу на бурхливу екосистему біткойнів. Чень, уродженець Китаю, звернув увагу на зростаючий інтерес до розробки біткойнів з боку кількох великих акторів у сфері майнінгу, які почали підтримувати різні проекти в просторі Ordinals і рівня 2.

«Я ніколи не здогадувався, що у Bitcoin є спільнота розробників», — напівжартома каже він.

Минулого тижня ініціатива з відкритим кодом, очолювана ним самим, за підтримки інфраструктурної компанії Starkware досягла першої реалізації верифікатора з нульовим знанням за допомогою сценарію Bitcoin.

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

За цим досягненням стоїть дивовижна подорож аутсайдера, який лише шість місяців тому зайнявся розробкою біткойнів і зараз закодував, мабуть, найдосконаліший фрагмент програмного забезпечення. Я взяв інтерв’ю у Вейкенга Чена, щоб поглибити його мотиви, його співпрацю зі Starkware навколо OP_CAT і STARK, а також його погляди на цю нову еру розвитку біткойнів.

Починаючи з нуля

Випускник доктора філософії Каліфорнійського університету в Берклі зі спеціалізацією на криптографії, Чень пояснив, що почав шукати можливість внести свої технічні навички в галузь, щоб краще позиціонувати свою фірму серед потенційних інвесторів і компаній. Незважаючи на свій великий інженерний досвід, він швидко зрозумів, що ресурсів бракує, а крива навчання – крутою. «Багато матеріалів застаріли й не відображають поточний стан розвитку», — зауважив він. Його пристрасть до технології нульового знання зрештою змусила його зосередити своє дослідження на здатності біткойна виконувати обчислення, необхідні для перевірки доказів нульового знання.

Оскільки одна кроляча нора вела до іншої, робота Робіна Лінуса над новою обчислювальною парадигмою BitVM потрапила в його поле зору. Зацікавившись потенціалом використання доказів шахрайства для впровадження систем із нульовим знанням, сумісних із біткойнами, він почав копатися в документі та помітив деякі проблеми з деякими концепціями, задіяними в системі. «Я надіслав повідомлення Робіну, поставивши кілька запитань про BitVM. Моє розуміння BitVM з того офіційного документа справді було абсолютно неправильним. Пам’ятаю, як першою реакцією Робіна було запитати мене, хто мені це сказав», — сміючись пригадує він. Ця взаємодія викликала коротку, але продуктивну співпрацю між Ченом, Лінусом та іншими дослідниками, які повторювали оригінальну ідею та шукали шляхи її оптимізації.

«Для мене було очевидно, що цей метод можна використовувати для перевірки доказів з нульовим знанням, тому моя робота швидко пішла в напрямку впровадження верифікатора SNARK».

Верифікатор — це криптографічний інструмент, який дозволяє перевіряти докази з нульовим знанням у мережі Bitcoin.

Можливість OP_CAT

Приблизно в той самий час команда гіганта індустрії з нульовими знаннями Starkware приділяла пильну увагу новим заходам, які випливають із біткойн-спільноти. Для деяких це було довго. Засновник Starkware Елі Бен-Сассон був, мабуть, першою людиною, яка обговорювала технологію нульового знання в контексті криптовалют на першій конференції щодо біткойнів. Майже десять років потому дослідження Starkware і технологія ZK-STARK стали основою для зростаючої кількості застосувань у космосі.

«Ще в 2013 році, коли я запропонував використовувати докази дійсності для масштабування біткойна, я сподівався, що Сатоші все ще буде поруч і пришвидшить це. Завдяки провидцям у сфері криптографії, таким як Вейкенг Чен, і дослідникам біткойн OP_CAT, таким як Ендрю Поелстра та Ітан Хейлман, моя 11-річна мрія зараз здається цілком доступною», — прокоментував Бен-Сассон.

Минулого місяця компанія оголосила, що починає розгортання численних ініціатив, спрямованих на усунення технологічного розриву між біткойнами та доказами з нульовим знанням. Грант у розмірі 1 000 000 доларів США було запропоновано для дослідження та вивчення потенціалу пропозиції soft fork OP_CAT.

Оголошення було відзначене значним ентузіазмом, змусивши декого задуматися, що зумовило цей оптимізм. Донедавна перспективи технології нульових знань про біткойни були здебільшого запізнілими — це ще один OP-код, який міг ніколи не побачити світ. Дійсно, труднощі з досягненням консенсусу щодо невеликих змін у кодовій базі біткойн зробили малоймовірним те, що щось складніше коли-небудь з’явиться.

Судячи з розмов із учасниками Starkware, приблизно в травні вони дізналися про прогрес Weikeng щодо BitVM, і настрій різко змінився. Як виявилося, розробник уже націлився на технологію компанії Circle STARKs. У статті, опублікованій кілька місяців тому, Чен уже визначив останню як «систему доказів, зручну для біткойнів».

Після певних переговорів обидві сторони погодилися об’єднатися та об’єднати зусилля, спрямовані на реалізацію верифікатора STARK з відкритим кодом за допомогою примітиву OP_CAT. «Я знав, що це можна зробити. Нам просто потрібно було зібрати всі шматки разом», — припускає Чень. Народився «Біткойн-заповідник дикої природи».

Через два місяці проект, здається, досяг своєї мети завдяки співпраці з іншими розробниками, такими як Пінчжоу Юань, ще один ранній учасник BitVM. Пізно вранці минулої п’ятниці Чен заскочив у групу проекту в Telegram, щоб повідомити новину іншим учасникам: «Я думаю, я закінчив роботу!»

Після успішних локальних тестів розробник транслював серію транзакцій у тестову мережу Bitcoin Signet, яка мала виконати весь сценарій. Щоб оптимізувати використання в ланцюжку, доказ STARK, заснований на реалізації Stwo з відкритим вихідним кодом Starkware, розбивається на одночасні транзакції, об’єднані разом за допомогою угоди на основі OP_CAT.

О 6:29 ранку 12 липня 2024 року в мережі Signet було підтверджено останню транзакцію, що свідчить про те, що, на думку прихильників, може стати початком нової ери розвитку біткойнів.

«Це було величезним зусиллям і зайняло багато часу», — сказав Чень. «Ми почали з нічого. Немає інформації про докази ZK на Bitcoin. Немає інформації щодо математичних операцій, які потрібно виконати. Нам довелося створити повний стек, що зрештою призвело до впровадження верифікатора STARK».

Надихаючи на новий шлях розвитку

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

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

Співавтори Starkware визнають майбутні виклики, але впевнені, що успіх проекту являє собою «монументальний стрибок вперед» до рішень для масштабування біткойн, які можуть використовувати їх технологію зведення ZK.

Одне можна сказати напевно: співпраця, ймовірно, ще більше посилить аргументи на користь потенційного софтфорка OP_CAT. Для того, щоб об’єднати реалізацію верифікатора, Чен каже, що йому довелося розробити надійну структуру для угод із використанням CAT, яка може підкреслити універсальність пропозиції щодо вдосконалення сценарію. Він вважає, що інші розробники в екосистемі можуть пограти з його кодом і дійти того самого висновку щодо його переваг, як і він.

«Я не думаю, що є великий ризик, коли ми розробили найкращі практики. Не так багато місць, де це піде не так. Тепер у нас є чітка демонстрація того, що OP_CAT можна безпечно адаптувати до різних ковенантних проектів».

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

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

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

Джерело: Bitcoin Magazine

Публікація Вперше в історії перевірено доказ нульового знання про біткойн з’явилася в Crypto Breaking News.