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

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

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

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

Связанный: Стейкинг Starknet появится в основной сети в четвертом квартале — EthCC

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

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

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

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

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

Связанный: Новая защита от ZK с открытым исходным кодом сокращает время SQL-запросов

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

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

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

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

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

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

Связанный: StarkWare запускает исследовательский фонд в размере 1 млн долларов для масштабирования ZK Bitcoin

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

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

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

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