1 files changed, 17 insertions, 0 deletions
diff --git a/nizk/commit/commit_test.go b/nizk/commit/commit_test.go
new file mode 100644
index 0000000..09b8416
--- /dev/null
+++ b/nizk/commit/commit_test.go
@@ -0,0 +1,17 @@
+package commit
+
+import "testing"
+
+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")
+	}
+}