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