💬 Эксклюзив: эксперты о доказательствах с нулевым разглашением как будущем масштабируемости блокчейна

Эксклюзив: эксперты о доказательствах с нулевым разглашением как будущем масштабируемости блокчейна

Поскольку основное внимание уделяется Web3, масштабируемость становится проблемой для сетей блокчейнов, не позволяя им соответствовать традиционным финансовым системам.

Ключевыми решениями становятся передовые криптографические методы, такие как доказательства с нулевым разглашением (ZKP) и решения масштабирования, такие как объединение ZK.

Zk Rollups включает в себя объединение тысяч транзакций вне блокчейна, что снижает нагрузку на основной блокчейн, обеспечивая при этом высокий уровень конфиденциальности и более быстрое время завершения.

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

Бутерин особенно поддерживает накопительные пакеты с нулевым разглашением из-за их потенциала для более высокой пропускной способности и немедленного завершения транзакций.

Другие эксперты отрасли, такие как Эли Бен-Сассон из StarkWare, Алекс Глуховски из zkSync и Барри Уайтхэт из Ethereum Foundation, также поддерживают zk-rollup за их преимущества в области масштабируемости и безопасности.

Но являются ли ZKP последней частью головоломки масштабируемости?

По словам Майка Воронова, руководителя отдела исследований и разработок Fluence, ответ немного сложнее.

В беседе с crypto.news Воронов признал преимущества такого подхода, такие как «более сильные гарантии безопасности» и «более короткие периоды вывода средств». Однако он добавил, что, как и другие методы масштабирования, у него есть «свой набор плюсов и минусов».

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

«Нельзя однозначно сказать, что ZKP являются окончательным решением в любой возможной ситуации […], не говоря уже о более высокой сложности, связанной с исследованием и внедрением протоколов ZK».

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

Доказательства мошенничества в Optimistic Rollups позволяют пользователям проверять транзакции вне цепочки, оспаривая подозрительные. После оспаривания недействительность этих транзакций устанавливается в основной цепочке, обеспечивая безопасность посредством пост-проверки.

Этот подход менее ресурсоемок по сравнению с ZKP, поскольку он обрабатывает вычислительные проверки только тогда, когда транзакция подвергается конкретному вызову, а не проверяет каждую транзакцию заранее.

Однако он добавил, что сила ZKP заключается в их криптографических гарантиях, чего не хватает Optimistic Rollup из-за их зависимости от доказательств мошенничества.

«По сравнению с другими решениями масштабируемости, такими как оптимистические объединения, сегментирование, доказательства мошенничества и государственные каналы, решения на основе ZKP обычно обеспечивают гораздо более сильные криптографические гарантии и налагают меньшую экономическую и инфраструктурную нагрузку на цепочку».

Франциско Леал, технический директор Talent Protocol, согласился, добавив, что успех недавних проектов, ориентированных на ZK, таких как zkSync и Starknet, указывает на то, что «технология ZK уже очень зрелая и многообещающая».

«Различные системы имеют разные потребности, поэтому маловероятно, чтобы одно решение универсально охватывало все варианты использования. Таким образом, разнообразие решений масштабирования, скорее всего, сохранится, отражая различные требования различных приложений блокчейна», — сказал Леал crypto.news.

По словам технического директора, накопительные пакеты Optimistic в настоящее время составляют самую большую конкуренцию накопительным пакетам ZK. Он отметил, что доказательства с нулевым разглашением (ZKP), в частности zk-SNARK и zk-STARK, находятся в невыгодном положении из-за их вычислительно интенсивного характера и растущих требований к созданию и проверке доказательств.

Тем не менее, с развитием вычислительной мощности, Леал ожидает, что она скоро «уменьшится».

Энтузиазм инвесторов в отношении технологий с нулевым знанием возрос, что привело к многомиллионным инвестициям. Ключевые вклады включают StarkWare, получившую 100 миллионов долларов при оценке в 6 миллиардов долларов, и zkSync, которая привлекла 200 миллионов долларов.

Тем временем Polygon Labs заметно усилила свою приверженность инициативам с нулевым разглашением, вложив в этот сектор 1 миллиард долларов.

Когда их спросили, могут ли объединения ZK помочь сетям блокчейнов масштабироваться на уровне, который будет соответствовать их традиционным аналогам или превосходить их, оба руководителя остались оптимистичны.

Воронов подчеркнул, что такой подвиг потребует «полной стандартизации протоколов доказательства с нулевым разглашением (ZKP) и связанных с ними инструментов». Между тем, Леал подчеркнул, что «эффективность генерации и проверки доказательств» в настоящее время выступает «узким местом» и нуждается в улучшении.