Від випуску ZK Compression до впровадження різних системних викликів у майбутньому, важливість ZK для Solana не слід недооцінювати.
Автори: Yash Agarwal & 0xIchigo
Компиляція та організація: Pzai, Foresight News
В загальному, інфраструктура Solana допомагає заощаджувати витрати для розробників на продуктивності мережі, надаючи асинхронне виконання та рішення для зростання стану; з точки зору безпеки, Solana забезпечує приватність і конфіденційність для застосунків на ланцюзі, аж до перевіряльності та децентралізованих доказових мереж, що дозволяє нам детальніше дослідити це.
Приватність і перевіряльність
Arcium допомагає забезпечити приватність ланцюгових застосунків, надаючи децентралізовану, перевіряльну та ефективну структуру для виконання криптографічних обчислень. Наприклад, моделі AI можуть бути навчені на приватних даних, а DeFi може використовувати їх для приватних транзакцій.
Bonsol від Anagram — це рідна система перевірки обчислень Solana, що дозволяє розробникам створювати повністю перевіряльні виконувані файли для приватних та публічних даних, математично гарантуючи їхню дійсність та інтегруючи результати в смарт-контракти Solana для доказів на ланцюгу.
Анонімність і масштабованість на основі ZK
Darklake створив торговий додаток AMM з приватністю, що має на меті стати першим DEX на Solana, який забезпечує реальний час і анти-MEV виконання замовлень.
Dark Protocol створив анонімний протокол, що підтримується ринковим управлінням на основі ZK-SNARKS.
ZK Compression, розроблений за допомогою протоколу ZK доказів LightProtocol та Helius, є новим примітивом облікового запису Solana, що має zk докази та механізми стиснення стану, що знижує витрати на оренду для розробників застосунків Solana та надає рішення для зростання стану.
Стан стиснення ZK зберігається в стиснених облікових записах. Ці облікові записи схожі на звичайні облікові записи Solana, але є кілька ключових відмінностей, які можуть підвищити ефективність і масштабованість:
Хеш-ідентифікатор: кожен стиснений обліковий запис можна ідентифікувати за його хешем
Зміна хешу під час запису: будь-яка операція запису на стиснений обліковий запис змінить його хеш
Опціональна адреса: можна вибрати, щоб адреса була постійним унікальним ID стисненого облікового запису. Це дуже корисно для деяких випадків використання (наприклад, NFT). Ця поле є необов'язковим, щоб уникнути обчислювальних витрат, оскільки стиснені облікові записи можна посилатися за їх хешем.
Рідкісне дерево станів: всі стиснені облікові записи зберігаються в дереві Меркла, лише корінь стану дерева (тобто корінь Меркла) зберігається в просторі облікових записів ланцюга. Конкретніше, дерево станів є паралельним деревом Меркла на основі хешу Poseidon.
Багато команд Solana вже працюють над випадками використання ZK стиснення у наступних областях:
Користувачі гаманців Backpack не повинні платити за оренду (Gas), щоб утримувати токени.
Споживчі соціальні додатки, такі як Tribe.fun, дозволяють творцям надсилати токени з низькими витратами.
Інструменти для аеродропу, такі як Helius Airship
ZKVM і мережеве розширення Stack
RiscZero та SuccinctLabs можуть допомогти довести будь-які обчислення в ланцюзі, не обмежуючи їх обчисленням у ланцюзі. Це може покращити Solana легкий клієнт, що працює на ZK, реалізувати спрощену мережу DePIN та безпечний безшовний вхід за допомогою ZK.
Крім того, zkSVM активно використовуються в багатьох випадках використання:
Solforge Network використовує мережу ZKP для розширення Stack та zk стиснення для активації доказів оновлення стану передачі, з оптимізацією генерації доказів через LightSVM.
Платформа розгортання мережі SVM Terminaxyz націлена на специфічні випадки використання шляхом зменшення затримки, підвищення приватності та зменшення обчислювальних витрат.
SVM стек SonicSVM для ігор та додатків також прагне до розширення через zk та Hypergrid.
ZetaMarkets Bullet L2 розширюється до надзвичайно високої пропускної спроможності, і всі перетворення стану є доказовими.
Крім того, команди, такі як Aerius, експериментують із zk-доказами.
Інші ініціативи включають програму ZK Token Proof, що підтримує приватні перекази через Anza — зашифровані залишки та суми транзакцій SPL токенів, щоб захистити приватність випадків використання платежів, гомоморфне шифрування дозволяє виконувати обчислення на зашифрованих даних без їх розшифровки. Для цього приватний переказ використовує шифрування Twisted ElGamal для прихованих математичних операцій над шифротекстом і використовує протокол Sigma для перевірки цих переказів без розкриття чутливої інформації. Тільки власники облікових записів, які мають ключ розшифровки, можуть бачити свої зашифровані залишки. Проте Глобальна Аудиторська Система на Solana дозволяє вибірковий доступ до читання через окремі ключі розшифровки для забезпечення відповідності та аудиту.
