Jos mikään arvo, joka vaikuttaa verifiointiyhtälöön, ei hajauteta ennen kuin asiaankuuluva haaste on johdettu, todistaja voi käytännössä nähdä haasteen ennen kuin valitsee kyseisen arvon. Valitse arvo, jotta yhtälö menee läpi. Todiste vahvistaa. Väite, jonka se todistaa, voi olla täysin väärä. @0xdeuterium @osec_io