Trading under the proof-of-stake protocol - A continuous-time control approach[J] MATHEMATICAL FINANCE 2023 Tang, Wenpin Yao, David D.