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