Если любое значение, которое влияет на уравнение проверки, не будет захешировано до того, как будет получен соответствующий вызов, доказатель может фактически увидеть вызов до выбора этого значения. Выберите значение, чтобы уравнение прошло. Доказательство проверяется. Утверждение, которое оно доказывает, может быть совершенно ложным. @0xdeuterium @osec_io