diff options
| author | Özgür Kesim <oec@codeblau.de> | 2024-04-07 18:37:14 +0200 |
|---|---|---|
| committer | Özgür Kesim <oec@codeblau.de> | 2024-04-07 18:37:14 +0200 |
| commit | efdafce2cca00591371338d20ee456770216a829 (patch) | |
| tree | 0032fd17d7c1646d33577feccfec14f45607723f | |
| parent | dcdc9120d0f1fab7c2b862711f67be43ab7ca4cf (diff) | |
stage1: typography fixes
| -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 { |