diff options
| author | Özgür Kesim <oec@codeblau.de> | 2024-11-15 10:57:43 +0100 |
|---|---|---|
| committer | Özgür Kesim <oec@codeblau.de> | 2024-11-15 10:57:43 +0100 |
| commit | de44f1a28bc8d14f5ae1aecc11edc0624a330ec4 (patch) | |
| tree | 7d329624a14ae872f5b15f8619fa8c5d75c50a0b /nizk/stage2.go | |
| parent | 53b2c23ec4d2260c930d6403b04a6564c0a36245 (diff) | |
simplify NewBit signature
Diffstat (limited to 'nizk/stage2.go')
| -rw-r--r-- | nizk/stage2.go | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/nizk/stage2.go b/nizk/stage2.go index 8cda33e..733a172 100644 --- a/nizk/stage2.go +++ b/nizk/stage2.go @@ -6,10 +6,9 @@ import ( // Represents the proof of a statement of the following form: // -// ( Z=g^(x*y) && X=g^x && Y=g^y && Z_=g^(x_*y_) && X_=g^x_ && Y_=g^y_ ) // case "none" -// -// || ( Z=g^(x*y) && X=g^x && Y=g^y && Z_=g^(x_*r_) && X_=g^x_ && R_=g^r_ && C=g^(a*b) && A=g^a && B=g^b ) // case "unset" -// || ( Z=g^(x*r) && X=g^x && R=g^r && Z_=g^(x_*r_) && X_=g^x_ && R_=g^r_ && C=g^(a*b+1) && A=g^a && B=g^b ) // case "set" +// ( Z=g^(x*y) && X=g^x && Y=g^y && Z_=g^(x_*y_) && X_=g^x_ && Y_=g^y_ ) // case "lost" +// || ( Z=g^(x*y) && X=g^x && Y=g^y && Z_=g^(x_*r_) && X_=g^x_ && R_=g^r_ && C=g^(a*b) && A=g^a && B=g^b ) // case "unset" +// || ( Z=g^(x*r) && X=g^x && R=g^r && Z_=g^(x_*r_) && X_=g^x_ && R_=g^r_ && C=g^(a*b+1) && A=g^a && B=g^b ) // case "set" // // for given A, B, C, R, X, Y, Z, R_, X_, Y_, Z_ on the curve type Stage2Proof struct { |