Scaling Zero-Knowledge to Verifiable Databases. - Tal Derei; Benjamin Aulenbach; Victor Carolino; Caleb Geren; Michael Kaufman; Jonathan Klein; Rishad Islam Shanto; Henry F. Korth (VDBS@SIGMOD, 2023)