zkDatabase использует Groth16 в качестве основной системы доказательства, обеспечивая 0,392 с для доказательства (~0,4 с задержки от начала до конца), в то время как многие другие системы доказательства находятся в диапазоне 20–55 с. Постоянные размеры доказательств и низкая стоимость верификации делают проверяемые запросы практичными для производственных систем.