Es ist völlig möglich, einen ZK-Schaltkreis so zu bauen, dass er alle Ihre Validierungstests besteht, dabei aber tatsächlich ein völlig unbeabsichtigtes Ergebnis berechnet. Es wurde ein neuer Open-Source-Verifier namens LLEQ speziell erstellt, um genau dieses Problem zu erkennen, und er ist offiziell jetzt live.