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