diff options
| author | David A. Harding <dave@dtrt.org> | 2015-01-30 09:45:55 -0500 |
|---|---|---|
| committer | David A. Harding <dave@dtrt.org> | 2015-01-30 09:49:49 -0500 |
| commit | 6c3ea6735a9f9c6725be9762efa78738d9254c27 (patch) | |
| tree | 7ce6706b257c4a6e069bfff26a3863f1360bc263 /bip-0066.mediawiki | |
| parent | f9ba813c7b1e032cb7916d620dbd3bd46a9d32e7 (diff) | |
BIP66: Number Examples To Match Implementation Tests
The Bitcoin Core tests in script_tests.cpp refer to these examples by
number, but these BIP66 examples are in an unordered list, making them
hard to follow. This changes the list to an ordered list.
Diffstat (limited to 'bip-0066.mediawiki')
| -rw-r--r-- | bip-0066.mediawiki | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/bip-0066.mediawiki b/bip-0066.mediawiki index 35c8a00..3fd1b85 100644 --- a/bip-0066.mediawiki +++ b/bip-0066.mediawiki @@ -102,19 +102,19 @@ bool static IsValidSignatureEncoding(const std::vector<unsigned char> &sig) { Notation: P1 and P2 are valid, serialized, public keys. S1 and S2 are valid signatures using respective keys P1 and P2. S1' and S2' are non-DER but otherwise valid signatures using those same keys. F is any invalid but DER-compliant signature (including 0, the empty string). F' is any invalid and non-DER-compliant signature. -* <code>S1' P1 CHECKSIG</code> fails (<b>changed</b>) -* <code>S1' P1 CHECKSIG NOT</code> fails (unchanged) -* <code>F P1 CHECKSIG</code> fails (unchanged) -* <code>F P1 CHECKSIG NOT</code> can succeed (unchanged) -* <code>F' P1 CHECKSIG</code> fails (unchanged) -* <code>F' P1 CHECKSIG NOT</code> fails (<b>changed</b>) - -* <code>0 S1' S2 2 P1 P2 2 CHECKMULTISIG</code> fails (<b>changed</b>) -* <code>0 S1' S2 2 P1 P2 2 CHECKMULTISIG NOT</code> fails (unchanged) -* <code>0 F S2' 2 P1 P2 2 CHECKMULTISIG</code> fails (unchanged) -* <code>0 F S2' 2 P1 P2 2 CHECKMULTISIG NOT</code> fails (<b>changed</b>) -* <code>0 S1' F 2 P1 P2 2 CHECKMULTISIG</code> fails (unchanged) -* <code>0 S1' F 2 P1 P2 2 CHECKMULTISIG NOT</code> can succeed (unchanged) +# <code>S1' P1 CHECKSIG</code> fails (<b>changed</b>) +# <code>S1' P1 CHECKSIG NOT</code> fails (unchanged) +# <code>F P1 CHECKSIG</code> fails (unchanged) +# <code>F P1 CHECKSIG NOT</code> can succeed (unchanged) +# <code>F' P1 CHECKSIG</code> fails (unchanged) +# <code>F' P1 CHECKSIG NOT</code> fails (<b>changed</b>) + +# <code>0 S1' S2 2 P1 P2 2 CHECKMULTISIG</code> fails (<b>changed</b>) +# <code>0 S1' S2 2 P1 P2 2 CHECKMULTISIG NOT</code> fails (unchanged) +# <code>0 F S2' 2 P1 P2 2 CHECKMULTISIG</code> fails (unchanged) +# <code>0 F S2' 2 P1 P2 2 CHECKMULTISIG NOT</code> fails (<b>changed</b>) +# <code>0 S1' F 2 P1 P2 2 CHECKMULTISIG</code> fails (unchanged) +# <code>0 S1' F 2 P1 P2 2 CHECKMULTISIG NOT</code> can succeed (unchanged) Note that the examples above show that only additional failures are required by this change, as required for a soft forking change. |