Компания Runtime Verification отчиталась об успешном завершении всеобъемлющего аудита депозитного контракта Ethereum 2.0.
Аудитору удалось выявить некоторые баги, в первую очередь имевшие отношение к компилятору, однако в актуальной версии все они были устранены.

↗️Подробнее: http://bit.ly/2NRR9jK