Files
threshold/pkg/zk/log/log_test.go
zeekay eeaa2a1c07 fix: resolve go vet and formatting issues
- 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.
2025-08-05 17:59:18 -05:00

46 lines
1.1 KiB
Go

package zklog
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/stretchr/testify/assert"
"github.com/stretchr/testify/require"
)
func TestLog(t *testing.T) {
group := curve.Secp256k1{}
a := sample.Scalar(rand.Reader, group)
b := sample.Scalar(rand.Reader, group)
H := b.ActOnBase()
X := a.ActOnBase()
Y := a.Act(H)
public := Public{
H: H,
X: X,
Y: Y,
}
proof := NewProof(group, hash.New(), public, Private{
A: a,
B: b,
})
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))
}