aboutsummaryrefslogtreecommitdiff
path: root/nizk/vickrey_test.go
diff options
context:
space:
mode:
Diffstat (limited to 'nizk/vickrey_test.go')
-rw-r--r--nizk/vickrey_test.go16
1 files changed, 8 insertions, 8 deletions
diff --git a/nizk/vickrey_test.go b/nizk/vickrey_test.go
index dd2846a..99fb00c 100644
--- a/nizk/vickrey_test.go
+++ b/nizk/vickrey_test.go
@@ -43,7 +43,7 @@ func runVickrey(n int, bitlength int, tb testing.TB) {
result := 0
isWinner := func(Z *Point, i int, idx int) bool {
- Z2 := Z.Div(Zs[i])
+ z := Z.Div(Zs[i])
xu := Curve.Identity()
xl := Curve.Identity()
@@ -51,29 +51,29 @@ func runVickrey(n int, bitlength int, tb testing.TB) {
if k < i {
xu = xu.Mul(Xs[k])
} else if k > i {
- xl = xl.Div(Xs[k])
+ xl = xl.Mul(Xs[k])
}
}
xu = xu.Exp(bits[i][idx].Stage.x)
xl = xl.Exp(bits[i][idx].Stage.x)
- X2 := xu.Mul(xl)
+ x := xu.Div(xl)
- if X2.Equal(Z2) {
+ if x.Equal(z) {
tb.Logf("equal by value")
winner = i
}
if winner < 0 {
// BUG! TODO!
- s1 := X2.String()
- s2 := Z2.String()
+ s1 := x.String()
+ s2 := z.String()
if strings.HasPrefix(s1, s2[:len(s2)-2]) {
log.Printf("BUG! TODO! equal only by string")
winner = i
}
}
- tb.Logf("testing max_idx %d, i %d, bit %d:\n%v vs %v", max_idx, i, idx, X2, Z2)
+ tb.Logf("testing max_idx %d, i %d, bit %d:\n%v vs %v", max_idx, i, idx, x, z)
return winner >= 0
}
@@ -162,4 +162,4 @@ func runVickrey(n int, bitlength int, tb testing.TB) {
}
}
-func TestVickrey100on24bit(t *testing.T) { runVickrey(100, 32, t) }
+func TestVickrey100on16bit(t *testing.T) { runVickrey(100, 16, t) }