Якщо будь-яке значення, що впливає на рівняння верифікації, не хешується до виведення відповідного виклику, доповідач фактично бачить виклик перед вибором цього значення. Виберіть значення, щоб рівняння пройшло. Доказ підтверджується. Твердження, яке він доводить, може бути повністю хибним. @0xdeuterium @osec_io