Верифицирован еще один смарт-контракт для Ethereum 2.0
Разработка Ethereum 2.0 продолжает активно двигаться вперед, недавно был подтвержден один из важнейших смарт-контрактов для сети. Технический стартап Runtime Verification сообщил об успешном завершении официальной проверки депозитного договора Ethereum 2.0. "Хотя во время официальной проверки мы обнаружили несколько критических проблем с депозитным договором, некоторые из...
подробнее ›