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/ jus...@openbitcoinprivacyproject.org E7AD 8215 8497 3673 6D9E 61C4 2A5F DA70 EAD9 E623
0xEAD9E623.asc
Description: application/pgp-keys
signature.asc
Description: OpenPGP digital signature
_______________________________________________ bitcoin-dev mailing list bitcoin-dev@lists.linuxfoundation.org https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
