GMTでも無限マイニングと発行上限の矛盾をどう解決するんだろうね?