Dogecoin вскоре сможет нативно подтверждать ZK-доказательства благодаря инициативе DogeOS

Dogecoin начал как шутка, но это обновление – не шутка. Команда MyDoge, разрабатывающая приложение DogeOS, подала正式ное предложение в Dogecoin Core, которое внедряет новую опкоду для нативной проверки доказательств с нулевым знанием (ZKP). Разработчики планируют преобразовать неиспользуемую часть системы скриптов в инструмент для проверки криптографических доказательств, начиная с 'Groth16' (специфический тип доказательства, широко используемый в системах zk) и с возможностью дальнейших усовершенствований. Это позволит Dogecoin поддерживать более развитые внецепочечные приложения, такие как роллапы и смарт-контракты, сохраняя скорость и простоту основного цепи. Подход является модульным, поскольку системы доказательств могут выбираться, а поведение опкоды является чисто добровольным.

Если доказательство пройдет проверку, скрипт продолжит; если нет – потерпит неудачу.

Старые узлы остаются совместимыми, воспринимая опкоду как неприемлемую.

Без неожиданных ответвлений и без чрезмерной нагрузки на виртуальную машину. "Предложение OP_CHECKZKP обозначает большой технический шаг вперед для Dogecoin," написала команда DogeOS в предложении.

"Это расширяет блокчейн, основанный на доказательстве работы, из базовой платёжной системы в платформу, способную поддерживать DeFi, игры, идентификацию и другие проверяемые он-ченовые приложения." В отличие от тяжёлой модели Ethereum, Dogecoin имеет минималистичное и практическое видение: вычисления остаются вне цепи; Dogecoin просто проверяет чеки. "Способность Dogecoin интегрироваться с ZK L2s – это тот вид взаимодействия, который нам нужен для создания полезности экосистемы," сказал Тим Стеббинг, директор фонда Dogecoin.

"Это позволяет L1 сосредоточиться на том, чтобы быть самым быстрым, лучшим и самым приятным блокчейном и средством обмена для всего человечества." DogeOS также отметил, что разрабатывает zkVM, совместимую с EVM – виртуальную машину, которая позволит приложениям, рождённым для Ethereum, работать непосредственно на инфраструктуре Dogecoin. Тем не менее, все эти изменения имеют и недостатки.

Проверка доказательства Groth16 занимает 10–20 мс, и невозможно вместить сотни доказательств в блок объёмом 1 МБ без задержек валидации. Поэтому предложение содержит строгие ограничения: одно ZKP на скрипт, пять на блок, по крайней мере, на начальном этапе.

Этот шаг происходит на фоне растущего интереса институциональных инвесторов к DOGE, так как такие компании, как Bit Origin, получили до 500 миллионов долларов финансирования для создания казны Dogecoin.