zkDatabase 使用 Groth16 作为核心证明系统，提供 0.392 秒的证明（约 0.4 秒的端到端延迟），而许多其他证明系统的时间在 20–55 秒之间。 固定大小的证明和低验证成本使得可验证查询在生产系统中变得实用。