Бета-версія основної мережі тут виглядає добре. - Конкуренція на ринку шалено висока - Доведення фактично безкоштовне на Boundless - Усі докази є третіми сторонами (команда Boundless не проводить жодних доказів, децентралізована аф) Безмежність – це законно.

Ідея написати це виникла під час перегляду виступу Jigsaw на SBC (), який є підходом до приватних смарт-контрактів на основі coSNARK.

Як створювати приватні смарт-контракти за допомогою: - zkSNARK: Держава — це зобов'язання, один виконавець обчислює на відкритому тексті та розміщує zkSNARK, без глобального розшифрування чи контролю доступу. - coSNARK: Стан — це зобов'язання, обчислення здійснюються поза ланцюгом через MPC, тому жоден сервер не бачить повного свідка, все ще немає глобального розшифрування чи контролю доступу. - TEE: Стан — це зашифрований текст зовні та відкритий текст усередині анклаву, розшифрування обчислень та політик виконується всередині віддалено атестованого анклаву, покладаючись на цілісність апаратного забезпечення/атестації. - FHE: Стан — це зашифрований текст під загальним ключем FHE, будь-хто може гомоморфно оцінити за допомогою перевірки в ланцюжку, розшифрування визначається пороговим комітетом (ризик змови). - iO: Стан є зашифрованим текстом, а обчислення є гомоморфними, публічний заплутаний дешифратор забезпечує політику дешифрування без живого власника ключа (без ризику змови).

Дивно бачити стільки основних L2 зараз на етапі 1. Наступна мета, до якої ми повинні прагнути, це, на мій погляд, швидкий (<1h) час виведення коштів, що забезпечується системами доказу валідності (так званої ZK). Я вважаю це навіть важливішим, ніж етап 2. Швидкий час виведення коштів важливий, тому що очікування тижня для виведення просто занадто довге для людей, і навіть для мостового зв'язку на основі намірів (наприклад, . ERC-7683), вартість капіталу стає занадто високою, якщо постачальнику ліквідності доводиться чекати тиждень. Це створює значні стимули для використання рішень з неприйнятними припущеннями про довіру (наприклад, мультисігси/MPC), які підривають саму суть існування L2 замість повністю незалежних L1. Якщо ми зможемо скоротити нативний час виведення коштів до менш ніж 1 години короткострокової перспективи та 12 секунд у середньостроковій перспективі, то ми зможемо ще більше закріпити Ethereum L1 як місце за замовчуванням для випуску активів і економічний центр екосистеми Ethereum. Для цього нам потрібно відійти від систем оптимістичних доказів, які за своєю суттю вимагають очікування кількох днів для виведення. Історично склалося так, що технологія ZK proof була незрілою та дорогою, що зробило оптимістичні докази розумним і безпечним вибором. Але останнім часом ситуація стрімко змінюється. це чудове місце для відстеження прогресу доказів ZK-EVM, які швидко вдосконалюються. Також просувається офіційна верифікація на доказах ZK. На початку цього року я запропонував стратегію системи захисту 2 з 3 ZK + OP + TEE, яка протягує нитку між безпекою, швидкістю та зрілістю: * 2 з 3 систем (ZK, OP) не викликають довіри, тому жоден суб'єкт (включаючи виробника TEE або зловмисника на стороні каналу) не може зламати систему доказу, порушивши припущення про довіру * 2 з 3 систем (ZK, TEE) є миттєвими, тому ви отримуєте швидке виведення коштів у звичайному випадку * 2 з 3 систем (TEE, OP) виробляються в різних контекстах протягом багатьох років Це один з підходів; можливо, люди виберуть замість цього тайбрейк ZK + ZK + OP, або тай-брейк ZK + ZK + Рада безпеки. У мене тут немає категоричних думок, мене хвилює основна мета, яка полягає в тому, щоб бути швидким (у звичайному випадку) і безпечним. З такими системами доказів єдиним вузьким місцем, що залишається для швидкого врегулювання, стає вартість газу для подання доказів у мережі. Ось чому в короткостроковій перспективі я кажу раз на годину: якщо ви намагаєтеся подавати 500k+ газовий ZK proof (або 5m gas STARK) набагато частіше, це додає високі додаткові витрати. У довгостроковій перспективі ми можемо вирішити це за допомогою агрегації: N доказів з N зведень (плюс tx-файли від користувачів privacy-protocol) можуть бути замінені одним доказом, який доводить достовірність N доказів. Це стає економічно вигідним для подання один раз на слот, що забезпечує ендшпіль: майже миттєвий рух нативного крос-L2 активу через L1. Давайте працювати разом, щоб це сталося.

Змусити дівчат @chippedsocial 💕

Децентралізоване секвенування – це рішення для опору цензурі та мінімізації довіри. Це не обов'язково передбачає кращий час безвідмовної роботи. Rollups здатні зберігати надзвичайно високий час безвідмовної роботи, оскільки вони мають централізовану інфраструктуру. Децентралізоване секвенування (серед недовірених сторін) несе постійний ризик виходу з ладу секвенсера. Хоча мережа може відновитися після цих збоїв швидше (<33 хвилини порівняно з @base вчорашнім днем), ймовірність виникнення збоїв вища. Децентралізована послідовність має багато переваг, але вона не є срібною кулею для вирішення всіх наших проблем.

якщо ви будуєте за допомогою EigenCloud, ви все ще рано 🫡

Краб Rust перед Депо: ☠️ Після підключення до Depot Cache + швидші ранери: 🦀💨 Повний посібник з 🧵

Ще у 2023 році Arbitrum був ланцюгом FIFO і не мав пріоритетного замовлення газу Завдяки своєму централізованому секвенсеру Arbitrum нічим не відрізнявся від централізованої біржі

Як я ледь не знищив Arbitrum - і як він мене 🧵 радикалізував