Skip to content

LibraryConsensus2016Design paperCorpus record

Transaction Signature Verification for Version 0 Witness Program

BIP 143. Johnson Lau.

BIP 143, Transaction Signature Verification for Version 0 Witness Program. This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.

Status in the source: Deployed. A reading of the public specification, not a copy of it and not a certification.

Transaction Signature Verification for Version 0 Witness Program is worth reading for the rule it actually adds: This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.
Evidence
Primary paper
Re-measured
No
Assumptions
3
Records linked
4

Code

Source, repository, and what is actually hosted

  • BIP 143https://bips.dev/143
  • The source URL is not a GitHub repository. No code remote is invented.
  • Full text is not mirrored. Public availability is not a licence to copy the file onto this site.
  • Add to a reading list

01 Claim ledger

What the paper is allowed to say

Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.

  1. Claim 01 · Paper model

    The rule

    This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.

  2. Claim 02 · Paper model

    What was already failing

    Bitcoin script and block validity only change when a soft fork says an old pattern is now invalid. Without that rule, every node is free to accept what this document wants to reject.

  3. Claim 03 · Paper model

    What the number does not mean

    The source marks this deployed. That is a statement about the text, not a promise that every wallet or node has shipped it.

  4. Claim 04 · Paper model

    What a builder should be able to point at

    An implementation either constrains ECDSA, CHECKSIG, CHECKSIGVERIFY or it is a different design.

02 Three cuts

Observation, model, falsifier

A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.

  1. 01 The rule

    Observation

    What the study says

    This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.

    Model

    What has to hold

    You are implementing BIP 143 at the status the text itself states: Deployed.

    Falsifier

    What would retire it

    Which bytes become invalid under Transaction Signature Verification for Version 0 Witness Program, and which old transactions stay valid?

  2. 02 What was already failing

    Observation

    What the study says

    Bitcoin script and block validity only change when a soft fork says an old pattern is now invalid. Without that rule, every node is free to accept what this document wants to reject.

    Model

    What has to hold

    The object that has to change is ECDSA, CHECKSIG, CHECKSIGVERIFY. A neighbouring document with a similar name is not this one.

    Falsifier

    What would retire it

    Which bytes become invalid under Transaction Signature Verification for Version 0 Witness Program, and which old transactions stay valid?

  3. 03 What the number does not mean

    Observation

    What the study says

    The source marks this deployed. That is a statement about the text, not a promise that every wallet or node has shipped it.

    Model

    What has to hold

    You are implementing BIP 143 at the status the text itself states: Deployed.

    Falsifier

    What would retire it

    Which of these objects does the text actually define: ECDSA, CHECKSIG, CHECKSIGVERIFY?

  4. 04 What a builder should be able to point at

    Observation

    What the study says

    An implementation either constrains ECDSA, CHECKSIG, CHECKSIGVERIFY or it is a different design.

    Model

    What has to hold

    The object that has to change is ECDSA, CHECKSIG, CHECKSIGVERIFY. A neighbouring document with a similar name is not this one.

    Falsifier

    What would retire it

    Which of these objects does the text actually define: ECDSA, CHECKSIG, CHECKSIGVERIFY?

03 Sequence

One action, as an operating tape

  1. 01Open BIP 143 and read the status line before the examples.
  2. 02Write down the rule in one sentence. A fair version of that sentence is: This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.
  3. 03Name the object that changes: ECDSA, CHECKSIG, CHECKSIGVERIFY.
  4. 04Ask what an old client, an old contract, or an offline counterparty does. If the document is silent, the silence is part of the design.

04 Load-bearing

The argument, and where a pitch drops it

  1. What the text is allowed to settle

    The cut

    Bitcoin Improvement Proposal 143 can settle the shape of Transaction Signature Verification for Version 0 Witness Program. It cannot settle whether a later client, a later fork, or a later wallet still does this.

    Why it carries weight

    If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.

    Where it is dropped

    The source marks this deployed. That is a statement about the text, not a promise that every wallet or node has shipped it.

  2. What this page will not pretend

    The cut

    There is no benchmark, no adoption number, and no claim that the mechanism is safe outside the assumptions written in the source.

    Why it carries weight

    If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.

    Where it is dropped

    Activation is a separate mechanism from the opcode or the sighash. This page does not pick a height.

05 Register

What has to be true

  • Model · Not re-measured

    You are implementing BIP 143 at the status the text itself states: Deployed.

  • Model · Not re-measured

    The object that has to change is ECDSA, CHECKSIG, CHECKSIGVERIFY. A neighbouring document with a similar name is not this one.

  • Cryptography · Not re-measured

    Activation is a separate mechanism from the opcode or the sighash. This page does not pick a height.

06 Divergence

What happened after the paper

The source marks this deployed. That is a statement about the text, not a promise that every wallet or node has shipped it. Later documents can narrow, replace, or ignore this one. Cite the number you mean.

A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.

07 Pre-mortem

What to check before you use the idea

  1. 0 of 3 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.

08 Anatomy

The paper, in the order a builder needs

The problem it names

Bitcoin script and block validity only change when a soft fork says an old pattern is now invalid. Without that rule, every node is free to accept what this document wants to reject.

What the design proposes

  • This proposal defines a new transaction digest algorithm for signature verification in version 0 witness program, in order to minimize redundant data hashing in verification, and to cover the input value by the signature.
  • There are 4 ECDSA signature verification codes in the original Bitcoin script system: CHECKSIG , CHECKSIGVERIFY , CHECKMULTISIG , CHECKMULTISIGVERIFY (“sigops”).
  • According to the sighash type ( ALL , NONE , SINGLE , ANYONECANPAY ), a transaction digest is generated with a double SHA256 of a serialized subset of the transaction, and the signature is verified against this digest with a given public key.

How the mechanism is specified

  • Taken from the specification, the next constraint is: There are 4 ECDSA signature verification codes in the original Bitcoin script system: CHECKSIG , CHECKSIGVERIFY , CHECKMULTISIG , CHECKMULTISIGVERIFY (“sigops”).
  • Locate ECDSA, CHECKSIG, CHECKSIGVERIFY in BIP 143 and apply it to one transaction or call.
  • Then check the failure the class of rule always has: a node that did not upgrade, a reverted call, a replayed signature, or a peer that does not speak the message.

What this page does not treat as proven

  • A soft fork does not bind a node that never upgrades. It binds the nodes that enforce the new rejection.
  • Activation is a separate mechanism from the opcode or the sighash. This page does not pick a height.
  • The source marks this deployed. That is a statement about the text, not a promise that every wallet or node has shipped it.

Why the desk still reads it

Use BIP 143 when a pitch says 'Transaction Signature Verification for Version 0 Witness Program' without saying whether the rule is consensus, policy, or an interface. The number is the citation. The pitch is not.

09 Lexicon

Terms, opened into the record

BIP 143
The public text titled Transaction Signature Verification for Version 0 Witness Program.
Deployed
The document's own label for how finished the text is. It is not a market fact.

10 Repository

Every linked record on this page

Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.

This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.

Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.