add view function of proveBatchState#884

anylots merged 2 commits intomainmorph-l2/morph:mainfrom

prove-state-viewmorph-l2/morph:prove-state-viewCopy head branch name to clipboard