➥ Рівень GPU для блокчейнів - співпроцесори ZK Блокчейни рухають цінність, а не обчислення. Коли контракти виконують складну логіку або запити даних, вони вдаряються об газову стіну. Співпроцесори ZK це виправляють. Вони діють як рівень графічного процесора для блокчейнів, виконуючи роботу поза ланцюгом і доводячи результати в ланцюжку. Поясню в 30-х рр. 🧵 — — — ► Що таке співпроцесори ZK? Співпроцесори ZK — це позаланцюгові обчислювальні рівні, які дозволяють смарт-контрактам обробляти складну логіку без проблем із високим газом або довірою. Вони виконують завдання поза мережею, генерують докази з нульовим розголошенням і дозволяють мережі перевіряти їх дешево. Коротше кажучи, вони масштабують обчислення, залишаючись перевіреними. Основні особливості: ➤ Виконання поза мережею: виконує великі робочі навантаження, такі як запити даних або висновок штучного інтелекту. ➤ Доказ правильності: Кожен результат включає доказ ZK, перевірений у мережі. ➤ Без стану та без ланцюга: працює на L1, L2 та rollups. ➤ Економічно ефективний: зменшує газ і затримку. — ► Куди підходять співпроцесори ZK Співпроцесори ZK – це не роллапи і не оракули; Вони їх доповнюють. Вони розташовані поруч із блокчейнами як обчислювальний рівень, який перевіряє роботу, не додаючи перевантаження. Чим вони відрізняються: ➤ Rollups: масштабуйте транзакції та зберігайте стан. Співпроцесори масштабують обчислення і залишаються без стану. ➤ Оракули: Доставляйте дані без доказів. Співпроцесори повертають дані з доведенням. ➤ TEE: Покладайтеся на надійне обладнання. Співпроцесори перевіряють за допомогою математики, а не машин. Разом вони розширюють модульний стек, зведення переміщують дані, оракули отримують їх, співпроцесори це доводять. — ► Як працюють співпроцесори ZK Хід роботи: Смарт-контракт → співпроцесором ZK → генерації доказів → верифікація в ланцюжку Покрокові: ➤ Смарт-контракт: надсилає запит на важке завдання, таке як отримання даних або запуск моделі штучного інтелекту. ➤ Співпроцесор ZK: виконує обчислення поза ланцюгом, щоб уникнути газу та затримки. ➤ Генерація доказів: створює доказ ZK, що розрахунок був правильним. ➤ Перевірка в ланцюжку: Контракт перевіряє докази та оновлює результати. — ► Провідні проекти співпроцесорів ZK ➤ Лагранж ( @LagrangeDev ) Надає співпроцесор ZK на основі SQL з комітетами легких клієнтів для швидких кінцевих крос-чейн запитів. Використовується @eigenlayer, @Mantle_Official та @base для перевіреної сумісності. ➤ Простір і час ( @SpaceandTimeDB ) Надає співпроцесор Proof-of-SQL, що дозволяє виконувати перевірені запити на ончейн і офчейн даних. Використовується @chainlink та корпоративними партнерами для масштабованої аналітики та каналів оракулів. ➤ RISC Zero ( @RiscZero ) Надає послугу перевірки RISC-V zkVM з Bonsai для перевірених обчислень загального призначення. Використовується @citrea_xyz та @PhalaNetwork для надійних доказів виконання. ➤ Бревіс ( @brevis_zk ) Надає програмований співпроцесор даних ZK для крос-чейн запитів і крос-чейн даних, що не потребують довіри. Використовується @Uniswap гачками V4 та @LineaBuild запалюванням. ➤ Гіза ( @Gizatechxyz ) Надає фреймворк zkML, який перетворює моделі штучного інтелекту у форму з нульовим розголошенням. Використовується проєктами штучного інтелекту на основі @Starknet для виявлення шахрайства та управління активами. ➤ = нуль; Фундамент ( @nil_foundation ) Надає компілятор zkLLVM і Proof Market для перетворення стандартного коду в доказові схеми. Використовується мостами, ролапами та фінансовими протоколами для генерації доказів. ➤ Безмежний ( @BoundlessXYZ ) Надає програмовані співпроцесори ZK для доступу до історичного стану та крос-чейн обчислень. Використовується партнерськими роллапами для індексації даних та механізмів заохочення. ➤ Лаконічний ( @SuccinctLabs ) Надає SP1 zkVM і децентралізовану мережу prover для доказів валідності. Використовується @Mantle_Official для заміни доказів шахрайства та скорочення зняття коштів з семи днів до шести годин. ➤ Аксіома ( @axiom_xyz ) Надає доказовий API та OpenVM для запиту історичних даних @ethereum поза мережею та їх перевірки в мережі. Використовується @Scroll_ZKP для доопрацювання блоків і зменшення затримки виведення. — ► Ризики та компроміси ➤ Високі витрати на доведення: для доказів потрібне потужне обладнання та тривалі обчислення. ➤ Складна розробка: вимагає знань у галузі криптографії та спеціалізованих інструментів. ➤ Ризик централізації: Мережі ранніх постачальників залежать від кількох вузлів. ➤ Швидкі цикли апаратного забезпечення: Обладнання швидко розвивається, що робить налаштування дорогими та недовговічними. — ► Підбиття підсумків Співпроцесори ZK усувають найбільше вузьке місце блокчейну — обчислення. Вони перетворюють повільну, дорогу логіку на масштабоване, перевірене виконання складних смарт-контрактів. У міру вдосконалення апаратного забезпечення та децентралізації мереж доказів витрати на докази впадуть, а продуктивність зросте. Розробники DeFi, rollups, AI та систем намірів використовують їх для впровадження перевірених обчислень у модульні блокчейни.

Теги моїх друзів, які змінюють розповідь і піднімають розмову. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Відмова від відповідальності