VeriBench: Analyzing the Performance of Database Systems with Verifiability[J] PROCEEDINGS OF THE VLDB ENDOWMENT 2023(16) Yue, Cong Zhang, Meihui Zhu, Changhao Chen, Gang Loghin, Dumitrel Ooi, Beng Chin
Spitz: A Verifiable Database System[J] PROCEEDINGS OF THE VLDB ENDOWMENT 2020(13) Zhang, Meihui Xie, Zhongle Yue, Cong Zhong, Ziyue
