mirror of
https://github.com/luxfi/threshold.git
synced 2026-10-30 15:15:53 +00:00
zeekay
eeaa2a1c07
- Fix go vet error in lss_bench_test.go: replace b.Fatal with panic in goroutine - Fix go vet error in lss_test.go: remove t.Skip call from goroutine - Apply gofmt to all files to fix formatting issues All go vet errors and formatting issues have been resolved.
52 lines
1.3 KiB
Go
52 lines
1.3 KiB
Go
package zklogstar
|
|
|
|
import (
|
|
"crypto/rand"
|
|
"testing"
|
|
|
|
"github.com/fxamacker/cbor/v2"
|
|
"github.com/luxfi/threshold/pkg/hash"
|
|
"github.com/luxfi/threshold/pkg/math/curve"
|
|
"github.com/luxfi/threshold/pkg/math/sample"
|
|
"github.com/luxfi/threshold/pkg/zk"
|
|
"github.com/stretchr/testify/assert"
|
|
"github.com/stretchr/testify/require"
|
|
)
|
|
|
|
func TestLogStar(t *testing.T) {
|
|
group := curve.Secp256k1{}
|
|
|
|
verifier := zk.Pedersen
|
|
prover := zk.ProverPaillierPublic
|
|
|
|
G := sample.Scalar(rand.Reader, group).ActOnBase()
|
|
|
|
x := sample.IntervalL(rand.Reader)
|
|
C, rho := prover.Enc(x)
|
|
X := group.NewScalar().SetNat(x.Mod(group.Order())).Act(G)
|
|
public := Public{
|
|
C: C,
|
|
X: X,
|
|
G: G,
|
|
Prover: prover,
|
|
Aux: verifier,
|
|
}
|
|
|
|
proof := NewProof(group, hash.New(), public, Private{
|
|
X: x,
|
|
Rho: rho,
|
|
})
|
|
assert.True(t, proof.Verify(hash.New(), public))
|
|
|
|
out, err := cbor.Marshal(proof)
|
|
require.NoError(t, err, "failed to marshal proof")
|
|
proof2 := Empty(group)
|
|
require.NoError(t, cbor.Unmarshal(out, proof2), "failed to unmarshal proof")
|
|
out2, err := cbor.Marshal(proof2)
|
|
require.NoError(t, err, "failed to marshal 2nd proof")
|
|
proof3 := Empty(group)
|
|
require.NoError(t, cbor.Unmarshal(out2, proof3), "failed to unmarshal 2nd proof")
|
|
|
|
assert.True(t, proof3.Verify(hash.New(), public))
|
|
}
|