blob: 916ba0e371997c2485f6d250404b12465faff8b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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")
}
}
|
