ZK-доказательства: Как Zerocash преобразил криптовалюту

Десятилетняя исследовательская работа, рассматриваемая как "проект" для первого практического использования доказательств с нулевым разглашением ( ZK-доказательства ), получила награду от Института инженеров по электротехнике и электронике ( IEEE ), крупнейшей в мире технической профессиональной организации.

Согласно заявлению , «документ генезиса» — «Zerocash: децентрализованные анонимные платежи из биткойнов» — стала основой для использования ZK-доказательств в криптовалюте и была удостоена награды "Test of Time" на симпозиуме IEEE по безопасности и приватности.

«Награда признает широкий и долговечный вклад статьи в исследования и практику в области компьютерной безопасности и приватности,» отметили в StarkWare.

Статья, имеющая 2400 академических цитат, не изменила финансовую отрасль, но проложила путь для множества проектов, использующих ZK-доказательства. В ней было представлено первое практическое применение криптографической техники в криптовалюте для улучшения приватности.

Награда вручена авторам публикации: Алессандро Чиеса, Кристине Гарман, Мэттью Грину, Иану Мейерсу, Эрану Тромеру, Мадарсу Вирзе и Эли Бен-Сассону. Бен-Сассон основал фирму StarkWare, занимающуюся масштабированием блокчейна.

"Награда напоминает, что именно эта статья вывела ZK-доказательства в центр внимания исследований блокчейна," отметил Бен-Сассон, добавив, что это стало началом растущего интереса к тому, как эта технология может помочь криптовалютам стать важной для всех."

Статья описывает использование Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKS) для создания протокола частных платежей под названием Zerocash, который скрывает источник, назначение и количество транзакций.

В настоящее время ZK-доказательства часто используются для решений второго уровня Ethereum для подтверждения валидности данных без раскрытия их содержания. Они помогают масштабированию, позволяя использовать техники, такие как rollups, и обеспечивают доверительную проверку больших объемов данных вне цепи. Ведущие сети второго уровня, использующие ZK-доказательства, включают StarkNet, Linea, zkSync Era, Scroll и Polygon.

Ранее мы на SecurityLab не однократно сообщали, что регуляторы по всему миру усиливают давление на протоколы, обеспечивающие приватность. Однако ZK-доказательства могут предложить решения, сохраняющие приватность, при этом гарантируя, что средства не отправляются преступникам.

Бен-Сассон подчеркнул, что приватность является приоритетом. "Для её обеспечения будут добавлены возможности ZK в наш доказатель Stwo, что позволит разработчикам создать более масштабируемую версию конструкции Zerocash на StarkNet и Ethereum."

В апреле компания Ernst & Young, одна из "большой четверки" аудиторских фирм, запустила решение на основе Ethereum, использующее ZK-доказательства, чтобы помочь своим частным бизнес-клиентам облегчить выполнение сложных контрактов.