zkDatabaseはGroth16をコアの証明システムとして使用しており、0.392秒の証明(約0.4秒のエンドツーエンド遅延)を実現していますが、多くの他の証明システムは約20〜55秒です。 一定サイズの証明と低い検証コストにより、検証可能なクエリは本番システムで実用的です。