У сегменті ZK у блокчейні є доволі поширене явище — більшість проєктних команд витрачають зусилля на брендові пакування та екосистемні історії, але в частині базового механізму верифікації, навпаки, напряму орендують готові рішення. Якщо зняти шар маркетингових формулювань, кожен zkRollup по суті знову й знову заявляє одне й те саме: «Ці обчислення коректні, це криптографічний доказ». Блокчейн сам лише відповідає за розсилання цього твердження, а те, що реально тримає його, — це прихований zkVM.

Це підводить до одного вкрай ключового запитання: якщо механізм доказів безпосередньо визначає весь безпековий поріг мережі, то чому так багато команд готові віддати свій «вузловий нерв» у руки інших?
Звісно, вартість створення zkVM з нуля всі добре розуміють — довгий цикл розробки, високі витрати на аудит, спільний доказовий механізм ітеративно розвивається дуже швидко, і для багатьох application chain оренда справді є більш практичним вибором. Але в аутсорсу є прихована вартість, яку рідко вказують на архітектурних діаграмах: з цього моменту ваш рівень безпеки прив’язується до дорожньої карти інших, до темпу їхніх аудитів, до змін у їхніх інструкціях. Якщо базовий рушій оновиться, ваші семантики доказів можуть «поплисти» разом із ним. Для звичайних application chain, можливо, це ще можна терпимо пережити; але для мережі, призначення якої — «здійснювати розрахунки без суду» — тобто для Bitcoin L2, спеціально побудованого під AI-агентів, такі залежності стають неприйнятними.