Sangat memungkinkan untuk membangun rangkaian ZK yang melewati semua pengujian validasi Anda, sementara sebenarnya menghitung hasil yang sama sekali tidak dimaksudkan. Verifikator open source baru bernama LLEQ telah dibuat khusus untuk mendeteksi masalah persis ini, dan saat ini sudah resmi tersedia.