Es completamente posible construir un circuito ZK que pase todas tus pruebas de validación mientras, en realidad, calcula un resultado totalmente no intencionado. Se ha creado un nuevo verificador de código abierto llamado LLEQ, específicamente para detectar este problema exacto, y ya está oficialmente en funcionamiento en este momento.