Мільярдне вузьке місце, яке робить ваші криптовалютні транзакції дорогими | Думка

Ви спробували переказати $50 з Ethereum (ETH) на ZK-ролап, такий як zkSync, очікуючи сплатити кілька центів. Натомість комісія від $0.15 до $0.50 списується з вашого гаманця. Це важко проковтнути, коли ви знаєте, що оптимістичні ролапи часто втричі дешевші за ZK-ролапи, а Оновлення Dencun знизило витрати на дані понад 90%. Вузьким місцем є не перевантаження мережі. Це саме доведення.

Генерація Доведення з нульовим розголошенням для пакета транзакцій є інтенсивним процесом. Це передбачає трильйони математичних операцій, зокрема множення еліптичних кривих, що виконуються на обладнанні, не призначеному для цього завдання. Згідно з даними L2Beat, сам процес доведення становить приголомшливі 60-70% усіх комісій на ZK-L2.

Це створило централізований ринок "ферм доведення", вартість якого оцінюється понад $97 млн. Це мільярдне вузьке місце. Це централізована, енергоємна система, яка покладається на невідповідне обладнання, і саме тому масштабування ZK все ще більше схоже на обіцянку, ніж на реальність. 

Рішення є двояким. Нам потрібні спеціалізовані ASIC та відкриті ринки доведення. За їх наявності транзакції менше центу можуть стати стандартом, а не винятком. Це не фантазія. Це інженерна реальність, яка чекає на впровадження.

Куди насправді йдуть ваші комісії

Транзакція ZK-ролапу має кілька витрат. Виконання L2 майже безкоштовне. Публікація даних у мейннеті тепер також дешева завдяки блобам, коштуючи десяту центу за транзакцію. Справжній звір — це доведення. Одне доведення для пакета з 4 000 транзакцій може зайняти від двох до п'яти хвилин для генерації на високопродуктивному GPU A100. 

Це коштує від $0.04 до $0.17 лише за комісії Хмарні обчислення, на основі тестів Brevis. Коли ви амортизуєте ці витрати, виходить приблизно від одного до чотирьох центів за транзакцію. Але при високому навантаженні це може легко зрости до понад десяти центів.

Доведення ZK — це не те саме, що матрична математика, що використовується в ШІ. Воно покладається на мультискалярні множення (MSM) та числово-теоретичні перетворення (NTT) над еліптичними кривими. Ці операції є важкою роботою для GPU, які призначені для паралельних операцій з плаваючою комою. Одне доведення Groth16 вимагає близько 10¹² польових операцій.

Згідно з тестами Ingonyama, близько 80% циклів GPU простоюють під час цього процесу. Обладнання просто не підходить. У 1 кварталі 2025 року звіт zkSync Era показав, що доведення становило 65% їхнього доходу в $2.3 млн. 

Це $1.5 млн, які пішли безпосередньо на централізовані кластери. Тим часом команди ролапів платять AWS від $1 000 до $5 000 на місяць за установку, і ці витрати масштабуються лінійно з обсягом. Не дивно, що загальна заблокована вартість у топових ZK L2 застрягла на рівні $3.3 млрд, тоді як оптимістичні ролапи перевищили $40 млрд.

Але оптимістичні ролапи (Base, Arbitrum, Optimism тощо) також не є повним рішенням, оскільки вони мають величезні компроміси. Оптимістичні ролапи вимагають принаймні семиденної затримки виведення, щоб пильні валідатори могли оскаржити недійсні переходи стану. У швидкоплинному світі DeFi цей час очікування просто надто довгий для більшості випадків використання. Ці мережі також вимагають від користувачів довіряти цим пильним валідаторам. Хоча це може підходити для транзакцій з низькою вартістю, як-от веб3-ігри або соціальні медіа, це залишає багато чого бажати, коли йдеться про реальні активи та інші потужні фінансові випадки використання.

Тому шлях до справді масштабованих, дешевих і безпечних транзакцій лежить не в уникненні генерації доведень, а в її революціонізації.

Це основна неефективність: ми платимо премію web2, як за вартість, так і за централізацію, щоб генерувати довіру для децентралізованої мережі. Комісія за доведення — це не просто витрата; це економічний якір, який стримує впровадження ZK. Доки генерація доведень не стане такою ж дешевою, як виконання, ZK-ролапи залишатимуться в пастці системи, де їхня найбільша сила, криптографічна безпека, також є їхнім найдорожчим вузьким місцем. І ця вартість не просто збільшує комісії; вона будує централізовану пастку, з якої ми тепер повинні вирватися.

Пастка централізації

Понад 90% ZK-ролапів віддають на аутсорсинг кільком компаніям "доведення як послуга". Це створює величезну єдину точку відмови. У березні 2025 року оператори Blast заморозили транзакції зловмисників і 12 000 невинних користувачів на 48 годин. Централізовані доведення бачать пакети у відкритому тексті, вилучають MEV і відмовляють у транзакціях. dYdX використовує мультипідпис 3 з 5, тобто троє інсайдерів можуть захопити блокчейн. Це відображає проблеми залежності від обладнання в інших блокчейн-системах, як-от механізм консенсусу Solana.

Ця централізація створює крихкість. Топові доведення мають 99.2% безвідмовної роботи, але єдиний збій AWS може каскадувати. У 2 кварталі 2025 року Starknet втратив 20% пропускної здатності через відмову одного вузла. Ці провайдери захоплюють 80% маржі, залишаючи ролапи без коштів, тоді як L1 Ethereum забезпечує безпеку. Це архітектурне протиріччя. У нас є "децентралізовані" L2, залежні від дата-центрів Web2. Як сказав Віталік Бутерін на Devcon 2024: "Віддайте доведення на аутсорсинг, і ви нічого не масштабували, просто довірилися новому оракулу".

Рішення є

Щоб вирішити цю проблему, нам потрібен подвійний удар. Нам потрібен кремній, побудований для ZK, і нам потрібен ринок для його розповсюдження. По-перше, обладнання. GPU — це як гоночні автомобілі на шосе. Вони чудові для тензорних операцій, що використовуються в ШІ, але жахливі для кривих операцій, що використовуються в ZK. Ось де з'являються спеціалізовані ASIC.

Переможці конкурсу ZPrize 2025 змогли отримати доведення STARK за 6-8 секунд на FPGA. Це в 10-100 разів швидше на ват, ніж GPU, тому що вони жорстко зашили MSM і NTT. Cysic вже випускає ASIC, які можуть генерувати доведення для мільярдів вентильних схем менш ніж за дві секунди, і вони роблять це зі зниженням споживання енергії в 50 разів. Це та сама еволюція, яку ми бачили з майнінгом Bitcoin (BTC). Ми перейшли від CPU до ASIC, але цього разу це для істини, а не для хешів.

По-друге, ринки. Нам потрібно відмовитися від моделі SaaS і розглядати доведення як товар. Мейннет Succinct 2025 року є прикладом цього. Ролапи публікують завдання на аукціонах на основі Ethereum, і спеціалізовані установки роблять ставки на них за лічені секунди. Brevis ProverNet досяг 20-кратної швидкості CPU через кластери GPU зі слешингом для ледачих вузлів.

Результат — 40% зниження витрат, справедливий розподіл вартості та стійкість до цензури. Будь-хто може довести, Ethereum перевіряє. ZPrize 2025 рекурсивна агрегація перевіряла доведення менш ніж за 200 мілісекунд ончейн. Бот DeFi за $10 000 може запускати приватний ZK-ML на L2 за тисячну центу за транзакцію.

Відкриття шлюзів

Дешевше доведення призведе до передбачуваних комісій менше $0.01 при 15 000 TPS згідно з дорожньою картою zkSync Atlas. Це відкриває NFT з оплатою за піксель, економіки ігор у реальному часі та ШІ-агенти, що розраховують угоди без фронтранінгу. L2 стають нейтральною інфраструктурою, а не феодальними володіннями доведення. 

Розробники зосереджуються на оптимізації VM замість управління величезними серверними фермами. Це викликає десятикратні інновації додатків. ZK TVL зростає з $28 млрд у 2025 році до понад $100 млрд. Справжня можливість є системною. 

Коли доведення стає дешевим і децентралізованим, вся ціннісна пропозиція кристалізується. Користувачі отримують швидкість і вартість. Розробники отримують платформу, яка не вимагає довіри до кількох операторів. Ethereum отримує рішення масштабування, яке зберігає гарантії безпеки без компромісів.

Боротьба тут

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

Нам не потрібні повелителі доведення. Нам потрібний глобальний базар для доведень, де будь-хто вносить свій внесок, кожен перевіряє, і відкритий веб є безпечним.