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 | |
| parent | f9ba813c7b1e032cb7916d620dbd3bd46a9d32e7 (diff) | |
| download | bips-6c3ea6735a9f9c6725be9762efa78738d9254c27.tar.xz | |
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.
| -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. |