bip-tap-proof-file: use even/odd TLV numbers for proofs

bip-tap-proof-file.mediawiki

@@ -67,74 +67,74 @@ blob with the following format:
 * type: 0 (<code>version</code>)
 ** value:
 *** [<code>uint32</code>:<code>version</code>]
-* type: 1 (<code>prev_out</code>)
+* type: 2 (<code>prev_out</code>)
 ** value: 
 *** [<code>36*byte</code>:<code>txid || output_index</code>]
-* type: 2 (<code>block_header</code>)
+* type: 4 (<code>block_header</code>)
 ** value: 
 *** [<code>80*byte</code>:<code>bitcoin_header</code>]
-* type: 3 (<code>anchor_tx</code>)
+* type: 6 (<code>anchor_tx</code>)
 ** value: 
 *** [<code>...*byte</code>:<code>serialized_bitcoin_tx</code>]
-* type: 4 (<code>anchor_tx_merkle_proof</code>)
+* type: 8 (<code>anchor_tx_merkle_proof</code>)
 ** value: 
 *** [<code>...*byte</code>:<code>merkle_inclusion_proof</code>]
-* type: 5 (<code>taproot_asset_asset_leaf</code>)
+* type: 10 (<code>taproot_asset_asset_leaf</code>)
 ** value: 
 *** [<code>tlv_blob</code>:<code>serialized_tlv_leaf</code>]
-* type: 6 (<code>taproot_asset_inclusion_proofs</code>)
+* type: 12 (<code>taproot_asset_inclusion_proofs</code>)
 ** value: 
 *** [<code>...*byte</code>:<code>taproot_asset_taproot_proof</code>]
 **** type: 0 (<code>output_index</code>
 ***** value: [<code>int32</code>:<code>index</code>]
-**** type: 1 (<code>internal_key</code>
+**** type: 2 (<code>internal_key</code>
 ***** value: [<code>33*byte</code>:<code>y_parity_byte || schnorr_x_only_key</code>]
-**** type: 2 (<code>taproot_asset_proof</code>)
+**** type: 3 (<code>taproot_asset_proof</code>)
 ***** value: [<code>...*byte</code>:<code>asset_proof</code>]
-****** type: 0 (<code>taproot_asset_proof</code>)
+****** type: 1 (<code>taproot_asset_proof</code>)
 ******* value: [<code>...*byte</code>:<code>asset_inclusion_proof</code>]
 ******* type: 0
 ******** value: [<code>uint32</code>:<code>proof_version</code>]
-******* type: 1
-******** value: [<code>32*byte</code>:<code>asset_id</code>]
 ******* type: 2
+******** value: [<code>32*byte</code>:<code>asset_id</code>]
+******* type: 4
 ******** value: [<code>...*byte</code>:<code>ms_smt_inclusion_proof</code>]
-****** type: 1 (<code>taproot_asset_inclusion_proof</code>)
+****** type: 2 (<code>taproot_asset_inclusion_proof</code>)
 ******* value: [<code>...*byte</code>:<code>taproot_asset_inclusion_proof</code>]
 ******* type: 0
 ******** value: [<code>uint32</code>:<code>proof_version</code>]
-******* type: 1
+******* type: 2
 ******** value: [<code>...*byte</code>:<code>ms_smt_inclusion_proof</code>]
-******* type: 2 (<code>taproot_sibling_preimage</code>)
-******** value: [<code>byte</code>:<code>sibling_type</code>][<code>varint</code>:<code>num_bytes</code>][<code>...*byte</code>:<code>tapscript_preimage</code>]
-**** type: 3 (<code>taproot_asset_commitment_exclusion_proof</code>
+****** type: 5 (<code>taproot_sibling_preimage</code>)
+******* value: [<code>byte</code>:<code>sibling_type</code>][<code>varint</code>:<code>num_bytes</code>][<code>...*byte</code>:<code>tapscript_preimage</code>]
+**** type: 5 (<code>taproot_asset_commitment_exclusion_proof</code>
 ***** value: [<code>...*byte</code>:<code>taproot_exclusion_proof</code>]
-****** type: 0 (<code>tap_image_1</code>)
+****** type: 1 (<code>tap_image_1</code>)
 ******* value: [<code>...*byte</code>:<code>tapscript_preimage</code>]
-****** type: 1 (<code>tap_image_2</code>)
+****** type: 3 (<code>tap_image_2</code>)
 ******* value: [<code>...*byte</code>:<code>tapscript_preimage</code>]
-****** type: 2 (<code>bip_86</code>)
+****** type: 4 (<code>bip_86</code>)
 ******* value: [<code>byte 0x00/0x01</code>:<code>bip_86</code>]
-* type: 7 (<code>taproot_exclusion_proofs</code>)
+* type: 13 (<code>taproot_exclusion_proofs</code>)
 ** value: 
 *** [<code>uint16</code>:<code>num_proofs</code>][<code>...*byte</code>:<code>taproot_asset_taproot_proof</code>]
-* type: 8 (<code>split_root_proof</code>)
+* type: 15 (<code>split_root_proof</code>)
 ** value:
 *** [<code>...*byte</code>:<code>taproot_asset_taproot_proof</code>]
-* type: 9 (<code>meta_reveal</code>)
+* type: 17 (<code>meta_reveal</code>)
 ** value:
 *** [<code>...*byte</code>:<code>asset_meta_reveal</code>]
 **** type: 0 (<code>meta_type</code>
 ***** value: [<code>uint8</code>:<code>type</code>]
-**** type: 1 (<code>meta_data</code>
+**** type: 2 (<code>meta_data</code>
 ***** value: [<code>*byte</code>:<code>meta_data_bytes</code>]
-* type: 10 (<code>taproot_asset_input_splits</code>)
+* type: 19 (<code>taproot_asset_input_splits</code>)
 ** value:
 *** [<code>...*byte</code>:<code>nested_proof_map</code>]
-* type: 11 (<code>challenge_witness</code>)
+* type: 21 (<code>challenge_witness</code>)
 ** value:
 *** [<code>...*byte</code>:<code>challenge_witness</code>]
-* type: 12 (<code>block_height</code>)
+* type: 22 (<code>block_height</code>)
 ** value:
 *** [<code>uint32</code>:<code>block_height</code>]