밑바닥부터 시작하는 비트코인

밑바닥부터 시작하는 비트코인

218

증된다면

1

을 스택 위로 올립니다 (그렇지 않으면

0

을 스택 위로 올립니다 ). 서명이 유효하다

고 가정하면 스택에는

1

이 남고 이는 결합스크립트가 올바르다는 뜻입니다 (그림

8

-

8

).

그림

8-8

다중서명 검증 결과

NOTE

_

OP_CHECKMULTISIG Off-by-One 버그

OP

_

CHECKMULTISIG

명령어가가져오는스택위의원소는개수를나타내는

m

과

n

,

m

개의서명,

n

개의

공개키입니다.따라서원소의개수는

m

+

n

+

2

입니다.그런데애석하게도,이명령어는

m

+

n

+

2

개의

원소보다

1

개더가져옵니다.

1

개를더가져오는것은불필요한동작이지만가져오는원소가모자르지않

도록원소

1

개를사전에추가합니다(여기서는

OP

_

0

에해당).

OP

_

CHECKMULTISIG

은추가로가져온원소를가지고어떠한동작도하지않습니다.그러므로마지막원

소는무엇이든상관없습니다.하지만트랜잭션가변성문제로인해비트코인 네트워크상 대부분 노드는

마지막원소가

OP

_

0

이아니면트랜잭션을전파하지않도록합니다.정확히

m

+

n

+

2

개의원소만있다면,

OP

_

CHECKMULTISIG

명령어는가져올원소가충분하지않기때문에무조건검증에실패합니다.이는곧

결합스크립트의검증실패를의미하고트랜잭션은유효하지않게됩니다. ...