Als een waarde die een verificatievergelijking beïnvloedt niet is gehasht voordat de relevante uitdaging wordt afgeleid, kan de bewijzer de uitdaging effectief zien voordat hij die waarde kiest. Kies de waarde om de vergelijking te laten slagen. Het bewijs verifieert. De verklaring die het bewijst kan volledig onwaar zijn. @0xdeuterium @osec_io