Skip to main content
3 / 5
本文に 72 文字追加; タイトルを編集
cubick
  • 2.1万
  • 5
  • 27
  • 64

Schnorr NIZK Proof over Elliptic Curveの値rの計算がマイナスになってしまう

下記の定義を見ながら非対話ゼロ知識証明を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の選択方法が間違っているのでしょうか?
それとも、組んだプログラムに誤りがあるのでしょうか?
ご存じの方がいらっしゃいましたら、ご指摘いただければ幸いです。