package commit

import (
	"testing"

	. "kesim.org/seal/nizk"
)

func TestStatement(t *testing.T) {
	var α, β = Curve.RandomScalar(), Curve.RandomScalar()

	st1, st2 := NewStatement(α, β, true), NewStatement(α, β, false)
	c1, c2 := st1.Commit(), st2.Commit()
	pr1, pr2 := st1.Proof(), st2.Proof()
	if !c1.Verify(pr1) {
		t.Fatal("Could not verify st1 with c1 and pr1, plus=true case")
	}
	if !c2.Verify(pr2) {
		t.Fatal("Could not verify st2 with c2 and pr2, plus=false case")
	}
}