diff --git a/bip-0443.mediawiki b/bip-0443.mediawiki index 97f42fe1..86a6cf97 100644 --- a/bip-0443.mediawiki +++ b/bip-0443.mediawiki @@ -40,7 +40,7 @@ numerous attempts to improve bitcoin. Some of the proposed applications include: * UTXO sharing schemes like Ark, CoinPools, Timeout Trees, etc. use various types of output restrictions in order to enable multiple parties to share the control of a UTXO, while ensuring that each participant controls their own balance. * OP_VAULT[[bip-0345.mediawiki|BIP-345]] is a proposed opcode to implement a 2-step withdrawal process, enabling on-chain reactive security. -* OP_CHECKTEMPLATEVERIFY[[bip-119.mediawiki|BIP-114]] is a long-proposed opcode to constrain a transaction to a ''template'' with a fixed set of outputs. +* OP_CHECKTEMPLATEVERIFY[[bip-0119.mediawiki|BIP-119]] is a long-proposed opcode to constrain a transaction to a ''template'' with a fixed set of outputs. * Sidechains and rollups could be implemented via a UTXO encumbered with a recursive covenant, updating the sidechain state root every time it is spent. Constructions like BitVMhttps://bitvm.org/ try to side-step the lack of a primitive allowing UTXOs to carry @@ -176,7 +176,7 @@ would always be hard-coded via a push in the script, the risk of mistakes seems The following values of the other parameters have special meanings: * If the is -1, it is replaced with the Merkle root of the current input's tapscript tree. If the taptree is the empty buffer, then the taptweak is skipped. -* If the is 0, it is replaced with the NUMS x-only pubkey 0x50929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0 defined in BIP-0340. If the is -1, it is replaced with the taproot internal key of the current input. +* If the is 0, it is replaced with the NUMS x-only pubkey 0x50929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0 defined in [[bip-0340.mediawiki|BIP-340]]. If the is -1, it is replaced with the taproot internal key of the current input. * If the is -1, it is replaced with the index of the current input. * If the is the empty buffer, then there is no data tweak for the input/output being checked. @@ -209,7 +209,7 @@ def tweak_embed_data(pubkey, data): return 0 if has_even_y(Q) else 1, bytes_from_int(x(Q)) -The taproot_tweak_pubkey from [[bip-0341.mediawiki|BIP341]] is also used as a helper function. +The taproot_tweak_pubkey from [[bip-0341.mediawiki|BIP-341]] is also used as a helper function. The following notations are used in the pseudocode below: * n_inputs and n_outputs are the number of inputs and outputs of the transaction, respectively; @@ -246,7 +246,7 @@ evaluation of a taproot script spend. this_input_index, this_ this_input_taptree are the index, taproot internal key and taproot Merkle root of the current input. BIP341_NUMS_KEY is the x-only provably unspendable key 50929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0 -defined in [[bip-341.mediawiki|BIP-341]]. +defined in [[bip-0341.mediawiki|BIP-341]]. if mode < CCV_MODE_CHECK_INPUT or mode > CCV_MODE_CHECK_OUTPUT_DEDUCT_AMOUNT: