下記の定義を見ながら非対話ゼロ知識証明をc#で実装しています。
RFC 8235 - Schnorr Non-interactive Zero-Knowledge Proof 日本語訳
NIZKは、値rを計算する際に以下の数式を使用します。
r = v - a * c % n
このとき、値vは[1、n-1]の中からランダムに選んだ値を使う、と定義されていますが、例えばv=1の場合、rがマイナスの値となってしまい、必ず検証に失敗してしまいます。
secp256k1を使用して、v=2^256以上の場合、検証が成功します。
値vの選択方法が間違っているのでしょうか?
それとも、組んだプログラムに誤りがあるのでしょうか?
ご存じの方がいらっしゃいましたら、ご指摘いただければ幸いです。