Що таке SNARKs? Чому Віталік Бутерін вважає, що витрати на ZK-докази можуть впасти нижче 10x

Що таке SNARKs? Чому Віталік Бутерін вважає, що витрати на ZK-докази можуть впасти нижче 10x

Віталік Бутерін вважає, що криптографія наближається до майже нульових навантажень

Співзасновник ethereum Віталік Бутерін опублікував аналіз 6 вересня 2026 року, визначивши конкретні ймовірності довгострокової практичності трьох просунутих криптографічних примітивів. Він призначив 60%-ву ймовірність того, що SNARKs, повністю гомоморфне шифрування та обфускація нерозрізненості в кінцевому підсумку працюватимуть з витратами менше ніж у 10 разів вищими, ніж у звичайних обчислень, при вимірюванні загальною енергоспоживанням плюс амортизаційними витратами на обчислення. Він також оцінив 33%-ву ймовірність того, що ті самі інструменти можуть наблизитися до накладних витрат 1+ε при достатньому масштабі, що означає, що додаткові криптографічні витрати стають довільно малими в порівнянні з базовою роботою. SNARKs виділяються як найбільш зрілі з трьох і найбільш ймовірні до досягнення однозначних накладних витрат до кінця десятиліття. Спеціалізовані хеш-функції та деякі навантаження інференсу великих мовних моделей вже продемонстрували порівнянні рівні ефективності.
 
Ці проекції з’являються на тлі швидкого зниження витрат на доведення з нульовим розголошенням: публічні бенчмарки показують, що вартість доведень блоків ethereum впала з доларів до часток цента за приблизно рік. Зниження накладних витрат розширило б можливості використання приватних доведень, дозволило б підвищити ліміти газу без пропорційного зростання апаратного забезпечення валідаторів і сприяло б ширшому впровадженню застосунків, що забезпечують конфіденційність, у блокчейн-системах. Ця оцінка залишається особистою, неконсенсусною думкою, а не зобов’язанням щодо розробки протоколу. SNARKs вже надають реальну цінність сьогодні і найближчі серед сучасних криптографічних інструментів до досягнення низьких накладних витрат, необхідних для масового, масштабного розгортання, згідно з оцінками ймовірності Buterin за вересень 2026 року та супутнім емпіричним прогресом у системах доведення.

Як SNARKs забезпечують компактні докази правильності обчислень без розкриття вхідних даних

Короткі неінтерактивні аргументи знань (SNARKs) дозволяють одній стороні створити короткий криптографічний доказ того, що обчислення було виконано правильно. Перевіряюча сторона перевіряє доказ, не виконуючи знову повного розрахунку або не дізнаючись приватні вхідні дані. Властивість «короткості» забезпечує малий розмір доказу та швидку перевірку, навіть якщо базове твердження є складним. Невзаємодійний дизайн означає, що доводяча сторона створює одне повідомлення, яке будь-яка перевіряюча сторона може перевірити незалежно. Варіанти з нульовим розголошенням додатково приховують дані свідка, що підтримує застосунки конфіденційності, такі як захищені транзакції або конфіденційна логіка смарт-контрактів. На практиці сучасні конструкції SNARK ґрунтуються на криптографії на основі парувань або хеш-орієнтованих альтернативах, де обчислення виражається як арифметичні обмеження. Час та пам’ять для доведення залишаються основними витратами, тоді як перевірка зазвичай достатньо дешева для використання на ланцюгу. Останні спеціалізовані системи зменшили накладні витрати для структурованих завдань, таких як повторні хеш-обчислення, до рівнів, значно нижчих, ніж у попередніх універсальних реалізаціях.
 
Цей розрив у ефективності між спеціалізованими та загальними випадками пояснює, чому Бутерін виділяє SNARKs як найближчого кандидата на широке застосування з однозначним накладним навантаженням. У виробничих розгортаннях вже використовуються SNARKs для доказів валідності ролапів та протоколів конфіденційності, що демонструє працездатність основного механізму в масштабі навіть до повного реалізування прогнозованих знижень витрат. Безперервний прогрес у оптимізації схем, апаратному прискоренні та рекурсивній композиції продовжує зменшувати залишковий розрив у продуктивності між нативним виконанням та перевіреним виконанням. Практична цінність SNARKs ґрунтується на асиметрії між генерацією доказу та його перевіркою. Генерація доказу може все ще вимагати значних ресурсів порівняно з простим запуском початкової програми, проте отриманий об’єкт залишається невеликим і швидким для перевірки. Ця властивість лежить в основі дизайнів масштабування Layer-2, які надсилають компактні докази на базовий рівень замість повних даних транзакцій. Вона також підтримує застосунки, де сторона повинна продемонструвати знання секрету або правильне виконання приватних обчислень, не розкриваючи сам секрет.
 
Емпіричні показники з 2025 по 2026 рік показують, що витрати на підтвердження для блоків розміром з Ethereum знизилися приблизно у 45 разів за один рік на публічних трекерах, досягнувши рівня нижче цента для придатних конфігурацій у оптимізованих багато-GPU середовищах. Такі покращення підтверджують напрямок до цілей накладних витрат, описаних Бутеріном. Тенденції у апаратному забезпеченні, включаючи GPU класу споживачів та спеціалізовані проєр-дизайни, додатково зменшують абсолютні енергетичні та капітальні витрати, пов’язані з генерацією доведень. Коли спеціалізовані хеш-функції вже працюють майже на кратних рівнях від однозначних до власної вартості, залишаються інженерні виклики щодо поширення цих ефективностей на більш загальні схеми без введення нових обмежень. Комбінація алгоритмічних досягнень та дозрівання апаратного забезпечення, отже, надає фактичну основу для оптимістичної ймовірності, призначеної досягненню SNARKs загально корисного рівня накладних витрат у це десятиліття.

Фреймворк ймовірностей Віталіка Бутеріна за версією вересня 2026 року для криптографічного навантаження

6 вересня 2026 року Бутерін кількісно оцінив довгострокові питання щодо практичності просунутої криптографії, призначивши явні ймовірності. Він оцінив 60%-шу ймовірність того, що SNARKs, повністю гомоморфне шифрування та обфускація нерозрізнюваності в кінцевому підсумку досягнуть менше ніж у 10 разів об’єднаних витрат енергії та амортизованої обчислювальної потужності звичайних обчислень. Окрема ймовірність 33% стосується сильнішого твердження, що всі три компоненти зможуть наблизитися до накладних витрат 1+ε для середніх реальних навантажень, коли масштаб буде достатньо великим. Вимірювання свідомо враховує витрати енергії, а не лише час у реальному масштабі, що відображає справжній економічний навантаження використання цієї технології в масштабах. Бутерін описав загальну перспективу як оптимістичну та неконсенсусну. Він зазначив, що принаймні один із трьох примітивів, найімовірніше SNARKs, має хорошу шанс досягти однозначних накладних витрат до кінця десятиліття. Спеціалізовані випадки вже демонструють можливість таких рівнів для певних хеш-функцій та завдань інференсу моделей мови. Прогнози не мають прив’язаних дедлайнів протоколу чи інженерних зобов’язань; вони представляють особисту оцінку технічної можливості, а не розклад для оновлень ethereum.
 
Охоплення в кількох ЗМІ 6 і 7 вересня підтвердило ті самі числові діапазони та акцент на SNARKs як найближчого кандидата. Ці цифри надають конкретну відправну точку, за якою можна вимірювати подальший прогрес досліджень. Відмінність між ймовірністю менше ніж 10x для 60% та вужчим часовим горизонтом для однозначних кратних значень є важливою. Бутерін не стверджував, що всі три технології подолають поріг 10x до 2030 року. Більш обмежене твердження стосується ймовірності того, що принаймні одна з них — очікувано, SNARKs — досягне однозначних кратних значень протягом десятиліття. Таке формулювання уникнуло надмірних обіцянок щодо більш віддалених примітивів, одночасно підкреслюючи вимірюваний потенціал у найближчому майбутньому. Облік енергії плюс амортизаційна вартість додає додаткової обґрунтованості оцінці, спираючись на економічну реальність, а не лише на асимптотичну складність.
 
Коли витрати на доведення знижуються, той самий обчислювальний бюджет може підтримувати більшу пропускну здатність або більш складні твердження без пропорційного збільшення вимог до апаратного забезпечення для валідаторів чи користувачів. Публічний звіт про аналіз від 6 вересня постійно цитував ті самі цифри 60% і 33%, а також зазначав, що спеціалізовані завдання вже наблизилися до цільового діапазону. Отже, ця рамка надає як кількісний прогноз, так і якісну рейтингову оцінку відносної зрілості трьох технологій. Безперервні емпіричні покращення в системах доведення SNARK надають незалежну підтримку рейтингу, який ставить SNARK на перше місце в послідовності очікуваних знижень витрат.

Спеціалізовані хеш-функції вже наближаються до однозначного накладення SNARK

Бутерін відкрито зазначив, що спеціалізовані хеш-функції вже досягли рівня ефективності, порівнянного з незначною витратою ресурсів у порівнянні з нативним виконанням. Нові розробки, такі як Flock — хеш-орієнтований SNARK, оптимізований для пакетів булевих обчислень, — ілюструють це конкретними цифрами пропускної здатності. На споживчому обладнанні Apple M4 Max може доводити сотні тисяч операцій стиснення BLAKE3, стиснення SHA-256 або перестановок Keccak за секунду, що становить приблизно покращення на порядок порівняно з попередніми найкращими системами для тих самих завдань. Розміри доведень залишаються менше 450 КБ, а перевірка завершується за менше чотирьох мілісекунд. Ці результати мають значення, оскільки оцінка хешів домінує в багатьох криптографічних схемах, включаючи відкриття шляхів Меркла, хеш-ланцюги та внутрішні шари рекурсивних доведень.
 
Коли домінуючі операції стають дешевими для підтвердження, загальна витрата на більші твердження зменшується, навіть якщо оточуюча логіка залишається менш оптимізованою. Той самий принцип поширюється на певні завдання висновування великих мовних моделей, де множення матриць і пов’язані структуровані операції допускають дуже ефективні стратегії підтвердження. Публічна документація цих спеціалізованих систем підтверджує, що однозначні кратні значення більше не є чисто теоретичними для вузьких, але часто зустрічаються обчислювальних шаблонів. Поширення такої ефективності на універсальні схеми залишається інженерним викликом, але спеціалізовані результати надають чітке доказ існування. Апаратне прискорення додатково посилює отримані переваги: багатоядерні та багато-GPU конфігурації збільшують пропускну здатність ще вище, тоді як обсяги пам’яті залишаються практичними для цільових розмірів пакетів. Дизайн Flock поєднує оптимізовані протоколи lincheck і zerocheck з агресивними методами реалізації, демонструючи, що спільний розробка алгоритмів і програмного забезпечення може призвести до значного прискорення.
 
Подібні спеціалізовані модулі зустрічаються в інших сучасних системах SNARK, які ізольовують витратні операції, такі як хеші чи підписи, і доводять їх за допомогою спеціальних, високооптимізованих субпротоколів. Коли основна частина обчислення складається з такого структурованого завдання, залишкова загальна накладна вартість стає меншою часткою загальної вартості. Згадка Бутеріна про ці існуючі випадки ґрунтується на вимірюваних показниках продуктивності, а не лише на проекціях. Коли більше завантажень буде переписано або скомпільовано з акцентом на SNARK-дружні примітиви, частка реальних обчислень, які можуть працювати з накладними витратами в однозначному діапазоні, продовжує розширюватися. Ця поступова спеціалізація забезпечує один з конкретних шляхів, що підтримують більш загальну ймовірність того, що SNARK до кінця десятиліття досягне цільового діапазону для середніх випадків.

Останні емпіричні зниження витрат на підтвердження блоків ethereum

Незалежні бенчмарки фіксують стрімке зниження вартості генерації доказів із нульовим розголошенням для блоків ethereum. Дані публічного ethproofs показали, що середня вартість знизилася з приблизно 1,69 долара на початку 2025 року до менше чотирьох центів на кінець того ж року — зменшення приблизно в 45 разів. На початок вересня 2026 року обрані конфігурації повідомили про вартість близько півцента за придатні блоки, хоча частка успішних доказів за менше 10 секунд у всіх оцінених слотах залишалася частковою, оскільки до підсумків включаються офлайн-та непридатні запуски. Раніше Фонд ethereum встановив чіткі цілі для реального часу: менше 10 секунд для 99 відсотків блоків мейннету на обладнанні вартістю не більше 100 000 доларів, з споживанням не більше 10 кіловат, з доказами менше 300 Кбайт і без довіреної налаштування. Кілька команд до кінця 2025 року досягли або наблизилися до цих цілей.
 
Ці цифри стосуються повних блоків доведень, а не ізольованих застосувань, проте вони демонструють, що абсолютна вартість генерації SNARK продовжує знижуватися за реалістичних навантажень та обмежень апаратного забезпечення. Перевірка залишається значно дешевшою за доведення, що зберігає витрати на ланцюгу керованими навіть із зростанням складності доведень. Траєкторія витрат має безпосередні наслідки для кратності накладних витрат, про які говорив Бутерін. Коли абсолютні енергетичні та капітальні витрати на виробництво доведення знижуються, співвідношення щодо нативного виконання покращується, навіть якщо алгоритмічні накладні витрати залишаються незмінними. Покращення апаратного забезпечення, включаючи більш щільні розгортання GPU та більш ефективне програмне забезпечення для генерації доведень, сприяють зафіксованим зниженням.
 
Спеціалізовані системи додатково прискорюють підмножину операцій, що домінують у доведенні блоків, таких як хешування та перевірка підписів. Комбінація алгоритмічного прогресу та досягнень у сфері масового обладнання створює кумулятивні ефекти, помітні у публічних трекерах. Зниження витрат на доведення також м’якше впливає на обмеження газу та пропускної здатності: валідаторам більше не потрібно масштабувати обладнання пропорційно кожному зростанню обчислювального навантаження, якщо більша частина роботи може бути доведена, а не повторно виконана. Знімок вересня 2026 року з витратами менше цента для певних конфігурацій надає актуальну емпіричну контекстну інформацію для ймовірності 60%, призначеної для накладних витрат менше ніж у 10 разів. Постійне спостереження за тими ж публічними тестами дозволить спостерігачам перевірити, чи зберігається спостережувана швидкість покращення, необхідна для досягнення цілі в одиницях для ширшого навантаження протягом десятиліття.

Як зниження витрат на SNARK може підвищити ліміти газу ethereum без зростання вимог до апаратного забезпечення

Зменшення накладних витрат SNARK безпосередньо впливає на економіку підвищення лімітів газу. Вищі ліміти збільшують обчислювальну роботу, яку може містити кожен блок, що, в свою чергу, збільшує ресурси, необхідні для повної перевірки, якщо кожна нода повторно виконує кожну транзакцію. Коли значна частина цієї роботи може бути покрита стислими доказами, граничний апаратний навантаження на валідаторів зростає повільніше. Бутерін раніше пов’язував дешевші докази з досяжністю вищої пропускної здатності без пропорційного збільшення вимог до валідаторів. У крайньому випадку рекурсивні докази можуть стиснути величезні обсяги виконання в об’єкти, вартість перевірки яких залишається майже постійною. Спеціалізовані хеш- та підписові модулі вже демонструють, що домінуючі операції всередині багатьох схем можуть працювати з помірними кратними витратами порівняно з нативними.
 
Підвищення ефективності зменшує загальну енергію та амортизовані витрати, пов’язані з підтвердженням більших блоків. Результатом є більш вигідний компроміс між пропускною здатністю та децентралізацією: мережі можуть обробляти більше активності, зберігаючи бар’єр для запуску валідуючої ноди в межах досяжності для ширшого кола учасників. Практичні приклади можна побачити в існуючих дизайнах Layer-2, які вже публікують докази SNARK або STARK замість повних трас виконання. Зі зниженням витрат на підтвердження ті ж дизайни можуть підтримувати щільніші пакети або складнішу логіку застосунків без пропорційного зростання витрат на інфраструктуру підтвердження. На базовому рівні пропозиції, які залежать від щоденних або епохальних доказів для оновлення стану валідаторів, також користуються від нижчого навантаження.
 
Метрика енергії плюс амортизована вартість, яка підкреслювалася в аналізі вересня 2026 року, враховує повний економічний вплив цих змін. Коли додаткова вартість криптографії зменшується до однозначних кратних значень, стимул зберігати докази поза критичним шляхом зменшується, і їх використання може розширитися на більш регулярні функції протоколу. Учасники ринку, які відстежують метрики ємності ethereum, можуть тому інтерпретувати зниження вартості доведення як індикатор майбутнього простору для збільшення ліміту газу, що зберігає широку участь. Зв’язок між криптографічною ефективністю та масштабуванням протоколу залишається одним із найчіткіших наближених застосувань знижень вартості, які квантифікував Бутерін.

FHE та індистинктуабіліті обфускація знаходяться далі від практичних цілей накладних витрат

Повне гомоморфне шифрування дозволяє виконувати довільні обчислення над зашифрованими даними без розшифрування, тоді як нерозрізненна обфускація має за мету повністю приховати внутрішню логіку програми, щоб залишилася лише спостережуваною її поведінка вхід-вихід. Обидва примітиви розширюють простір дизайну для застосунків з приватним спільним станом та захисту програмного забезпечення, але їхні поточні накладні витрати значно перевищують такі у SNARKs. Buterin раніше описував iO як «фінального боса» криптографії, оскільки конструкції накладають кілька просунутих примітивів і все ще дають галактичні часи виконання за консервативних припущень. Навіть оптимістичні підходи, засновані на ґратках, залишають часи виконання, виміряні в днях, на потужному обладнанні для помірних програм. Реалізації FHE покращилися, але продовжують генерувати артефакти розміром у кілька гігабайт і часи виконання у кілька годин для відносно невеликих завдань машинного навчання за бенчмарками 2026 року.
 
Тому аналіз вересня відносить обидві технології позаду SNARKs за очікуваним часом до однозначного накладення. Ймовірність 60% стосується остаточного досягнення витрат менше ніж у 10 разів для всіх трьох; вужча заява на кінець десятиліття визначає SNARKs як найбільш ймовірну першу технологію. Відносна відстань не означає зупинки. Дослідження продовжуються з більш агресивними припущеннями, новими підходами, що не базуються на ґратках, такими як локальне змішування, та поступовою оптимізацією існуючих конструкцій. Покращення компонентних примітивів, таких як функціональне шифрування або ефективне FHE, можуть призвести до зниження загальних витрат на iO. Для FHE шлях включає кращі методи упаковки, апаратне прискорення та кодування, що добре підходять для схем, що зменшують зростання шуму.
 
Тим не менш, емпіричний розрив залишається достатньо великим, щоб ранг Бутеріна відносив практичну однозначну витратність цих інструментів пізніше, ніж для SNARK. Застосунки, які вимагають обчислень на зашифрованому спільному стані або прихованій логіці програми, тому продовжуватимуть покладатися на альтернативні методи або гібридні дизайни, доки не будуть досягнуті цілі щодо витратності. Ймовірнісна рамка розглядає три технології як портфель: успіх на найближчому елементі (SNARKs) вже відкриває значну вартість, тоді як остаточний прогрес на більш віддалених елементах розширює набір здійсненних гарантій конфіденційності та цілісності. Тому відстеження спеціалізованих результатів SNARK залишається найбільш негайним індикатором того, чи перебуває загальна оцінка 60% на правильному шляху.

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

Рекурсивна композиція дозволяє SNARK перевірити інший SNARK, що забезпечує ієрархічне стиснення великих обчислень у один компактний доказ. Ця техніка вже є ключовою для багатьох продуктивних систем, які агрегують кілька транзакцій або блоків. Коли внутрішні докази стають дешевшими у створенні, зовнішній рекурсивний шар наслідує ці заощадження і може працювати з вищою пропускною здатністю або нижчою затримкою. Спеціалізовані модулі для хешів та інших частих операцій додатково прискорюють рекурсивний шлях, оскільки перевірка внутрішнього доказу часто зводиться до структурованих перевірок, які допускають ефективну обробку.
 
Публічні тестові дані, що показують витрати менше одного цента за повні докази цілих блоків ethereum, вже використовують рекурсивні техніки в кількох провідних стеках доказів. Оскільки базові витрати на докази продовжують знижуватися, граничні витрати на додаткові рівні рекурсії також зменшуються, що підтримує глибше вкладення без пропорційного зростання ресурсів. Та ж властивість композиції підтримує «надзвичайно легкі» дизайни консенсусу, які замінюють повторювані оновлення балансів у блокчейні щоденними або епохальними доказами із нульовим розголошенням. Валідатори відстежують власний стан і надсилають стислий доказ, що охоплює участь і нагороди; базовий рівень перевіряє агреговані дані, а не зберігає та оновлює кожен баланс. Зниження накладних витрат робить такі докази здійсненними на скромному обладнанні та в межах практичних часових інтервалів.
 
Рекурсивна агрегація може додатково стиснути докази від багатьох валідаторів у єдиний об’єкт, вартість перевірки якого залишається майже постійною. Ці архітектурні шаблони ілюструють, як зменшення витрат на примітивному рівні перетворюється на системну ефективність. Коли енергетичні витрати та амортизовані витрати кожного рівня доказу наближаються до однозначних кратних від базової роботи, загальний накладний характер багаторівневих систем залишається керованим. Емпіричний прогрес як у спеціалізованих провайдерах доказів, так і в повних блок-тестах надає підтримуючі докази досяжності рекурсивних дизайнов, які залежать від доступних SNARK.

Апаратне прискорення та прувери споживачського рівня зменшують вартісний розрив

Сучасні SNARK-провайдери все частіше використовують звичайні GPU та багатоядерні CPU, а не обмежуються виключно спеціалізованими ASIC. Конфігурації з 16 споживчими GPU продемонстрували реальний час генерації доказів для блоків ethereum в межах цілей Foundation щодо затримки та споживання енергії. Результати з одним GPU і навіть на ноутбуках для вузьких завдань, таких як пакети хешів Flock або докази тотожності на пристрої, показують, що абсолютні апаратні бар’єри продовжують знижуватися. Обсяги пам’яті для деяких мобільних і настільних провайдерів залишаються в межах звичайних споживчих пристроїв.
 
Ці розробки зменшують як капітальні витрати на інфраструктуру довідника, так і енергетичну складову метрики накладних витрат, на яку звертав увагу Бутерін. Коли та сама обчислювальна робота може виконуватися на широко доступному обладнанні, амортизовані витрати знижуються, і технологія стає доступною для більш широкого кола операторів. Ця тенденція також взаємодіє з алгоритмічною спеціалізацією. Обладнання, яке прискорює матричні множення або паралельні оцінки хешів, посилює досягнення, вже отримані для висновків мовних моделей та структурованих булевих схем. ПО довідника, яке відображає схеми на ці апаратні примітиви, додатково покращує використання.
 
Публічні трекери, які звітують про витрати та показники успішності для кількох незалежних конфігурацій, забезпечують постійний огляд загального ефекту від прогресу у апаратному та програмному забезпеченні. Коли все більше команд публікують відтворювані тестові показники на порівнянному обладнанні, спільнота може розрізняти справжній приріст ефективності від артефактів, специфічних для конфігурації. Спостереження у вересні 2026 року вартості в півцента за придатні докази блоків, навіть з неповними показниками успішності для всіх слотів, свідчить про те, що апаратний шлях залишається продуктивним. Подальше покращення в цьому напрямку підтримує ймовірність того, що низькі розходи в одиницях стануть досяжними для все більшого спектру завдань до кінця десятиліття.

Застосунки приватності першими отримають переваги від дешевших SNARKs

Зниження витрат на SNARK розширює набір застосунків, що зберігають конфіденційність, які можуть ефективно працювати на публічних мережах. Захищені транзакції, приватний стан розумних контрактів та вибіркове розголошення облікових даних усі залежать від доказів із нульовим розголошенням, генерація яких має залишатися практичною для кінцевих користувачів чи операторів сервісів. Коли накладні витрати на доведення знижуються до однозначних кратних, труднощі генерації та надсилання таких доведень зменшуються, що сприяє більш широкому впровадженню. Існуючі системи вже демонструють цей патерн: протоколи конфіденційності, які раніше вимагали значних зовнішніх обчислень чи довірених апаратних засобів, можуть переходити до більш прозорих, повністю криптографічних рішень, коли витрати знижуються.
 
Інструментарії для доказів на пристрої, випущені у 2026 році, далі ілюструють цей напрямок, генеруючи докази тотожності локально на споживчих телефонах без надсилання базових документів на зовнішні сервери. Швидші та дешевші докази роблять ці локальні робочі процеси більш відповідними та енергоефективними. Ті самі зниження витрат підтримують дизайни приватних спільних станів, що поєднують SNARKs з іншими примітивами. Конфіденційні автоматизовані ринкові маркери, аукціони з закритими пропозиціями та приватні пулі позичок стають більш реалізованими, коли криптографічна накладена вартість більше не домінує в економічних розрахунках. Більш широка дискусія Бутеріна про дорожні карти приватності, включаючи приватні читання, запис та докази, збігається з очікуванням, що доступні SNARKs утворять фундаментальний шар.
 
Емпіричне зниження витрат вже помітне у публічних тестах, тому воно перетворюється на конкретний простір для функцій конфіденційності, які раніше стикалися з економічними обмеженнями. Учасники ринку, що стежать за впровадженням протоколів, що зберігають конфіденційність, можуть сприймати зниження витрат на підтвердження як лідируючий індикатор розширеного простору для дизайну. Цей зв’язок залишається обґрунтованим даними: виміряне зменшення витрат на енергію та капітал безпосередньо покращує життєздатність застосунків, чия коректність та конфіденційність ґрунтуються на SNARK-доказах.

Ринковий та галузевий контекст для прискорення ефективності SNARK

Ширша екосистема нульових знань продовжує демонструвати активний розвиток, навіть коли показники окремих проектів коливаються. Публічні репозиторії та трекери активності розробників у 2026 році фіксують тисячі історичних учасників та меншу, але все ще значну кількість поточних активних розробників у різних системах доведення та віртуальних машинах. Продуктові zkVM повідомляють про реальний або майже реальний час доведення завантажень розміром з ethereum на апаратному забезпеченні з кількома GPU, причому кілька систем досягли статусу перевірених продуктивних систем. Спеціалізовані провайдери для пакетів хешів та ідентичності на пристрої додають різноманітність до наявного інструментарію.
 
Ці паралельні зусилля створюють конкурентний тиск, що прискорює оптимізацію в цілому. Коли кілька незалежних команд публікують покращені показники витрат і затримок, загальний напрямок стає більш надійним, ніж будь-яка окрема реалізація. Впровадження в галузі поширюється за межі чистого масштабування блокчейну. Пілотні проекти з токенізацією активів між юрисдикціями, прототипи цифрових валют та рамки перевірки даних у сфері охорони здоров’я вже почали використовувати докази на основі SNARK. Загальна вимога — здатність продемонструвати правильність обчислень або дійсність облікових даних без розкриття базових даних.
 
Зниження витрат на доведення знижує бар’єри і для цих некриптовалютних випадків використання, розширюючи загальний попит на ефективну технологію SNARK. Публічне повідомлення про зниження витрат на доведення блоків Ethereum слугує видимим показником прогресу, який корисний для ширшого кола застосунків. Комбінація відкритих тестів, конкуруючих реалізацій і розширюваних випадків використання створює ринковий контекст, в якому оцінки ймовірності Бутеріна можна буде оцінювати протягом наступних років. Постійне покращення за цими напрямками збільшить впевненість у тому, що оцінка 60% для накладних витрат менше ніж у 10 разів є досяжною.

Практичні інженерні шляхи до ширшого однозначного накладного навантаження

Кілька конкретних інженерних напрямків збігаються на меті накладних витрат у межах однозначного числа для загальних завантажень. Компілятори схем, які відображають код високого рівня на проміжні представлення, зручні для SNARK, зменшують кількість обмежень для поширених операцій. Мови та бібліотеки, спеціалізовані для певних галузей, які надають оптимізовані хеш-функції, підписи та арифметичні модулі, дозволяють розробникам структурувати програми навколо вже ефективних примітивів. Рекурсивна агрегація та техніки даних із доказами розподіляють витрати на перевірку між великими партіями. Спільний проект апаратного та програмного забезпечення додатково відображає залишкову загальну роботу на паралельні прискорювачі.
 
Кожен із цих шляхів приніс вимірювані результати у період 2025–2026 років. Коли спеціалізовані модулі вже працюють близько до цільового показника, залишкова загальна частина стає фокусом подальшої оптимізації. Послідовне зменшення цієї залишкової частини наближає середні накладні витрати для реалістичних програм до однозначного діапазону. Витрати на перевірку залишаються низькими порівняно з доведенням, тому основні інженерні зусилля зосереджені на превері. Публічні трекери, які повідомляють як абсолютні витрати, так і статистику частоти успіху для різних конфігурацій апаратного забезпечення, надають незалежну таблицю результатів.
 
Команди, які публікують відтворювані результати на порівнянних системах, дозволяють спільноті визначити, які комбінації алгоритму, проекту схеми та апаратного забезпечення дають найбільший приріст. Існування кількох zkVM і спеціалізованих провайдерів промислового рівня вже свідчить, що технологія вийшла за межі лабораторних прототипів. Розширення ефективності, продемонстрованої на хешах та висновуванні мовних моделей, на весь діапазон логіки застосунків становить залишкову практичну задачу. Прогрес у цих інженерних напрямках надає фактичну основу для очікування, що SNARKs досягнуть загально корисного однозначного накладення протягом десятиліття.

🔥 Поза заголовками: що означає KuCoin 5.0 для вас

Ринкові новини рухаються швидко — але те, де ви дієте з ними, має таке саме значення. Цього жовтня KuCoin запускає KuCoin 5.0, перетворюючи KuCoin на відновлену платформу. Ось що змінюється саме для вас:
  • Один акаунт для всього. Старі платформи розділяли ваші кошти між окремими акаунтами «спот», «маржа» та «ф'ючерси» і очікували, що ви зрозумієте чому. Єдиний акаунт KuCoin 5.0 повністю видаляє це — зробіть депозит один раз, і все буде просто там.
  • Акції, індекси та товари. KuCoin 5.0 розширюється за межі криптовалют на глобальні ринки. Коли криптовалюти рухаються бічно, а акції ростуть (або навпаки), ви можете переключитися за хвилини, замість того щоб відкривати брокерський акаунт і чекати днів на фіатні канали.
  • Реальні активи (RWA). Токенізоване виставлення на традиційні активи, такі як сировина, прямо в вашому крипто-акаунті. Один із найшвидше розрастаючих сегментів у глобальній фінансовій сфері більше не використовується лише інституціями — ви отримуєте до нього доступ з того ж балансу, з яким торгуете.
  • Заробляйте, поки вчитеся. Ще не готові торгувати? KCUSD дозволяє вашим стейблкоїнам заробляти щоденні автокомпаунд-відсотки. Найменш стресовий спосіб використати ваші неактивні депозити для отримання 4% дохідності.
  • AI-асистент простою мовою. Задавайте питання, отримуйте контекст ринку, розумійте, що ви бачите — інтегровано в платформу, без жаргону.
  • Додаток, який не перевантажує. Швидший, чистіший і послідовний — інтуїтивний з першого дотику, а не після інструкції.
  • Безпека, яку ви можете перевірити, а не просто вірити. Організація з ліцензією MiCAR у ЄС, Proof of Reserves, який ви можете перевірити самостійно, та міжнародно сертифікована безпека (SOC 2 Type II, ISO 27001:2022).
 
Створіть акаунт за хвилини — і почніть працювати на платформі, створеній для майбутнього криптовалют, а не минулого.

Довгостроковий перспективний огляд систем з приватним спільним станом та посередницькими ролями

Якщо заплановані зниження витрат реалізуються, приватні застосунки зі спільним станом стають більш практичними. Повне гомоморфне шифрування дозволить кільком сторонам виконувати обчислення над зашифрованими даними, не розкриваючи вхідні дані, а SNARKs нададуть стислі докази, що обчислення відповідало згодованим правилам. Обфускація нерозрізненості може додатково захистити власну логіку. Більш дешеві версії цих інструментів зменшать залежність від довірених кастодіанів, аудиторів або централізованих механізмів зіставлення для певних фінансових та обчислювальних процесів. Аналіз за вересень 2026 року прямо пов’язує зниження криптографічних навантажень з можливістю ослаблення традиційних ролей посередників, коли конфіденційність і перевіряємість стануть стандартними, а не спеціалізованими функціями.
 
Термін залишається довгим для повного набору примітивів, але поступовий прогрес у ефективності SNARK вже розширює простір дизайну для гібридних систем, які поєднують поточні докази виробництва з іншими методами конфіденційності. Власні дорожні карти конфіденційності та масштабування ethereum ілюструють шлях на короткострокову перспективу. Пропозиції щодо приватних читань, записів та доказів, разом із фрейм-транзакціями та ключовими nonce, можуть передбачати більш агресивне використання SNARK при зниженні витрат. Ефективні дизайни консенсусу, які замінюють повторювані оновлення стану стислими доказами, також користуються.
 
Поза системами блокчейну ті самі досягнення в ефективності підтримують регульовані середовища, які вимагають як конфіденційності, так і перевіряємості. Ймовірність 33%, призначена для майже нульової витратності в масштабі, відображає довгострокову можливість, коли додаткові витрати на криптографічний захист стануть незначними для середніх навантажень. Навіть більш консервативна ймовірність 60% для витратності менше ніж у 10 разів становила б суттєвий зсув порівняно з історичними показниками. Тому слідкування за емпіричною траєкторією витратності SNARKs залишається найбільш прямим способом оцінки того, чи наближаються ці довгострокові наслідки до практичності.

ЧАСТІ ПИТАННЯ

Що саме сказав Віталік Бутерін про витрати на SNARK у вересні 2026 року?

6 вересня 2026 року Бутерін оцінив імовірність у 60%, що SNARKs, повна гомоморфна шифрування та обфускація нерозрізненості в кінцевому підсумку працюватимуть з витратами енергії та амортизованою обчислювальною потужністю менше ніж у 10 разів порівняно зі звичайними обчисленнями. Він окремо оцінив імовірність у 33%, що всі три методи можуть наблизитися до накладних витрат 1+ε при достатньому масштабі.
 

Наскільки близькими є поточні витрати на генерацію SNARK до цільового показника в однозначних цифрах?

Спеціалізовані завдання, такі як пакетна оцінка хешів, вже працюють майже або в межах однозначних кратних значень від нативного виконання на споживчому обладнанні. Вартість повних доказів блоків Ethereum знизилася з приблизно 1,69 долара на початку 2025 року до менше чотирьох центів наприкінці 2025 року і майже півцента для вибраних конфігурацій на початку вересня 2026 року. Ці абсолютні зниження покращують ефективний коефіцієнт накладних витрат навіть до подальших алгоритмічних досягнень.
 

Чому енергія плюс амортизовані витрати важливіші, ніж чистий час виконання?

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

Чи можуть дешевші SNARKs безпосередньо збільшити ліміт газу Ethereum?

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

Яку роль відіграють спеціалізовані хеш-функції у зменшенні витрат?

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

Як порівнюється ступінь зрілості FHE та обфускації нерозрізненості?

Обидва все ще значно дорожчі за SNARKs. Поточні реалізації FHE все ще дають великі артефакти та час виконання у кілька годин для невеликих завдань. Навіть за оптимістичних припущень, конструкції обфускації нерозрізненості мають час виконання, який є «галактичним» або становить дні на потужному обладнанні.
 
Відмова від відповідальності: Цей матеріал надано виключно в інформаційних цілях і не є інвестиційною порадою. Інвестиції в криптовалюту супроводжуються ризиком. Будь ласка, проводьте власне дослідження (DYOR).
 

Відмова від відповідальності: Для вашої зручності цю сторінку було перекладено за допомогою технології ШІ. Для отримання найточнішої інформації дивіться оригінальну англійську версію.