Депозитный смарт-контракт для эфириума 2.0 прошел аудит и формальную верификацию байт-кода. Также продолжается работа над оптимизацией beacon chain. Об этом сообщает разработчик эфириума Дэнни Райан.
Формальная верификация — это метод анализа семантики кода с целью убедиться, что он соответствует определенным требованиям. Многие уязвимости в смарт-контрактах — это семантические ошибки в коде, которые могут стать причиной взлома. По словам Райана, аудит этого кода для депозитного договора эфириума 2.0 — это большой шаг вперед.
Beacon chain — «ядро эфириума 2.0» — является необходимым компонентом для системы шардов новой версии эфириума. Чтобы синхронизировать один или несколько шардов, клиент должен синхронизироваться с beacon chain, поэтому при этом крайне важно, чтобы beacon chain потреблял относительно низкое количество ресурсов даже при высоком участии валидаторов (более 300 000). С этой целью разработчики эфириума 2.0 весь прошлый месяц работали над оптимизацией beacon chain, сообщив об успешном выполнении стресс-тестов в тестнете Prysm.
- Биткоин: где купить? Обзор некоторых платформ для покупки криптовалюты
- Cryptonica – лучший информационный портал о криптовалюте
- Прогноз курса Ethereum: опасения регулирующих органов по поводу будущего ETH стремительно растет
- Обмен юсдт на российские рубли
- Выбор интернет-казино с минимальным депозитом и невысокими ставками