По данным Blockworks, в Биткойне в настоящее время отсутствуют настоящие сети второго уровня, аналогичные сетям Ethereum, в первую очередь потому, что существующие решения масштабирования не наследуют модель безопасности Биткойна. Объединения Ethereum, которые публикуют данные транзакций в основной сети Ethereum, напрямую повышают ее безопасность, гарантируя, что правильное выполнение транзакций на этих уровнях обеспечивается теми же механизмами, защищающими базовый уровень. Напротив, решения Биткойна «уровня 2», такие как Liquid Network и Rootstock (RSK), технически являются сайдчейнами. Они работают независимо от Биткойна, используя собственный набор валидаторов или майнеров. Хотя они могут делиться хэш-скоростью майнинга или снимками контрольных точек с биткойнами, они принципиально предлагают другой уровень безопасности. Такие инновации, как BitVM, могут улучшить мостовое соединение с Биткойном с минимальным доверием, но для включения в Биткойн добросовестных решений уровня 2 необходимы обновления протокола. Эти обновления введут соглашения — механизмы, которые ограничивают способы расходования BTC — которые обеспечивают безопасную совместимость с минимальным доверием и позволяют Биткойну поддерживать надежную инфраструктуру уровня 2, аналогичную инфраструктуре Ethereum.

В среду StarkWare описала важную веху в успешной проверке первого доказательства с нулевым разглашением с использованием своего нового верификатора STARK в тестовой сети Биткойн Signet. Это достижение стало результатом трехмесячного исследования потенциала OP_CAT, одного из таких предлагаемых обновлений Биткойна. Верификатор StarkWare, разработанный в сотрудничестве с Вейкенгом Ченом из венчурной фирмы L2 Iterative, является первым крупномасштабным практическим применением этого кода операции, говорится в заявлении StarkWare. Он демонстрирует потенциал для поддержки разработки решений второго уровня на базе zk для Биткойна. «Этот тип методологии проверки полностью отличается от того, что уже используется другими решениями масштабирования в сети Биткойн, поскольку он не требует использования доказательств мошенничества или жизнеспособности», — заявили в компании, добавив, что код для верификатора был опубликовано через Github.

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