aboutsummaryrefslogtreecommitdiff
path: root/nizk
diff options
context:
space:
mode:
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
commitad14fd02ec12a06ff72049c57364cfef22a107a2 (patch)
tree21d9105f863e9515f7fdf1f1dc2f490653d06892 /nizk
parent8925af0616fa3c71184f9b8ef1e44f204e8c8f26 (diff)
marked structure relations
Diffstat (limited to 'nizk')
-rw-r--r--nizk/stage1.go11
-rw-r--r--nizk/stage2.go36
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