検証方程式に影響を与える値が関連するチャレンジが導出される前にハッシュ化されなければ、プロバーはその値を選択する前にチャレンジを実質的に確認できます。 方程式を通すための値を選びます。証明がそれを裏付けています。証明する主張は完全に誤りになり得ます。 @0xdeuterium @osec_io