Ethereum має ліміт газу. Але чи можемо ми математично довести максимальний обчислювальний обсяг, необхідний для перевірки будь-якого дійсного блоку? Неймовірно, але наразі ми не маємо сертифікованої скінченної верхньої межі для повної моделі виклику. Саме цю проблему вирішують @yukonresearch, @zksecurityXYZ та @Veritylab за допомогою https://t.co/w9Ti86Tqsj. Сьогодні валідатори Ethereum незалежно виконують транзакції для перевірки блоків. Коли Ethereum переходить до перевірки на основі zkEVM, виклик розширюється за межі правильного виконання транзакцій. Нам також потрібно зрозуміти найгірший випадок обчислювальної вартості. Чому це важливо? Блок Ethereum може бути дійсним, але все ще вимагати незвичайно дорогих обчислень. Якщо витрати на доведення стануть непередбачуваними, реальний час ZK-доведення може стати обмеженням для масштабування Ethereum. https://t.co/w9Ti86Tqsj запускає відкритий конкурс з метою встановлення математично сертифікованих верхніх меж обчислювального навантаження для перевірки блоків. Наслідки значні: → Більш передбачуване виконання та навантаження на доведення. → Міцніша основа для реального часу ZK-доведення. → Більша впевненість у підвищенні лімітів газу Ethereum. → Шлях до перевірки на більш доступному обладнанні. Звичайно, обмеження кроків виконання не гарантує автоматично швидких ZK-доведень. Але це важлива основа. Наступний виклик масштабування Ethereum — це не просто прискорення виконання. Це зробити найгірший випадок обчислювальної вартості передбачуваним і доведеним. І оскільки Ethereum-ролапи, такі як @puffer_unifi, наближаються до зменшення затримки та синхронної композиції, такий дослідницький напрямок стає все більш актуальним. https://t.co/SwPS2w3ic1