Subject: Re: [bitcoin-dev] Fork of invalid blocks due to BIP66 violations

From: Justus Ranvier <[email-masked]>
Date: Sat, 04 Jul 2015 18:33:24 -0500

On 07/04/2015 12:58 PM, Tier Nolan wrote:
> Yes, you can mostly get short proofs for each step, but you have to make
> sure your proofs are also provable.
> 
> It means going through everything that needs to be proved for a block to be
> valid.

I think the problem is tractable if some reasonable assumptions are made
about the ability of SPV clients to perform validity checks that don't
involve any state outside a single transaction (or block):

https://gist.github.com/justusranvier/451616fa4697b5f25f60

-- 
Justus Ranvier
Open Bitcoin Privacy Project
http://www.openbitcoinprivacyproject.org/
[email-masked]
E7AD 8215 8497 3673 6D9E 61C4 2A5F DA70 EAD9 E623