StarkWare проверяет первое доказательство с нулевым разглашением в сети Биткоин

StarkWare достигла исторической вехи, успешно проверив свое первое доказательство с нулевым разглашением (ZK) с помощью нового верификатора STARK в сети Bitcoin Signet.

Разработка последовала за тремя месяцами тщательного изучения возможностей «OP_CAT», технического предложения, направленного на расширение возможностей блокчейна Биткоин.

Верификатор закладывает основу для разработки решений Bitcoin Layer 2 (L2) на базе ZK для улучшения масштабируемости сети Биткоин и продвижения к возможностям международных платежей.

Предложение «OP_CAT»

Предложение «OP_CAT» вводит функциональность смарт-контракта в сеть Биткоин, и, хотя оно все еще находится на стадии утверждения, в настоящее время оно доступно в тестовой сети Bitcoin Signet.

Верификатор ZK от StarkWare — это первое крупномасштабное практическое применение опкода предложения в тестовой сети. Его успешная реализация в сети Bitcoin Signet имеет несколько последствий.

Вейкенг Чен, исследовательский партнер L2 Iterative Venture и участник, объяснил, что верификатор ZK «это то, чего еще никогда раньше не делали».

«Необходимо множество строительных блоков, но сообщество Биткоин никогда раньше не создавало ни одного из этих строительных блоков», — сказал он.

Эли Бен-Сассон объяснил, что скорость, с которой эта технология проверки достигает основной сети BTC, «находится в руках сообщества Биткоин».

Подтверждение концепции и доступность

Проверка концепции верификатора STARK включала решение математической задачи по проверке 32-го числа в последовательности квадратов Фибоначчи.

По словам Чена, этот процесс потребовал «огромных усилий» и «значительного времени». Не имея информации об использовании Биткоина с защитой на основе ZK, команда «начала с нуля».

Чен рассказал, что команде потребовалось «несколько месяцев, чтобы написать строительные блоки с самого начала».

«По сути, мы единственная команда, которая фактически реализует верификатор ZK в Биткоине. Как мы можем подтвердить от разных известных нам сторон, это первый случай, когда доказательство ZK было проверено», – пояснил он.

В отличие от других решений для масштабирования Биткоин, которые полагаются на доказательства мошенничества или жизнеспособность, это первое решение на основе STARK, общедоступное для разработчиков, с кодом, доступным на GitHub.

Стекинг в основной сети Starknet появится в четвертом квартале

10 июля на EthCC генеральный директор StarkWare Эли Бен-Сассон объявил о планах компании внедрить стекинг в Starknet к концу 2024 года.

Одобрение сообщества, предложенное в рамках предложения по улучшению Starknet (SNIP), приведет к появлению новых функций стекинга, которые позволят заинтересованным сторонам «постепенно получать больше обязанностей».

Утверждение SNIP позволит пользователям стать стейкерами при условии, что они владеют минимальной суммой для стекинга или делегируют свои активы существующему стейкеру.