Design a Proof of Stake Based Directed Acyclic Graph Chain. - Haibo Tian; Huizhi Lin; Fangguo Zhang (FCS, 2020)