diff --git a/.travis.yml b/.travis.yml index aec855e..03c8b8a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,4 +19,6 @@ install: script: - cargo build --verbose - cargo test --verbose + - cargo build --verbose --features=bitcoinconsensus + - cargo test --verbose --features=bitcoinconsensus - if [ "$(rustup show | grep default | grep stable)" != "" ]; then cd fuzz && cargo test --verbose && ./travis-fuzz.sh; fi diff --git a/src/blockdata/script.rs b/src/blockdata/script.rs index 88be676..ea1eea7 100644 --- a/src/blockdata/script.rs +++ b/src/blockdata/script.rs @@ -182,8 +182,8 @@ impl error::Error for Error { match *self { Error::EarlyEndOfScript => "unexpected end of script", Error::NumericOverflow => "numeric overflow (number on stack larger than 4 bytes)", - #[cfg(feature="bitcoinconsensus")] - Error::BitcoinConsensus(ref _n) => "bitcoinconsenus verification failed", + #[cfg(feature="bitcoinconsensus")] + Error::BitcoinConsensus(ref _n) => "bitcoinconsenus verification failed", #[cfg(feature="bitcoinconsensus")] Error::UnknownSpentTransaction (ref _hash) => "unknown transaction referred in Transaction::verify()", #[cfg(feature="bitcoinconsensus")] @@ -363,7 +363,7 @@ impl Script { #[cfg(feature="bitcoinconsensus")] /// verify spend of an input script /// # Parameters - /// * index - the index of the output holding this script in its own transaction + /// * index - the input index in spending which is spending this transaction /// * amount - the amount this script guards /// * spending - the transaction that attempts to spend the output holding this script pub fn verify (&self, index: usize, amount: u64, spending: &[u8]) -> Result<(), Error> { diff --git a/src/blockdata/transaction.rs b/src/blockdata/transaction.rs index 70d8b06..ab37108 100644 --- a/src/blockdata/transaction.rs +++ b/src/blockdata/transaction.rs @@ -255,10 +255,10 @@ impl Transaction { /// Verify that this transaction is able to spend some outputs of spent transactions pub fn verify (&self, spent : &HashMap) -> Result<(), script::Error> { if let Ok(tx) = serialize(&*self) { - for input in &self.input { + for (idx, input) in self.input.iter().enumerate() { if let Some(ref s) = spent.get(&input.prev_hash) { if let Some(ref output) = s.output.get(input.prev_index as usize) { - input.script_sig.verify(input.prev_index as usize, output.value, tx.as_slice())?; + output.script_pubkey.verify(idx, output.value, tx.as_slice())?; } else { return Err(script::Error::WrongSpentOutputIndex(input.prev_index as usize)); } @@ -884,8 +884,9 @@ mod tests { fn test_transaction_verify () { use serialize::hex::FromHex; use std::collections::HashMap; + use blockdata::script; // a random recent segwit transaction from blockchain using both old and segwit inputs - let spending: Transaction = deserialize("020000000001031cfbc8f54fbfa4a33a30068841371f80dbfe166211242213188428f437445c91000000006a47304402206fbcec8d2d2e740d824d3d36cc345b37d9f65d665a99f5bd5c9e8d42270a03a8022013959632492332200c2908459547bf8dbf97c65ab1a28dec377d6f1d41d3d63e012103d7279dfb90ce17fe139ba60a7c41ddf605b25e1c07a4ddcb9dfef4e7d6710f48feffffff476222484f5e35b3f0e43f65fc76e21d8be7818dd6a989c160b1e5039b7835fc00000000171600140914414d3c94af70ac7e25407b0689e0baa10c77feffffffa83d954a62568bbc99cc644c62eb7383d7c2a2563041a0aeb891a6a4055895570000000017160014795d04cc2d4f31480d9a3710993fbd80d04301dffeffffff06fef72f000000000017a91476fd7035cd26f1a32a5ab979e056713aac25796887a5000f00000000001976a914b8332d502a529571c6af4be66399cd33379071c588ac3fda0500000000001976a914fc1d692f8de10ae33295f090bea5fe49527d975c88ac522e1b00000000001976a914808406b54d1044c429ac54c0e189b0d8061667e088ac6eb68501000000001976a914dfab6085f3a8fb3e6710206a5a959313c5618f4d88acbba20000000000001976a914eb3026552d7e3f3073457d0bee5d4757de48160d88ac0002483045022100bee24b63212939d33d513e767bc79300051f7a0d433c3fcf1e0e3bf03b9eb1d70220588dc45a9ce3a939103b4459ce47500b64e23ab118dfc03c9caa7d6bfc32b9c601210354fd80328da0f9ae6eef2b3a81f74f9a6f66761fadf96f1d1d22b1fd6845876402483045022100e29c7e3a5efc10da6269e5fc20b6a1cb8beb92130cc52c67e46ef40aaa5cac5f0220644dd1b049727d991aece98a105563416e10a5ac4221abac7d16931842d5c322012103960b87412d6e169f30e12106bdf70122aabb9eb61f455518322a18b920a4dfa887d30700" + let mut spending: Transaction = deserialize("020000000001031cfbc8f54fbfa4a33a30068841371f80dbfe166211242213188428f437445c91000000006a47304402206fbcec8d2d2e740d824d3d36cc345b37d9f65d665a99f5bd5c9e8d42270a03a8022013959632492332200c2908459547bf8dbf97c65ab1a28dec377d6f1d41d3d63e012103d7279dfb90ce17fe139ba60a7c41ddf605b25e1c07a4ddcb9dfef4e7d6710f48feffffff476222484f5e35b3f0e43f65fc76e21d8be7818dd6a989c160b1e5039b7835fc00000000171600140914414d3c94af70ac7e25407b0689e0baa10c77feffffffa83d954a62568bbc99cc644c62eb7383d7c2a2563041a0aeb891a6a4055895570000000017160014795d04cc2d4f31480d9a3710993fbd80d04301dffeffffff06fef72f000000000017a91476fd7035cd26f1a32a5ab979e056713aac25796887a5000f00000000001976a914b8332d502a529571c6af4be66399cd33379071c588ac3fda0500000000001976a914fc1d692f8de10ae33295f090bea5fe49527d975c88ac522e1b00000000001976a914808406b54d1044c429ac54c0e189b0d8061667e088ac6eb68501000000001976a914dfab6085f3a8fb3e6710206a5a959313c5618f4d88acbba20000000000001976a914eb3026552d7e3f3073457d0bee5d4757de48160d88ac0002483045022100bee24b63212939d33d513e767bc79300051f7a0d433c3fcf1e0e3bf03b9eb1d70220588dc45a9ce3a939103b4459ce47500b64e23ab118dfc03c9caa7d6bfc32b9c601210354fd80328da0f9ae6eef2b3a81f74f9a6f66761fadf96f1d1d22b1fd6845876402483045022100e29c7e3a5efc10da6269e5fc20b6a1cb8beb92130cc52c67e46ef40aaa5cac5f0220644dd1b049727d991aece98a105563416e10a5ac4221abac7d16931842d5c322012103960b87412d6e169f30e12106bdf70122aabb9eb61f455518322a18b920a4dfa887d30700" .from_hex().unwrap().as_slice()).unwrap(); let spent1: Transaction = deserialize("020000000001040aacd2c49f5f3c0968cfa8caf9d5761436d95385252e3abb4de8f5dcf8a582f20000000017160014bcadb2baea98af0d9a902e53a7e9adff43b191e9feffffff96cd3c93cac3db114aafe753122bd7d1afa5aa4155ae04b3256344ecca69d72001000000171600141d9984579ceb5c67ebfbfb47124f056662fe7adbfeffffffc878dd74d3a44072eae6178bb94b9253177db1a5aaa6d068eb0e4db7631762e20000000017160014df2a48cdc53dae1aba7aa71cb1f9de089d75aac3feffffffe49f99275bc8363f5f593f4eec371c51f62c34ff11cc6d8d778787d340d6896c0100000017160014229b3b297a0587e03375ab4174ef56eeb0968735feffffff03360d0f00000000001976a9149f44b06f6ee92ddbc4686f71afe528c09727a5c788ac24281b00000000001976a9140277b4f68ff20307a2a9f9b4487a38b501eb955888ac227c0000000000001976a9148020cd422f55eef8747a9d418f5441030f7c9c7788ac0247304402204aa3bd9682f9a8e101505f6358aacd1749ecf53a62b8370b97d59243b3d6984f02200384ad449870b0e6e89c92505880411285ecd41cf11e7439b973f13bad97e53901210205b392ffcb83124b1c7ce6dd594688198ef600d34500a7f3552d67947bbe392802473044022033dfd8d190a4ae36b9f60999b217c775b96eb10dee3a1ff50fb6a75325719106022005872e4e36d194e49ced2ebcf8bb9d843d842e7b7e0eb042f4028396088d292f012103c9d7cbf369410b090480de2aa15c6c73d91b9ffa7d88b90724614b70be41e98e0247304402207d952de9e59e4684efed069797e3e2d993e9f98ec8a9ccd599de43005fe3f713022076d190cc93d9513fc061b1ba565afac574e02027c9efbfa1d7b71ab8dbb21e0501210313ad44bc030cc6cb111798c2bf3d2139418d751c1e79ec4e837ce360cc03b97a024730440220029e75edb5e9413eb98d684d62a077b17fa5b7cc19349c1e8cc6c4733b7b7452022048d4b9cae594f03741029ff841e35996ef233701c1ea9aa55c301362ea2e2f68012103590657108a72feb8dc1dec022cf6a230bb23dc7aaa52f4032384853b9f8388baf9d20700" .from_hex().unwrap().as_slice()).unwrap(); @@ -899,7 +900,14 @@ mod tests { spent.insert(spent2.txid(), spent2); spent.insert(spent3.txid(), spent3); - spending.verify (&spent).unwrap(); + spending.verify(&spent).unwrap(); + + // test that we get a failure if we corrupt a signature + spending.input[1].witness[0][10] = 42; + match spending.verify(&spent).err().unwrap() { + script::Error::BitcoinConsensus(_) => {}, + _ => panic!("Wrong error type"), + } } }