Фінал ZK: Безмежні проти Лаконічного Наближається сезон ZK, і, за прогнозами, до 2030 року ринок ZK infra зросте до >10 мільярдів доларів. Тим часом, Boundless і Slicinct претендують на роль домінаторів. Багато хто не розуміє, що хоча вони схожі, вони різні. Дозвольте мені розпакувати це ↓ Boundless: "Uber для ZK Compute" - Модель виконання: Надає універсальний ринок, де вакансії розміщуються в ланцюжку (можливо в будь-якому ланцюжку без мосту, що є ключовою відмінністю), зворотні голландські аукціони та Proof of Verifiable Work (PoVW) для створення конкурентного ринку, що об'єднує запитувачів доказів і доказів, одночасно винагороджуючи останніх на основі фактичних обчислювальних циклів, які вони виконують. Boundless використовує трирівневу архітектуру: Bento (локальне доведення), Broker (ринковий інтерфейс) та ончейн-розрахунок. - Продуктивність і прийняття: Відкритий маркетплейс доказів, який підтримує R0 zkVM (на основі RISC-V) від RiscZero, що знижує витрати на доведення з тисяч до лише кількох доларів і виробляє докази в 7 разів менші, ніж SP1 (zkVM від Sucinct), що робить їх ідеальними для перевірки в ланцюжку та менших робочих навантажень. Boundless вже має >1 700 доказів у бета-версії основної мережі та >391 тисяч доказів, запитаних лише у «The Signal» (докази стану ZK для суспільного блага interop). Лаконічно: високопродуктивна платформа для розробників - Модель виконання: Ощадлива, високопродуктивна мережа, що діє як «API для доказів ZK», що працює на основі свого SP1 zkVM (також заснованого на RISC-V) і швидкий аукціоніст офчейн для підбору/призначення одного виконавця на завдання, оптимізація для низької затримки та дозволяє розробникам генерувати докази зі стандартного коду Rust, який згодом перевіряється ончейн (на Ethereum). Succinct запускає SP1 через локальне підтвердження або свій розміщений API мережі prover. - Продуктивність та впровадження: високопродуктивна мережа PROVER SP1 чудово справляється зі складними криптографічними операціями завдяки своїй архітектурі попередньої компіляції. Він повністю готовий до виробництва і, наприклад, скорочує стійкість Tendermint до >2 годин до лічених хвилин. Мережі prover вже згенерували близько 5 мільйонів доказів із часом безвідмовної роботи 99,9%+ і розміщенням >1 600 програм. Які основні висновки? Хоча обидва в кінцевому підсумку прагнуть зробити ZK більш ефективною та широко доступною для будівельників, вони використовують особливий підхід до цієї місії на технічному рівні. Boundless, наприклад, є скоріше відкритою мережею, де будь-який постачальник може обчислювати офчейн, поки всі докази подаються ончейн, і з ринковими контрактами у всіх основних екосистемах/ланцюгах. У той же час PoVW забезпечує дозовані винагороди на основі фактичних виконаних обчислень. Він також є незалежним від системи захисту інфраструктури, і як маркетплейс без дозволу, прагне бути універсальним магазином для всіх потреб у перевірених обчисленнях і доведенні (крім живлення повного набору продуктів RiscZero ZK, включаючи R0 zkVM, Kailua, його співпроцесор Steel тощо, або зовсім недавно "The Signal" від Boundless). У повному обсязі екосистема RiscZero навколо Boundless надає повноцінне рішення для розробки ZK. З іншого боку, у мережі Proover Cut це система аукціоністів мережі, яка знаходить найдешевшого постачальника в режимі реального часу, при цьому один постачальник виграє роботу, а подальша ончейн-перевірка доставленого доказу з компонентами onchain, що працюють на Ethereum. Він спеціально орієнтований на живлення SP1, високопродуктивного zkVM від Succinct та інструментів розробників навколо нього. Багато поточних впроваджень Succinct пов'язані з ролапами «ZKfiyng» з його фреймворком OP Sucinct або живленням ZK appchain (наприклад, Hibachi) з акцентом на модульну екосистему. Чи є вони конкурентами? Значною мірою так, тому що той факт, що і @boundless_xyz, і @SuccinctLabs в кінцевому рахунку надають послуги з доведення, також означає, що неминуче з'являться продукти, побудовані на основі цієї інфраструктури, які в кінцевому підсумку будуть конкурувати один з одним з точки зору прийняття (і доведення попиту, який виникає в основі інфраструктури). Деякими прикладами тут є їх zkVM (R0 і SP1), а також багато варіантів використання, включених таким чином, в т.ч. Фреймворк OP Kailua від RiscZero для доказів шахрайства гібридних ZK, який конкурує з OP Succinct (фреймворк ZK від Succinct для ланцюгів OP), двома версіями Blobstream на базі ZK (міст DA для Celestia), які обидві команди створили поверх своєї інфраструктури, або їхніми внутрішніми співпроцесорами ZK (Steel проти SP1-CC) тощо. Тим не менш, я вважаю, що ринок ZK, який доводить, достатньо великий для двох (або більше?) великих гравців, і що особливо у випадку додатків з високими ставками (наприклад, інституційний DeFi, деякі варіанти використання штучного інтелекту тощо) або ланцюгів, які обслуговують ці вертикалі, мультипрохідні системи ставатимуть все більш поширеними (покращуючи надійність і безпеку), потенційно призводячи до подвійної інтеграції з обома мережами. Ми також побачимо шари агрегації, побудовані поверх кількох ринків/мереж доказів, що в кінцевому підсумку призведе до того, що ці інфраструктурні шари певною мірою працюватимуть у тандемі. ЗК – це ендшпіль. Сезон ЗК наближається. Вивчіть ЗК.