Огляд проектів ZK та верифікації на Solana

Джерело: Solana; Переклад: Jinse Finance xiaozou

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

! XO6suJISbrA5rgeo16z2tS04KdmKMBwVN6GDlwKW.png

В цілому, інфраструктура Solana сприяє:

• Мережева продуктивність

-- Зекономити тисячі витрат для розробників додатків

-- Асинхронне виконання

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

• Безпека

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

-- Достовірність

-- децентралізована мережа prover

Навіть у 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): користувачі володіють токенами без необхідності сплачувати орендну плату.

-- Споживчі соціальні фінансові додатки (як-от Tribe.run): творці можуть надсилати токени за нижчою ціною.

-- Інструменти для airdrop (такі як Helius Airship)

! vTF5uLuGINfyzfGKj7NoZYRPlsKetvElNQLgFwxU.png

4、ZKVMs

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

-- Легкий клієнт Solana на базі ZK

-- Спрощена мережа DePIN

-- Безпечний безшовний ZK вхід

! N236wuPScV7Ho7xuHgdMTkeyr7LDpSIoCEDwBgP8.png

5、Розширення стеку мережі Solana

zkSVM застосовується до:

-- Solforge: Ця мережа розширення стеку використовує метод ZKP та ZK стиснення Light Protocol для підтримки розширення потоків доказів оновлення стану та оптимізації генерації доказів за допомогою LightSVM.

-- Termina: платформа для розгортання мережі SVM для конкретних випадків використання, що дозволяє знизити затримки, підвищити конфіденційність та зменшити витрати на обчислення.

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

! T5YXj8LNeDHx66ott0kPoI77ReoTU2POqdaCYCJp.png

-- bulletxyz: надшвидкий rollup, розроблений ZetaMarkets, який розширюється до надвисокої пропускної спроможності, всі зміни стану є доказовими. Крім того, команди, такі як Aerius Labs, проводять експерименти, пов'язані з ZK-доказами.

! fobHA5aqZaFlmMwr7C437pZbldKs4YKIzhiXhhef.png

6、ZK план

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

Від нещодавно випущеного ZK стиснення до різноманітних системних викликів, які незабаром з’являться, Solana стає потужним ZK двигуном. Ця стаття є коротким узагальненням, що допомагає зрозуміти ранній розвиток ZK та верифікації на Solana.