Один из наиболее важных смарт-контрактов для сети Эфириума 2.0 успешно прошел проверку. Депозитный контракт позволяет валидаторам присоединяться к сигнальной цепи (Beacon Chain) путем отправки ETH на контракт. Об успешном завершении формальной проверки депозитного контракта Ethereum 2.0 сообщил технологический стартап Runtime Verification: «Во время формальной проверки мы обнаружили несколько критических проблем с депозитным контрактом. Некоторые из них были вызваны скрытыми ошибками компилятора Vyper. Однако все проблемы депозитного контракта были исправлены в последней версии (v0.10.0)». Согласно заявлению, депозитный контракт — это «шлюз» для присоединения к Ethereum 2.0. Валидаторы в новой «сигнальной цепочке» (Beacon Chain) на базе Proof-of-stake должны внести некоторую сумму в Новое сообщение Депозитный контракт Ethereum 2.0 успешно прошел проверку появилось на КриптоВики.
JOIN
