Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию

Депозитный смарт-контракт для эфириума 2.0 прошел аудит и формальную верификацию байт-кода. Также продолжается работа над оптимизацией beacon chain. Об этом сообщает разработчик эфириума Дэнни Райан.

Формальная верификация — это метод анализа семантики кода с целью убедиться, что он соответствует определенным требованиям. Многие уязвимости в смарт-контрактах — это семантические ошибки в коде, которые могут стать причиной взлома. По словам Райана, аудит этого кода для депозитного договора эфириума 2.0 — это большой шаг вперед.

Beacon chain — «ядро эфириума 2.0» — является необходимым компонентом для системы шардов новой версии эфириума. Чтобы синхронизировать один или несколько шардов, клиент должен синхронизироваться с beacon chain, поэтому при этом крайне важно, чтобы beacon chain потреблял относительно низкое количество ресурсов даже при высоком участии валидаторов (более 300 000). С этой целью разработчики эфириума 2.0 весь прошлый месяц работали ​​над оптимизацией beacon chain, сообщив об успешном выполнении стресс-тестов в тестнете Prysm.