diff options
| -rw-r--r-- | nizk/stage1/stage1.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nizk/stage1/stage1.go b/nizk/stage1/stage1.go index ed1acc2..bb493a7 100644 --- a/nizk/stage1/stage1.go +++ b/nizk/stage1/stage1.go @@ -5,8 +5,8 @@ import ( ) // Implements the proof and verification of statements of the following form: -// σ == [ Z=g^(xy) ∧ X=g^x ∧ Y=g^y ∧ C=g^(αβ) ∧ A=g^α ∧ B=g^β ] -// ∨ [ Z=g^(xr) ∧ X=g^x ∧ R=g^r ∧ C=g^(αβ+1) ∧ A=g^α ∧ B=g^β ] +// [ Z=g^(xy) && X=g^x && Y=g^y && C=g^(αβ) && A=g^α && B=g^β ] +// || [ Z=g^(xr) && X=g^x && R=g^r && C=g^(αβ+1) && A=g^α && B=g^β ] // for given Z, X, Y, R, C, A and B type Statement struct { |