Лаконічний здіймає хвилю як один із найгарячіших інфра-протоколів. Проте @SuccinctLabs досі залишається загадкою для багатьох. Ось ваша 30-секундна, проста для розуміння розбивка. Давайте почнемо 🧵 ... — 📌 Що таке лаконічно? Перш ніж ми перейдемо до стислого викладу, давайте трохи освіжимо в пам'яті роботу з доказами з нульовим розголошенням (ZKP). ZKP — це криптографічний метод, який дозволяє одній стороні (доказу) довести іншій стороні (верифікатору), що твердження (наприклад: надсилання активів, своп тощо) є правдивим (генерація доказу), не розкриваючи жодної додаткової інформації, крім того, що твердження є правдивим. Однак впровадження ZKP на блокчейні є складним завданням в основному через: ➢ Обчислювальна складність ➢ Витрати на верифікацію ➢ Значні вимоги до обладнання та зберігання даних ➢ Складність розробки ➢ Сумісність і стандарти Стисло має на меті вирішити цю проблему шляхом побудови: ➢ Пакет оновлень 1 SP1 — це високопродуктивна віртуальна машина (zkVM) з відкритим вихідним кодом (zkVM) на основі Rust. Він перевіряє виконання програми, дозволяючи розробникам писати стандартний код (з підтримкою Rust) і генерувати економічно ефективні, швидкі докази з нульовим розголошенням (ZKP). Нещодавня інтеграція з OP Stack через OP Succinct дозволяє роллапам на основі Optimism переходити в ZK-зведення, забезпечуючи швидку доопрацювання та зниження витрат. Багато відомих проектів вже розробляють свої додатки з використанням SP1 (див. розділ екосистеми). ➢ Лаконічна мережа Децентралізована мережа постачальників, інклюзивний глобальний пул доказів — команд апаратного забезпечення та операторів інфраструктури, які змагаються на аукціонах за генерацію ZKP для виконання програми SP1. ➢ Перевірені програми (vApps) vApps нещодавно представлений у партнерстві з @LayerZero_Core як новий спосіб створення криптографічно перевірених додатків на основі Rust без використання Solidity або EVM. Вони пропонують безпеку web3 з досвідом, схожим на web2, спрощуючи доведення, сумісність і врегулювання. Під капотом кожен vApp використовує децентралізовану мережу proover Succinct і zkVM SP1, тоді як SDK керує перевіркою доказів у ланцюжку, зобов'язаннями штатів і генерацією офчейн доказів. Таким чином, по суті, Succinct мобілізує глобальні ресурси для розширення екосистеми ZKP і ZK, роблячи її доступною як для користувачів, так і для розробників. ... — 📌 Чому будувати на лаконічності? Створення систем ZKP раніше було справжнім кошмаром — складним, вимагало експертів з криптографії, а їх інтеграція була справжнім клопотом. Комбінація SP1 і Sucinct Network пропонує: ➢ Безперебійна розробка додатків через SP1, що робить її такою ж простою, як plug-and-play, для розробників із підтримкою Rust, ефективно усуваючи попередні перешкоди, пов'язані з будівництвом на системі, залежній від ZK. ➢ Широкий спектр варіантів використання, включаючи зведення, офчейн-процесори, легкі клієнти, машинне навчання, протоколи сумісності, децентралізовані ідентифікаційні дані, конфіденційність і не тільки. ➢ Виняткова швидкість та економічна ефективність, витрати адаптуються до ринкової вартості за допомогою підходу, заснованого на аукціоні. ➢ Масштабована мережа, що реагує на зміни попиту та пропозиції. ➢ ZKP, що піддається перевірці та цензурі, що дозволяє будь-якій третій стороні проводити автоматичну перевірку без довіри. ... — 📌 Лаконічна екосистема Багато проєктів вже використовують SP1 у багатьох сценаріях використання, від безпечного виробництва DA, мосту токенів, живлення interop, навіть міграції з OP rollups до ZK rollups. Ось протоколи: ➢ @celestia ➢ @Calderaxyz ➢ @alt_layer ➢ @AutomataNetwork ➢ @AvailProject ➢ @babylonlabs_io ➢ @AlpenLabs ➢ @Alchemy ➢ @conduitxyz ➢ @cosmos ➢ @eigenlayer ➢ @ElectronZK ➢ @Galxe ➢ @gelatonetwork ➢ @HerodotusDev ➢ @hyle_org ➢ @kroma_network ➢ @LidoFinance ➢ @Mantle_Official ➢ @MorphLayer ➢ @nebrazkp ➢ @nubit_org ➢ @PhalaNetwork ➢ @0xPolygon ➢ @Scalerize_XYZ ➢ @sovereign_labs ➢ @taikoxyz ➢ @Terminaxyz ➢ @twinexyz ... — 📌 Висновок Лаконічно уніфікує стійкий ланцюжок поставок, служачи базовим шаром для генерації ZKP. Він пропонує високодоступну та економічно ефективну інфраструктуру генерації доказів для таких додатків, як зведення, співпроцесори та інші ZKP-залежні системи. В даний час знаходиться на стадії тестової мережі і планується запуск основної мережі після завершення 2 фази тестнет, Стислий тестнет вважається однією з найпривабливіших тестових мереж, що має гейміфікований інтерфейс, який привернув значний інтерес спільноти. Крім того, більш широка інфраструктура Succinct, зокрема OP Sucinct, продемонструвала вражаюче низькі витрати на доказ, починаючи від 0,61 до 1,34 цента за транзакцію. Очікується, що до кінця 2025 року ці витрати знизяться в 5–10 разів, завдяки запланованим оптимізаціям SP1 та Kona. Ви готові до нової ери ZK?