Настав час запобігти зломам *до того, як вони відбудуться. V1 Довірчого шару вже тут. Зараз стартує бета-тестування. Ми вже давно працюємо над цим і дуже оптимістично дивимося на те, який вплив це може мати. Ось як це працює. Шар довіри складається з чотирьох компонентів: > Твердження: правила безпеки, написані на Solidity, які визначають стани, які ніколи не повинні виникати (наприклад, «адреса реалізації не повинна змінюватися», «ціна не повинна відхилятися більше ніж на x% в одній транзакції»). > протоколи: команди визначають твердження для своїх контрактів і реєструють їх у мережі. > Block Builders/Sequencers: Мережева інфраструктура перевіряє кожну транзакцію на відповідність твердженням перед включенням блоку, відкидаючи будь-які, які порушують правила безпеки. > Панель прозорості: показує, які протоколи захищено та як. Ось розбивка потоку транзакцій, щоб дати вам уявлення про те, як це працює в дикій природі: > Користувач надсилає транзакцію в мережу > Транзакція потрапляє в мемпул > OP-Talos отримує транзакцію для потенційного включення > OP-Talos посилається на твердження, пов'язані з контрактами, з якими взаємодіє транзакція > PhEVM імітує виконання транзакцій і створює знімки стану до/після транзакції > Усі відповідні твердження виконуються проти цих держав > Якщо будь-яке твердження скасовується → транзакцію позначено як недійсну та відкинуто > Якщо всі твердження проходять → транзакції, що входить в блок Якщо транзакція призведе до злому, а контракт захищений рівнем довіри, транзакція припиняється. Якщо договір не захищений, транзакція включається. Системи, які роблять можливим вищезазначене: > OP-Talos: Спеціальний конструктор блоків для зведень OP Stack, який організовує процес перевірки та створює блоки, виключаючи транзакції, що порушують твердження. > PhEVM (виконавчий підрозділ OP-Talos): виконує байт-код твердження в ізольованому офчейн-середовищі зі спеціальними прекомпілями для ефективного доступу до стану. > Assertion DA: зберігає вихідний код твердження та байт-код, надає код затвердження розробникам блоків. > Credible Layer Protocol: смарт-контракт, який керує реєстром тверджень у ланцюжку, зіставляючи твердження із захищеними контрактами. Це дає змогу виконувати такі функції для вашої децентралізованої програми: • Запобігає зломам, не виявляє їх: зупиняє атаки перед виконанням • Відсутність помилкових спрацьовувань: блокує лише транзакції, які явно порушують визначені правила • Дружній до розробників: твердження, написані на Solidity • Неінвазивні: не потрібні зміни до чинного контракту • Висока продуктивність: обробляє 1 500+ транзакцій менш ніж за 50 мс • Прозорий: усі твердження видно в мережі Він доступний для тестування розробниками вже сьогодні. Ти можеш: > розгортання контрактів > писати твердження > писати тести > перевірте, чи не порушує хакерська транзакція ваші твердження Якщо ви зацікавлені, зверніться до нас. Наразі ми внесли доступ до білого списку. Змінюється безпека. (Скоро буде велике оголошення).