Від 0 до ZK Concept Bites #5: Лаконічність У нашому останньому Concept Bite ми говорили про те, коли властивість «нульових знань» насправді має значення для приватності. Але приватність — лише одна з двох суперсил ZK. Інша, лаконічність, — це та, яку Brevis використовує майже в кожній інтеграції, яку ми випускаємо. 🚀 Лаконічність означає, що доказ значно менший за обчислення, яке воно доводить. Обробіть 100 000 транзакцій, і отриманий доказ становить кілька кілобайт. Перевірте виконання повного блоку Ethereum, і доказ поміщається в одному onchain-call. Розмір пробного матеріалу залишається приблизно незмінним, незалежно від того, наскільки великим було початкове навантаження. Ось де починається цікаво. Створення доказу насправді коштує більше, ніж просто запуск самого обчислення, оскільки провер має виконувати додаткові криптографічні операції поверх сирого виконання. Але перевірка цього доказу майже нічого не коштує порівняно. Відносини виглядають так: Доведення > виконання >> верифікації. Саме така структура витрат потребує блокчейнів. Сьогодні кожна транзакція Ethereum повторюється сотнями тисяч валідаторів окремо, і та сама робота повторюється по всій мережі. З лаконічними доказами одна сторона виконує основну роботу і створює компактний доказ. Всі інші просто перевіряють. Мережа змінюється від «кожен робить усе» до «обчислюй один раз, перевіряй всюди». 📜 Саме тому Brevis може пропонувати такі речі, як історичні запити до даних для VIP-комісій PancakeSwap або розподіл винагород у мільярди токенів для Linea, не збільшуючи витрати на бензин. Обчислення відбуваються поза ланцюгом, де це дешево. Доказ потрапляє на ланцюжок, де перевірка фіксована і доступна за ціною, незалежно від того, скільки даних було оброблено за лаштунками. Лаконічність — це також причина, чому доведення блоків Ethereum у реальному часі Pico Prism взагалі працює. Довести виконання цілого блоку і стиснути його до того, що смарт-контракт може перевірити за мілісекунди, було б марним, якби сам доказ був таким же великим, як дані блоку. Ступінь стиснення робить всю модель життєздатною. Читайте Частину 2: