Skip to main content
2 / 5
本文から 1 文字削除

Schnorr NIZK Proof over Elliptic Curveの値rの計算について

下記の定義を見ながら非対話ゼロ知識証明をc#で実装しています。

https://tex2e.github.io/rfc-translater/html/rfc8235.html

NIZKは、値rを計算する際に以下の数式を使用します。

r = v - a * c % n

このとき、値vは[1、n-1]の中からランダムに選んだ値を使う、と定義されていますが、例えばv=1の場合、rがマイナスの値となってしまい、必ず検証に失敗してしまいます。
secp256k1を使用して、v=2^256以上の場合、検証が成功します。

値vの選択方法が間違っているのでしょうか?
それとも、組んだプログラムに誤りがあるのでしょうか?
ご存じの方がいらっしゃいましたら、ご指摘いただければ幸いです。