Депозитный смарт-контракт для эфириума 2.0 прошел аудит и формальную верификацию байт-кода. Также продолжается работа над оптимизацией beacon chain. Об этом сообщает разработчик эфириума Дэнни Райан.
Формальная верификация — это метод анализа семантики кода с целью убедиться, что он соответствует определенным требованиям. Многие уязвимости в смарт-контрактах — это семантические ошибки в коде, которые могут стать причиной взлома. По словам Райана, аудит этого кода для депозитного договора эфириума 2.0 — это большой шаг вперед.
Beacon chain — «ядро эфириума 2.0» — является необходимым компонентом для системы шардов новой версии эфириума. Чтобы синхронизировать один или несколько шардов, клиент должен синхронизироваться с beacon chain, поэтому при этом крайне важно, чтобы beacon chain потреблял относительно низкое количество ресурсов даже при высоком участии валидаторов (более 300 000). С этой целью разработчики эфириума 2.0 весь прошлый месяц работали над оптимизацией beacon chain, сообщив об успешном выполнении стресс-тестов в тестнете Prysm.
-
https://criptolion.info/articles/depozitnyi-smart-kontrakt-efiriyma-2-0-proshel-aydit-i-formalnyu-verifikaciu.html Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию | Биткоин
-
https://mygreed.info/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — Крипто Новости
-
https://www.cc-news.ru/depozitnyj-smart-kontrakt-jefiriuma-2-0-proshel-audit-i-formalnuju-verifikaciju/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — CryptoCoin News
-
https://crypto.cometa.store/2020/02/06/%d0%b4%d0%b5%d0%bf%d0%be%d0%b7%d0%b8%d1%82%d0%bd%d1%8b%d0%b9-%d1%81%d0%bc%d0%b0%d1%80%d1%82-%d0%ba%d0%be%d0%bd%d1%82%d1%80%d0%b0%d0%ba%d1%82-%d1%8d%d1%84%d0%b8%d Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию | Cometa Crypto
-
https://blockcash.net/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — blockcash.net
-
https://cryptoinvestor.consulting/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — CryptoCoin Press
-
https://lifehackfortraders.ru/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — Лайфхаки для Трейдера
