package nizk

import (
	"testing"

	. "kesim.org/seal/common"
)

func TestStage1(t *testing.T) {
	id := Curve.RandomScalar()
	b1 := NewBit(id, true)
	b2 := NewBit(id, false)
	bc1, _ := b1.Commit()
	bc2, _ := b2.Commit()

	_, c1, pr1 := b1.CommitStage1()
	_, c2, pr2 := b2.CommitStage1()
	if !bc1.VerifyStage1(c1, pr1) {
		t.Fatal("Could not verify st1 with c1 and pr1, plus=true case")
	}
	if !bc2.VerifyStage1(c2, pr2) {
		t.Fatal("Could not verify st2 with c2 and pr2, plus=false case")
	}
	// Wrong proof test
	if bc1.VerifyStage1(c1, pr2) {
		t.Fatal("Shouldn't be able to verify c1 with pr2")
	}
}

func TestStage1FromScalars(t *testing.T) {
	var id, α, β, x, r *Scalar
	for _, s := range []**Scalar{&id, &α, &β, &x, &r} {
		*s = Curve.RandomScalar()
	}

	b1 := NewBitFromScalars(id, true, α, β)
	b2 := NewBitFromScalars(id, false, α, β)
	bc1, _ := b1.Commit()
	bc2, _ := b2.Commit()

	_, c1, pr1 := b1.CommitStage1FromScalars(r, x)
	_, c2, pr2 := b2.CommitStage1FromScalars(x, r)
	if !bc1.VerifyStage1(c1, pr1) {
		t.Fatal("Could not verify st1 with c1 and pr1, plus=true case")
	}
	if !bc2.VerifyStage1(c2, pr2) {
		t.Fatal("Could not verify st2 with c2 and pr2, plus=false case")
	}
	// Wrong proof test
	if bc1.VerifyStage1(c1, pr2) ||
		bc1.VerifyStage1(c2, pr2) ||
		bc2.VerifyStage1(c1, pr2) ||
		bc2.VerifyStage1(c2, pr1) {
		t.Fatal("Shouldn't be able to verify bc_i with c_j or pr_j")
	}
}