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

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

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

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

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

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

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

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

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

Более широкое влияние сингулярности доказательства выходит за рамки отдельных сетей блокчейнов, поскольку оно прокладывает путь для более взаимосвязанной и масштабируемой экосистемы 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 будет раскрыт посредством сбалансированного сочетания передовых схем, оптимизированной криптографии и прорывов на системном уровне. Давайте KEEP расширять границы Технологии ZK, стремясь реализовать будущее, в котором доказательство ZK в реальном времени будет не просто возможностью, а реальностью.

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

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

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