Разработчик StarkWare утверждает, что верифицировал первое доказательство с нулевым разглашением, используя свой новый верификатор STARK в тестовой сети Bitcoin Signet.
Первоначальное доказательство концепции тестирования верификатора включало проверку математической задачи, в частности, 32-го числа в последовательности Фибоначчи. Следующим шагом будет обобщение модели и предоставление ей возможности выполнять более широкий спектр вычислений общего назначения.
Нынешняя разработка последовала за планами StarkWare по внедрению ZK-масштабирования в сеть Bitcoin наряду с Ethereum после того, как техническое предложение под названием OP_CAT предоставило основу, необходимую для внедрения масштабирования STARK в Bitcoin.
Никакая дополнительная сеть не создается — план StarkWare использует ту же сеть Starknet с тем же управлением и токеномикой, поддерживая масштабирование Bitcoin без необходимости форка. Каждое децентрализованное приложение может выбирать, где оно хочет обосноваться. Новый верификатор STARK от StarkWare, созданный в сотрудничестве с венчурной фирмой L2 Iterative, использует OP_CAT, что позволяет разрабатывать вторые уровни на основе ZK в сети Bitcoin, предназначенные для более быстрого масштабирования.
OP_CAT — это техническое соглашение, в котором используются расширенные функции сценариев для внедрения функциональности смарт-контракта в сеть Bitcoin. Оно может обеспечить варианты использования, в том числе безопасные «хранилища», которые позволяют осуществлять обратимые транзакции, автоматические повторяющиеся и конфиденциальные платежи, фиксированные по времени переводы для таких сценариев, как наследование, а также сложные финансовые инструменты, например условное депонирование и облигации.
Источник
Уникальность
