تخيل قاعدتي بيانات: > قاعدة البيانات A • استفسارات 1 مللي ثانية • مقياس لا نهائي • لكن لا أحد يستطيع إثبات صحة السجلات > zkDatabase • أبطأ قليلا • لكن كل سجل قابل للإثبات تشفيريا أي واحدة تختار؟