Депозитний контракт Ethereum 2.0 успішно пройшов перевірку

Один з найбільш важливих смарт-контрактів для мережі Эфириума 2.0 успішно пройшов перевірку. Депозитний контракт дозволяє валидаторам приєднуватися до сигнальної ланцюга (Beacon Chain) шляхом надсилання ETH на контракт.

Про успішне завершення формальної перевірки депозитного контракту Ethereum 2.0 повідомив технологічний стартап Runtime Verification:

«Під час формальної перевірки ми виявили кілька критичних проблем з депозитними контрактом. Деякі з них були викликані прихованими помилками компілятора Vyper. Проте всі проблеми депозитного контракту були виправлені в останній версії (v0.10.0)».

Згідно із заявою, депозитний контракт – це «шлюз» для приєднання до Ethereum 2.0. Валідатори в новій «сигнальної ланцюжку» (Beacon Chain) на базі Proof-of-stake повинні внести певну суму в ETH, відправивши транзакцію по мережі Ethereum 1 на депозитний контракт.

Депозитний контракт фіксує історію транзакцій і блокує ці депозити в ланцюжку ETH 1.0 для подальшого використання в Beacon Chain. Смарт-контракт використовує структуру даних дерев Тьмяніла для ефективного зберігання історії депозитів. Координатор розгортання ETH 2.0 Денні Райан (Danny Ryan) підтвердив, що формальна перевірка була останнім етапом оцінки роботи контракту. Він також додав:

«Це основний аудит/перевірка. Контракт і офіційна перевірка в даний час знаходяться на публічному розгляді».

Ніяких інших перевірок для депозитного контракту не заплановано. Однак у лютому очікується ще дві перевірки Beacon Chain.

Нагадаємо, що минулого тижня одна з найбільших тестових мереж Ethereum 2.0, запущена Prysmatic Labs 9 січня, зафіксувала
присутність 22 000 валідаторів. На даний момент існує 70 вузлів, що можна вважати великим досягненням для недавно запущеної тестової мережі і ясно показує, що запуск Эфириума 2.0 викликає великий інтерес у спільноти.

Нагадаємо, що в грудні в мережі Эфириума успішно активовано хардфорк Istanbul, а раніше в 2019 році в мережі були проведені хардфорки St. Petersburg і Constantinople. Друга частина Istanbul стала останнім плановим хардфорком до переходу на Ethereum 2.0, який передбачається здійснити в найближчі 6 місяців.