proof: test genesis, group key reveal verification

Author: jharveyb

proof/append_test.go

@@ -110,7 +110,7 @@ func runAppendTransitionTest(t *testing.T, assetType asset.Type, amt uint64,
 
 	// Start with a minted genesis asset.
 	genesisProof, senderPrivKey := genRandomGenesisWithProof(
-		t, assetType, &amt, nil, true, nil, nil, assetVersion,
+		t, assetType, &amt, nil, true, nil, nil, nil, nil, assetVersion,
 	)
 	genesisBlob, err := EncodeAsProofFile(&genesisProof)
 	require.NoError(t, err)

proof/proof.go

@@ -56,7 +56,7 @@ var (
 	// proof for a genesis asset has a non-zero meta hash, but doesn't have
 	// a meta reveal.
 	ErrGenesisRevealMetaRevealRequired = errors.New("genesis meta reveal " +
-		"reveal required")
+		"required")
 
 	// ErrGenesisRevealMetaHashMismatch is an error returned if an asset
 	// proof for a genesis asset has a genesis reveal where the meta hash
@@ -70,12 +70,6 @@ var (
 	ErrGenesisRevealOutputIndexMismatch = errors.New("genesis reveal " +
 		"output index mismatch")
 
-	// ErrGenesisRevealTypeMismatch is an error returned if an asset proof
-	// for a genesis asset has a genesis reveal where the asset type doesn't
-	// match the proof TLV field.
-	ErrGenesisRevealTypeMismatch = errors.New("genesis reveal type " +
-		"mismatch")
-
 	// ErrNonGenesisAssetWithGroupKeyReveal is an error returned if an asset
 	// proof for a non-genesis asset contains a group key reveal.
 	ErrNonGenesisAssetWithGroupKeyReveal = errors.New("non genesis asset " +

proof/proof_test.go

@@ -20,6 +20,7 @@ import (
 	"github.com/btcsuite/btcd/txscript"
 	"github.com/btcsuite/btcd/wire"
 	"github.com/davecgh/go-spew/spew"
+	"github.com/decred/dcrd/dcrec/secp256k1/v4"
 	"github.com/lightninglabs/taproot-assets/asset"
 	"github.com/lightninglabs/taproot-assets/commitment"
 	"github.com/lightninglabs/taproot-assets/internal/test"
@@ -338,8 +339,9 @@ func TestProofEncoding(t *testing.T) {
 
 func genRandomGenesisWithProof(t testing.TB, assetType asset.Type,
 	amt *uint64, tapscriptPreimage *commitment.TapscriptPreimage,
-	noMetaHash bool, metaReveal *MetaReveal,
-	genesisMutator genMutator,
+	noMetaHash bool, metaReveal *MetaReveal, genesisMutator genMutator,
+	genesisRevealMutator genRevealMutator,
+	groupRevealMutator groupRevealMutator,
 	assetVersion asset.Version) (Proof, *btcec.PrivateKey) {
 
 	t.Helper()
@@ -372,13 +374,17 @@ func genRandomGenesisWithProof(t testing.TB, assetType asset.Type,
 		asset.WithAssetVersion(assetVersion),
 	)
 	assetGroupKey := asset.RandGroupKey(t, assetGenesis, protoAsset)
-	groupKeyReveal := asset.GroupKeyReveal{
+	groupKeyReveal := &asset.GroupKeyReveal{
 		RawKey: asset.ToSerialized(
 			assetGroupKey.RawKey.PubKey,
 		),
 		TapscriptRoot: assetGroupKey.TapscriptRoot,
 	}
 
+	if groupRevealMutator != nil {
+		groupRevealMutator(groupKeyReveal)
+	}
+
 	tapCommitment, assets, err := commitment.Mint(
 		assetGenesis, assetGroupKey, &commitment.AssetDetails{
 			Type:             assetType,
@@ -436,6 +442,11 @@ func genRandomGenesisWithProof(t testing.TB, assetType asset.Type,
 	txMerkleProof, err := NewTxMerkleProof([]*wire.MsgTx{genesisTx}, 0)
 	require.NoError(t, err)
 
+	genReveal := &assetGenesis
+	if genesisRevealMutator != nil {
+		genReveal = genesisRevealMutator(genReveal)
+	}
+
 	return Proof{
 		PrevOut:       assetGenesis.FirstPrevOut,
 		BlockHeader:   *blockHeader,
@@ -455,13 +466,17 @@ func genRandomGenesisWithProof(t testing.TB, assetType asset.Type,
 		MetaReveal:       metaReveal,
 		ExclusionProofs:  nil,
 		AdditionalInputs: nil,
-		GenesisReveal:    &assetGenesis,
-		GroupKeyReveal:   &groupKeyReveal,
+		GenesisReveal:    genReveal,
+		GroupKeyReveal:   groupKeyReveal,
 	}, genesisPrivKey
 }
 
 type genMutator func(*asset.Genesis)
 
+type groupRevealMutator func(*asset.GroupKeyReveal)
+
+type genRevealMutator func(*asset.Genesis) *asset.Genesis
+
 func TestGenesisProofVerification(t *testing.T) {
 	t.Parallel()
 
@@ -476,15 +491,18 @@ func TestGenesisProofVerification(t *testing.T) {
 	amount := uint64(5000)
 
 	testCases := []struct {
-		name              string
-		assetType         asset.Type
-		amount            *uint64
-		assetVersion      asset.Version
-		tapscriptPreimage *commitment.TapscriptPreimage
-		metaReveal        *MetaReveal
-		noMetaHash        bool
-		genesisMutator    genMutator
-		expectedErr       error
+		name                 string
+		assetType            asset.Type
+		amount               *uint64
+		assetVersion         asset.Version
+		tapscriptPreimage    *commitment.TapscriptPreimage
+		metaReveal           *MetaReveal
+		noMetaHash           bool
+		noGroup              bool
+		genesisMutator       genMutator
+		genesisRevealMutator genRevealMutator
+		groupRevealMutator   groupRevealMutator
+		expectedErr          error
 	}{
 		{
 			name:       "collectible genesis",
@@ -584,6 +602,78 @@ func TestGenesisProofVerification(t *testing.T) {
 			assetType:   asset.Collectible,
 			expectedErr: ErrGenesisRevealMetaRevealRequired,
 		},
+		{
+			name:       "missing genesis reveal",
+			assetType:  asset.Collectible,
+			noMetaHash: true,
+			genesisRevealMutator: func(
+				g *asset.Genesis) *asset.Genesis {
+
+				return nil
+			},
+			expectedErr: ErrGenesisRevealRequired,
+		},
+		{
+			name:       "genesis reveal asset ID mismatch",
+			assetType:  asset.Normal,
+			amount:     &amount,
+			noMetaHash: true,
+			genesisRevealMutator: func(
+				g *asset.Genesis) *asset.Genesis {
+
+				gCopy := *g
+				gCopy.Tag += "mismatch"
+				return &gCopy
+			},
+			expectedErr: ErrGenesisRevealAssetIDMismatch,
+		},
+		{
+			name:      "genesis reveal prev out mismatch",
+			assetType: asset.Collectible,
+			genesisRevealMutator: func(
+				g *asset.Genesis) *asset.Genesis {
+
+				gCopy := *g
+				gCopy.FirstPrevOut = test.RandOp(t)
+				return &gCopy
+			},
+			expectedErr: ErrGenesisRevealPrevOutMismatch,
+		},
+		{
+			name:       "genesis reveal output index mismatch",
+			assetType:  asset.Normal,
+			amount:     &amount,
+			noMetaHash: true,
+			genesisRevealMutator: func(
+				g *asset.Genesis) *asset.Genesis {
+
+				gCopy := *g
+				gCopy.OutputIndex = uint32(
+					test.RandInt[int32](),
+				)
+				return &gCopy
+			},
+			expectedErr: ErrGenesisRevealOutputIndexMismatch,
+		},
+		{
+			name:       "group key reveal invalid key",
+			assetType:  asset.Collectible,
+			noMetaHash: true,
+			groupRevealMutator: func(gkr *asset.GroupKeyReveal) {
+				gkr.RawKey[0] = 0x01
+			},
+			expectedErr: secp256k1.ErrPubKeyInvalidFormat,
+		},
+		{
+			name:       "group key reveal mismatched tweaked key",
+			assetType:  asset.Normal,
+			amount:     &amount,
+			noMetaHash: true,
+			groupRevealMutator: func(gkr *asset.GroupKeyReveal) {
+				gkr.TapscriptRoot = test.RandBytes(32)
+			},
+			expectedErr: ErrGroupKeyRevealMismatch,
+		},
 	}
 
 	testVectors := &TestVectors{}
@@ -595,6 +685,7 @@ func TestGenesisProofVerification(t *testing.T) {
 				tt, tc.assetType, tc.amount,
 				tc.tapscriptPreimage, tc.noMetaHash,
 				tc.metaReveal, tc.genesisMutator,
+				tc.genesisRevealMutator, tc.groupRevealMutator,
 				tc.assetVersion,
 			)
 			_, err := genesisProof.Verify(
@@ -635,7 +726,7 @@ func TestProofBlockHeaderVerification(t *testing.T) {
 	t.Parallel()
 
 	proof, _ := genRandomGenesisWithProof(
-		t, asset.Collectible, nil, nil, true, nil, nil, 0,
+		t, asset.Collectible, nil, nil, true, nil, nil, nil, nil, 0,
 	)
 
 	// Create a base reference for the block header and block height. We
@@ -793,7 +884,7 @@ func TestProofReplacement(t *testing.T) {
 		amt := uint64(i + 1)
 		assetVersion := asset.Version(i % 2)
 		lotsOfProofs[i], _ = genRandomGenesisWithProof(
-			t, asset.Normal, &amt, nil, false, nil, nil,
+			t, asset.Normal, &amt, nil, false, nil, nil, nil, nil,
 			assetVersion,
 		)
 	}
@@ -822,7 +913,7 @@ func TestProofReplacement(t *testing.T) {
 		// We'll generate a random proof, and then replace a random
 		// proof in the file with it.
 		proof, _ := genRandomGenesisWithProof(
-			t, asset.Normal, &amt, nil, false, nil, nil,
+			t, asset.Normal, &amt, nil, false, nil, nil, nil, nil,
 			assetVersion,
 		)
 		idx := test.RandIntn(numProofs)
@@ -836,15 +927,15 @@ func TestProofReplacement(t *testing.T) {
 	// boundary conditions).
 	amt := uint64(1337)
 	firstProof, _ := genRandomGenesisWithProof(
-		t, asset.Normal, &amt, nil, false, nil, nil, asset.V1,
+		t, asset.Normal, &amt, nil, false, nil, nil, nil, nil, asset.V1,
 	)
 	err = f.ReplaceProofAt(0, firstProof)
 	require.NoError(t, err)
 	assertIndex(0, 1337)
 
 	amt = uint64(2016)
 	lastProof, _ := genRandomGenesisWithProof(
-		t, asset.Normal, &amt, nil, false, nil, nil, asset.V0,
+		t, asset.Normal, &amt, nil, false, nil, nil, nil, nil, asset.V0,
 	)
 	err = f.ReplaceProofAt(uint32(f.NumProofs()-1), lastProof)
 	require.NoError(t, err)
@@ -870,7 +961,7 @@ func BenchmarkProofEncoding(b *testing.B) {
 
 	// Start with a minted genesis asset.
 	genesisProof, _ := genRandomGenesisWithProof(
-		b, asset.Normal, &amt, nil, false, nil, nil, asset.V0,
+		b, asset.Normal, &amt, nil, false, nil, nil, nil, nil, asset.V0,
 	)
 
 	// We create a file with 10k proofs (the same one) and test encoding/

proof/verifier.go

@@ -285,20 +285,12 @@ func (p *Proof) verifyGenesisReveal() error {
 		return ErrGenesisRevealRequired
 	}
 
-	// The genesis reveal determines the ID of an asset, so make sure it is
-	// consistent.
-	assetID := p.Asset.ID()
-	if reveal.ID() != assetID {
-		return ErrGenesisRevealAssetIDMismatch
-	}
-
-	// We also make sure the genesis reveal is consistent with the TLV
-	// fields in the state transition proof.
+	// Make sure the genesis reveal is consistent with the TLV fields in
+	// the state transition proof.
 	if reveal.FirstPrevOut != p.PrevOut {
 		return ErrGenesisRevealPrevOutMismatch
 	}
 
-	// TODO(roasbeef): enforce practical limit on size of meta reveal
 	// If this asset has an empty meta reveal, then the meta hash must be
 	// empty. Otherwise, the meta hash must match the meta reveal.
 	var proofMeta [asset.MetaHashLen]byte
@@ -318,8 +310,13 @@ func (p *Proof) verifyGenesisReveal() error {
 		return ErrGenesisRevealOutputIndexMismatch
 	}
 
-	if reveal.Type != p.Asset.Type {
-		return ErrGenesisRevealTypeMismatch
+	// The genesis reveal determines the ID of an asset, so make sure it is
+	// consistent. Since the asset ID commits to all fields of the genesis,
+	// this is equivalent to checking equality for the genesis tag and type
+	// fields that have not yet been verified.
+	assetID := p.Asset.ID()
+	if reveal.ID() != assetID {
+		return ErrGenesisRevealAssetIDMismatch
 	}
 
 	return nil
@@ -341,14 +338,7 @@ func (p *Proof) verifyGenesisGroupKey(groupVerifier GroupVerifier) error {
 // the same key as the group key specified for the asset.
 func (p *Proof) verifyGroupKeyReveal() error {
 	groupKey := p.Asset.GroupKey
-	if groupKey == nil {
-		return ErrGroupKeyRequired
-	}
-
 	reveal := p.GroupKeyReveal
-	if reveal == nil {
-		return ErrGroupKeyRevealRequired
-	}
 
 	revealedKey, err := reveal.GroupPubKey(p.Asset.ID())
 	if err != nil {