💬 Сингулярность (доказательство с нулевым разглашением) уже близко

Сингулярность (доказательство с нулевым разглашением) уже близко

Медленно, а потом внезапно.

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

Во-первых, на прошлой неделе компания Polygon Labs вышла на биржу, купив специализированные чипы Fabric Cryptography — проверяемые процессорные блоки (VPU), — заявив о значительном шаге вперед в области возможностей доказательства с нулевым разглашением (ZK).

Затем, в сотрудничестве с Optimism, ведущим блокчейном уровня 2, Succinct Labs отдельно представила структуру для обновления оптимистичных цепочек накоплений в стеке OP в накопление ZK — всего за час. Пользователи смогут выводить средства раньше после того, как накопление или пакет транзакций будет записан в цепочке, поскольку период разрешения споров, требуемый для оптимистичных накоплений, заменяется уверенностью, предоставляемой доказательствами ZK.

А на этой неделе у нас появились новости от RiscZero о его планах стать распределенным проверяемым вычислительным слоем для всех блокчейнов.

В совокупности эта серия объявлений демонстрирует ускорение развития пространства ZK в сторону настоящей масштабируемости с более высокими скоростями и затратами на испытания.

VPU Fabric обещают значительный прирост благодаря своей индивидуальной архитектуре и криптографической вычислительной мощности. Как исследователь, разработчик и стратегический инвестор Fabric, я взволнован и горю желанием протестировать чипы в реальных условиях. Но как отрасль мы должны следить за более крупным призом. Аппаратное ускорение — это лишь один из компонентов преодоления более широкой и сложной проблемы: достижения доказательства в реальном времени для блокчейнов, также известной как сингулярность доказательства.

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

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

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

Аппаратное ускорение: необходимо, недостаточно

На этом амбициозном фоне VPU Fabric предлагает до 900% увеличенной производительности больших целочисленных операций по сравнению с обычными GPU. Инвестиции Polygon подчеркивают приверженность оптимизации генерации доказательств, делая ставку на VPU для улучшения таких приложений, как Polygon zkEVM (версия виртуальной машины Ethereum с нулевым разглашением). Однако, хотя эти цифры и велики, остается много технических барьеров для сквозного доказательства в реальном времени, поскольку операции с большими целыми числами являются лишь частью времени сквозного доказательства.

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

Полностью вертикально интегрированный подход

Лучшая архитектура zkVM: Давайте переосмыслим архитектуру zkVM с нуля: текущее поколение zkVM ограничено множеством последовательных компонентов. Нам нужно перепроектировать zkVM так, чтобы выполнение и проверка zkVM могли выполняться параллельно от начала до конца.

Агрегация доказательств в реальном времени: Внедряя это, отрасль может устранить ключевое узкое место, которое часто упускают из виду — стоимость проверки и задержку. Агрегация доказательств в реальном времени позволяет проводить дешевую проверку доказательств в цепочке с минимальной задержкой.

Совместная разработка оборудования и ПО: для проверки в реальном времени необходимо использовать различные виды оборудования, например, CPU, GPU, VPU и программируемые пользователем вентильные матрицы (FPGA), поскольку каждый вид имеет различные компромиссы между производительностью и энергоэффективностью. Чтобы полностью реализовать возможности оборудования, нам необходимо совместно проектировать оборудование вместе с программным обеспечением, чтобы не было утечки производительности или между различными уровнями стека.

Итог

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

Гонка началась, и речь идет не только о более быстрых чипах — речь идет о переосмыслении всего стека ZK.

Шумо Чу — генеральный директор NEBRA, научно-исследовательской организации, создающей технологии, инфраструктуру и продукты для содействия массовому внедрению доказательств с нулевым разглашением.

Примечание: Мнения, выраженные в этой колонке, принадлежат автору и не обязательно отражают точку зрения CoinDesk, Inc. или ее владельцев и аффилированных лиц.