За даними Blockworks, у біткойн наразі відсутні справжні мережі рівня 2, схожі на мережі Ethereum, насамперед через те, що існуючі рішення масштабування не успадковують модель безпеки біткойна. Зведені пакети Ethereum, які надсилають дані транзакцій до основної мережі Ethereum, безпосередньо підвищують рівень безпеки, гарантуючи, що правильне виконання транзакцій на цих рівнях захищено тими ж механізмами, що захищають базовий рівень. Навпаки, рішення «рівня 2» біткойна, такі як Liquid Network і Rootstock (RSK), технічно є сайдчейнами. Вони працюють незалежно від Bitcoin, використовуючи власний набір валідаторів або майнерів. Хоча вони можуть передавати хеш-рейт майнінгу або знімки контрольних точок у біткойн, вони принципово пропонують інший рівень безпеки. Такі інновації, як BitVM, можуть покращити зв’язок з біткойнами з мінімізованою довірою, але для того, щоб увімкнути добросовісні рішення рівня 2 на біткойнах, необхідно оновити протокол. Ці оновлення запровадять ковенанти — механізми, які обмежують використання BTC, — що забезпечує безпечну взаємодію з мінімізованою довірою та дозволить біткойнам підтримувати надійну інфраструктуру рівня 2, подібну до інфраструктури Ethereum.

У середу StarkWare описала важливу віху в успішній перевірці першого доказу з нульовим знанням за допомогою свого нового верифікатора STARK у тестовій мережі Bitcoin, Signet. Це досягнення стало результатом трьох місяців дослідження потенціалу OP_CAT, одного з таких пропонованих оновлень Bitcoin. Верифікатор StarkWare, розроблений у співпраці з Weikeng Chen з венчурної фірми L2 Iterative, є першим широкомасштабним практичним застосуванням цього коду операції, йдеться у заяві StarkWare. Він демонструє потенціал для підтримки розробки рішень рівня 2 на основі zk для Bitcoin. «Цей тип методології перевірки повністю відрізняється від того, що вже досліджується іншими рішеннями для масштабування в мережі Bitcoin, оскільки він не вимагає використання доказів шахрайства або живучості», — заявили в компанії, додавши, що код для верифікатора був опубліковано через Github.

Чень зазначив, що дослідження є новаторським. «Ми почали з нічого. Немає інформації про докази zk на біткойнах або необхідні математичні операції. Нам довелося створити повний стек, який веде до впровадження верифікатора STARK», — сказав він. У новому верифікаторі використовуються Circle STARK — криптографічні докази, які значно прискорюють процес підтвердження. Вони також будуть використовуватися в прувері наступного покоління STARK від StarkWare Stwo. Поточна демонстрація лише перевіряє рішення дискретної математичної проблеми: 32-го числа в послідовності у квадраті Фібоначчі — або 21 783 0922 — але команда планує перейти до демонстрації широкого спектру обчислень, які зрештою можуть стати основою віртуальної машина. До того часу власники біткойнів, які хочуть залучити DeFi, можуть зробити це за допомогою ряду інших підходів, спрямованих на переведення BTC в інші мережі, кожна зі своїми власними компромісами.