Spitz: A Verifiable Database System[J] PROCEEDINGS OF THE VLDB ENDOWMENT 2020(13) Zhang, Meihui Xie, Zhongle Yue, Cong Zhong, Ziyue