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

162 7 Время чтения: 1 мин. Саша Косован

Депозитный смарт-контракт для эфириума 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 прошел аудит и формальную верификацию | Биткоин

    […] Источник: coinspot.io […]

  • https://mygreed.info/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — Крипто Новости

    […] Источник: https://coinspot.io […]

  • https://www.cc-news.ru/depozitnyj-smart-kontrakt-jefiriuma-2-0-proshel-audit-i-formalnuju-verifikaciju/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — CryptoCoin News

    […] Источник: coinspot.io Share76Tweet47 […]

  • 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

    […] Источник: coinspot.io […]

  • https://blockcash.net/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — blockcash.net

    […] Источник: coinspot.io Share76Tweet47 […]

  • https://cryptoinvestor.consulting/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — CryptoCoin Press

    […] Источник: coinspot.io Share76Tweet47 […]

  • https://lifehackfortraders.ru/depozitnyj-smart-kontrakt-efiriuma-2-0-proshel-audit-i-formalnuyu-verifikatsiyu/ Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию — Лайфхаки для Трейдера

    […] Источник: coinspot.io […]

Новости о цифровых валютах, финтех-трендах и финансовых инновациях

CoinSpot.io - крупнейший в рунете ресурс о цифровых валютах, финтех-трендах и финансовых инновациях. Мы рассказываем о технологиях, стартапах и предпринимателях, формирующих облик финансового мира. Венчурные инвестиции, p2p и цифровые технологии, криптовалюты, аналитика и обзоры - все, что нужно знать, чтобы быть в тренде и зарабатывать.

Полное или частичное использование материалов сайта разрешается только с письменного разрешения редакции, при этом ссылка на источник обязательна!

Подпишитесь на Email рассылку о новые статьях и важных новостях от Coinspot.io