diff options
| author | Özgür Kesim <oec@kesim.org> | 2024-11-11 22:06:31 +0100 |
|---|---|---|
| committer | Özgür Kesim <oec@kesim.org> | 2024-11-11 22:06:31 +0100 |
| commit | ad14fd02ec12a06ff72049c57364cfef22a107a2 (patch) | |
| tree | 21d9105f863e9515f7fdf1f1dc2f490653d06892 | |
| parent | 8925af0616fa3c71184f9b8ef1e44f204e8c8f26 (diff) | |
marked structure relations
| -rw-r--r-- | nizk/stage1.go | 11 | ||||
| -rw-r--r-- | nizk/stage2.go | 36 |
2 files changed, 31 insertions, 16 deletions
diff --git a/nizk/stage1.go b/nizk/stage1.go index 7e28ca9..3d07224 100644 --- a/nizk/stage1.go +++ b/nizk/stage1.go @@ -8,18 +8,23 @@ import . "kesim.org/seal/common" // for given Z, X, Y, R, C, A and B type Stage1 struct { - x *Scalar - y *Scalar - r *Scalar + x *Scalar + y *Scalar + r *Scalar + + // Original Bid α *Scalar β *Scalar bitSet bool } type Stage1Commitment struct { + // Original Commitment A *Point B *Point C *Point + + // New R *Point X *Point Y *Point diff --git a/nizk/stage2.go b/nizk/stage2.go index 85081f7..be3d21f 100644 --- a/nizk/stage2.go +++ b/nizk/stage2.go @@ -21,25 +21,35 @@ const ( ) type Stage2 struct { + // Original Bid (except for typ, which has one more value) typ Type a *Scalar b *Scalar - r *Scalar - x *Scalar - y *Scalar - r_ *Scalar - x_ *Scalar - y_ *Scalar + + // Stage1 + r *Scalar + x *Scalar + y *Scalar + + // Stage2 + r_ *Scalar + x_ *Scalar + y_ *Scalar } type Stage2Commitment struct { - A *Point - B *Point - C *Point - R *Point - X *Point - Y *Point - Z *Point + // Original Commitment + A *Point + B *Point + C *Point + + // Stage1Commitment + R *Point + X *Point + Y *Point + Z *Point + + // New R_ *Point X_ *Point Y_ *Point |