# Multisignature

Multisignature (often called "multisig") refers to requiring multiple keys to spend funds in a Bitcoin Cash transaction, rather than a single signature from one key. It has a number of applications and allows users to divide up responsibility for possession of coins.

Multisignature scripts set a condition where N public keys are recorded in the script and at least M of those must provide signatures to unlock the funds. This is also known as *M-of-N multisignature scheme*, where N is the total number of keys and M is the threshold of signatures required for validation. The signatures used can either be ECDSA signatures or Schnorr signatures.

## Public multisignature: OP_CHECKMULTISIG(VERIFY)

Multisig schemes can be built with the opcodes `OP_CHECKMULTISIG`

and `OP_CHECKMULTISIGVERIFY`

, two opcodes of the Bitcoin Cash scripting language. `OP_CHECKMULTISIGVERIFY`

has the same implementation as `OP_CHECKMULTISIG`

, except OP_VERIFY is executed afterward.

The opcode `OP_CHECKMULTISIG`

can be included in all sorts of scripts. The minimal locking script using `OP_CHECKMULTISIG`

is:

```
M <pubkey1> ... <pubkeyN> N CHECKMULTISIG
```

This script creates a P2MS (raw multisig) output. It can also be used as a *redeem script* for a P2SH output.

The unlocking script corresponding to the previous locking script is:

```
<dummy> <sig1> ... <sigM>
```

Upon script execution, this will act like:

```
<dummy> <sig1> ... <sigM> M <pubkey1> ... <pubkeyN> N CHECKMULTISIG
```

Due to a historical bug (the original implementation of `OP_CHECKMULTISIG`

consumed `M+N+3`

items on the stack instead of `M+N+2`

), an extra unusued value called the `dummy`

element was included in the script. This was usually done via `OP_0`

. Since the HF-2019115 Bitcoin Cash upgrade, this element has been repurposed as a trigerring and execution mechanism.

In particular, the value of the `dummy`

element determines whether ECDSA or Schnorr signatures have to be used. If `dummy`

is `0`

(i.e., an empty byte array), then all signatures must be produced by ECDSA. If `dummy`

is not `0`

, then all signatures must be produced by the Schnorr algorithm and the `dummy`

element is interpreted as a bitfield called `checkbits`

.

Upon `OP_CHECKMULTISIG`

execution, the ECDSA mode (`dummy = 0`

) is:

- The first signature is checked against each public key until a match is found.
- Starting with the subsequent public key, the second signature is checked against each remaining public key until a match is found.
- The process is repeated until all signatures have been checked or not enough public keys remain to produce a successful result.
- All signatures need to match a public key, otherwise
`false`

is returned.

The Schnorr mode (`dummy = checkbits > 0`

) operates similarly, but only checks signatures as requested, according to the `checkbits`

field:

- If the least significant bit of
`checkbits`

is set, then the first signature is checked against the first public key. - If it is not but if the second least significant bit is set, then the first signature is checked against the second public key.
- Once the first signature has been checked against a matching public key,
`checkbits`

is bit-shifted to the right (`checkbits := checkbits >> 1`

). - The process is repeated until all signatures have been checked or not enough public keys remain to produce a successful result.
- All signatures need to match a public key, otherwise
`false`

is returned. - If the final
`checkbits`

value is non-zero, then`false`

is returned.

Because public keys are not checked again if they fail any signature comparison (in both cases), signatures must be placed in the unlocking script using the same order as their corresponding public keys were placed in the locking script (P2MS) or redeem script (P2SH).

Note that the `checkbits`

element is encoded as a byte array of length `floor((N + 7)/8)`

(the shortest byte array that can hold N bits) and must have exactly M bits set to ensure that all signatures are checked against public keys.

To know more about the Schnorr mode, see the specification.

### Example

The most commonly used scheme is the 2-of-3 multisig scheme:

```
2 <pubkeyA> <pubkeyB> <pubkeyC> 3 CHECKMULTISIG
```

where 2 out of 3 participants (Alice, Bob and Carol) can sign a transaction from the shared account.

Let's say Alice and Carol want to spend funds. If they want to use ECDSA, they have to sign the transaction with this algorithm and build the following script:

```
0 <sigA> <sigC>
```

If they want to use Schnorr, they have to sign the transaction with this algorithm and build the following script:

```
5 <sigA> <sigC>
```

The value of the `dummy`

element is 5, whose binary representation is `0b101`

. This ensures that Alice's signature (`sigA`

) is checked against her public key (`pubkeyA`

), that Carol's signature (`sigC`

) is not checked against Bob's public key (`pubkeyB`

) but against her public key (`pubkeyC`

).

## Private multisignature

Multisig schemes can also be implemented in P2PKH outputs, using Schnorr agregation property.