diff options
author | Özgür Kesim <oec@codeblau.de> | 2024-11-15 12:55:28 +0100 |
---|---|---|
committer | Özgür Kesim <oec@codeblau.de> | 2024-11-15 12:55:28 +0100 |
commit | 77a567048b4d820e22c0a3653d9f82fb96598738 (patch) | |
tree | e00563a3dc34d96d79fe7f84a215c33dca9ca342 /nizk/stage1_test.go | |
parent | 9d5358deb9cb52c850e91a282b27e98545f34ee6 (diff) |
stage2 now works; tests pass
Diffstat (limited to 'nizk/stage1_test.go')
-rw-r--r-- | nizk/stage1_test.go | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nizk/stage1_test.go b/nizk/stage1_test.go index d2e4fd1..d17956d 100644 --- a/nizk/stage1_test.go +++ b/nizk/stage1_test.go @@ -13,8 +13,8 @@ func TestStage1Simple(t *testing.T) { c1 := b1.StageCommit() c2 := b2.StageCommit() - r1, pr1 := b1.RevealStage1() // Note: no Xs. - r2, pr2 := b2.RevealStage1() // Note: no Xs. + r1, pr1 := b1.RevealStage1(c1.X, c2.X) + r2, pr2 := b2.RevealStage1(c2.X) if !b1.Commitment.VerifyStage1(c1, r1, pr1) { t.Fatal("Could not verify st1 with c1 and pr1, plus=true case") } @@ -38,8 +38,8 @@ func TestStage1FromScalars(t *testing.T) { c1 := b1.StageFromScalars(r, x) c2 := b2.StageFromScalars(x, r) - r1, pr1 := b1.RevealStage1() // Note: no Xs - r2, pr2 := b2.RevealStage1() // Note: no Xs + r1, pr1 := b1.RevealStage1(c1.X) + r2, pr2 := b2.RevealStage1(c2.X) if !b1.Commitment.VerifyStage1(c1, r1, pr1) { t.Fatal("Could not verify st1 with c1 and pr1, plus=true case") } |