wip: proof version bump

Author: gijswijs

proof/mint.go

@@ -307,6 +307,12 @@ func baseProof(params *BaseProofParams, prevOut wire.OutPoint) (*Proof, error) {
 	}
 	proof.ExclusionProofs = params.ExclusionProofs
 
+	// We set the proof version to V1, which is the first version that
+	// supports STXO proofs for root transfer assets.  A root transfer is an
+	// asset that is neither a genesis asset nor contains split commitment
+	// witness data.
+	proof.Version = TransitionV1
+
 	return proof, nil
 }
 

proof/proof.go

@@ -228,6 +228,8 @@ type TransitionVersion uint32
 const (
 	// TransitionV0 is the first version of the state transition proof.
 	TransitionV0 TransitionVersion = 0
+
+	TransitionV1 TransitionVersion = 1
 )
 
 // Proof encodes all of the data necessary to prove a valid state transition for
@@ -485,11 +487,22 @@ func (p *Proof) IsUnknownVersion() bool {
 	switch p.Version {
 	case TransitionV0:
 		return false
+	case TransitionV1:
+		return false
 	default:
 		return true
 	}
 }
 
+// IsUnknownVersion returns true if a proof has a version that is not recognized
+// by this implementation of tap.
+func (p *Proof) IsVersionV1() bool {
+	if p.Version == TransitionV1 {
+		return true
+	}
+	return false
+}
+
 // ToChainAsset converts the proof to a ChainAsset.
 func (p *Proof) ToChainAsset() (asset.ChainAsset, error) {
 	emptyAsset := asset.ChainAsset{}

proof/verifier.go

@@ -170,7 +170,8 @@ func verifyTaprootProof(anchor *wire.MsgTx, proof *TaprootProof,
 // verifyInclusionProof verifies the InclusionProof is valid.
 func (p *Proof) verifyInclusionProof() (*commitment.TapCommitment, error) {
 	// Determine if we're dealing with v0 or v1 proofs.
-	hasV1Proofs := p.InclusionProof.CommitmentProof != nil &&
+	hasV1Proofs := p.IsVersionV1() &&
+		p.InclusionProof.CommitmentProof != nil &&
 		len(p.InclusionProof.CommitmentProof.STXOProofs) > 0
 
 	if !hasV1Proofs {
@@ -251,7 +252,8 @@ func (p *Proof) verifyExclusionProofs() (*commitment.TapCommitmentVersion,
 	}
 
 	// Early pass to determine if we're dealing with v0 or v1 proofs.
-	hasV1Proofs := len(p.ExclusionProofs) > 0 &&
+	hasV1Proofs := p.IsVersionV1() &&
+		len(p.ExclusionProofs) > 0 &&
 		p.ExclusionProofs[0].CommitmentProof != nil &&
 		len(p.ExclusionProofs[0].CommitmentProof.STXOProofs) > 0