Обзор проектов ZK и верифицируемости на Solana

Источник: Solana; Перевод: Золотая экономика xiaozou

Возможно, вы еще не знакомы с областью ZK (нулевое знание) и verifiability (проверяемость) на Solana, но это определенно черная лошадка. Эта статья быстро познакомит вас с проектами ZK, проверяемости и конфиденциальности на Solana.

! XO6suJISbrA5rgeo16z2tS04KdmKMBwVN6GDlwKW.png

В целом, инфраструктура Solana способствует:

• Сетевое производительность

-- Сэкономьте в тысячу раз больше для разработчиков приложений

-- Асинхронное выполнение

-- Решение для роста статуса

• Безопасность

-- Приватность и конфиденциальность приложений на блокчейне

-- Проверяемость

-- Децентрализованная сеть провайдеров

Даже на Solana есть ZK-rollup!

Давайте посмотрим по очереди:

-- Приватность и проверяемость

-- Анонимность

-- Расширения на основе ZK и ZKVMs

-- стек расширения ZK-сети

-- ZK план

Обратите внимание: для удобства понимания ниже приведенное будет переработано и может быть частично перекрыто.

1. Приватность и проверяемость

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

! 85OHh6Is9FfLtfdsaP2sF3tlXNEXIo7R09yOHN5Y.png

Bonsol, выпущенный ANAGRAM, является нативной системой проверяемых вычислений на Solana, позволяющей разработчикам создавать:

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

! yoKG7EbqRPbfI9UdG7krJ8Y2LGdghuUCmkGaD63S.png

2、Анонимность

Darklake создала AMM для своп-торговли с конфиденциальностью, которая призвана стать первой децентрализованной биржей на Solana, предлагающей реальное исполнение заказов, устойчивое к MEV. Dark Protocol разработал анонимный протокол, управляемый рынком, поддерживаемый ZK-snarks.

3. Расширение на основе ZKP

ZK Compression — это новый примитив Solana, разработанный в сотрудничестве Light Protocol и Helius, который использует ZK-доказательства и сжатие состояния, позволяя снизить арендные расходы разработчиков приложений Solana в тысячу раз.

! PiW665Hy5eMuyp2qqecP31SU5rILLElFoJQA9FpW.png

Команда уже разработала ZK-сжатие в следующих областях:

-- Кошелек (например, Backpack): пользователи могут держать токены, не оплачивая аренду.

-- Приложения socialfi для потребителей (такие как Tribe.run): создатели могут отправлять токены с низкими затратами.

-- Инструменты для аирдропа (например, Helius Airship)

! vTF5uLuGINfyzfGKj7NoZYRPlsKetvElNQLgFwxU.png

4、ЗКВМ

RISC Zero и Succinct могут помочь доказать произвольные вычисления на цепочке, не ограничиваясь вычислениями цепочки. Это может поддерживать:

-- Легкий клиент Solana на основе ZK

-- Упрощенная DePIN сеть

-- Безопасный и бесшовный ZK вход

! N236wuPScV7Ho7xuHgdMTkeyr7LDpSIoCEDwBgP8.png

5、Расширение стеков сети Solana

zkSVM применяется для:

-- Solforge: Эта сетевая расширяемая стековая система использует метод ZKP и ZK-сжатие Light Protocol для поддержки расширения потоков доказательства обновления состояния и оптимизации генерации доказательства с помощью LightSVM.

-- Termina: платформа развертывания сети SVM для конкретных случаев использования, которая может снизить задержку, повысить уровень конфиденциальности и уменьшить вычислительные затраты.

-- Sonic SVM: стек SVM для игр и приложений, который расширяется с помощью ZK через Hypergrid.

! T5YXj8LNeDHx66ott0kPoI77ReoTU2POqdaCYCJp.png

-- bulletxyz: сверхнизколатентный rollup, разработанный ZetaMarkets, который расширяется до очень высокой пропускной способности, все изменения состояния являются доказуемыми. Кроме того, команды, такие как Aerius Labs, проводят эксперименты, связанные с ZK-доказательствами.

! fobHA5aqZaFlmMwr7C437pZbldKs4YKIzhiXhhef.png

6、ZK-план

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

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