Tezos、メインネット立ち上げから時価総額約1億7000万ドル減