Date: Mon, 3 Nov 2014 09:54:59 -0800
From: Andrew Poelstra <apoelstra@wpsoftware.net>
To: Alex Mizrahi <alex.mizrahi@gmail.com>
Message-ID: <20141103175459.GT6400@shavo.vs.shawcable.net>
References: <CALqxMTHeipZZrJ_NSXK9vxiO83gSDgM6TA7T7XNBS3LtmuK2KA@mail.gmail.com>
	<CAE28kUQS-ykQkLvZhKyR9ULh_=BPbdkm-TbVGOXdujy0e5xPFQ@mail.gmail.com>
	<CABm2gDqXkAKoNKwvznPfKKEq+c-F+Co7kudqQa2wHjcCU3iysQ@mail.gmail.com>
	<CAE28kURz3smtwDvVuPQDFxosqB2tRNWiM3bf=BeLcjhJ2eiR5A@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="HtRZva1Vzv8iP5ye"
Content-Disposition: inline
In-Reply-To: <CAE28kURz3smtwDvVuPQDFxosqB2tRNWiM3bf=BeLcjhJ2eiR5A@mail.gmail.com>
User-Agent: Mutt/1.5.22+19 (8f62001989cc) (2013-10-16)
Cc: Bitcoin-Dev <bitcoin-development@lists.sourceforge.net>
Subject: Re: [Bitcoin-development] side-chains & 2-way pegging (Re: is there
 a way to do bitcoin-staging?)
Precedence: list


--HtRZva1Vzv8iP5ye
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Nov 03, 2014 at 06:01:46PM +0200, Alex Mizrahi wrote:
>=20
> Yes, but "harder" isn't same as "unlikely".
>

We are aware of the distintion between hardness (expected work) and
likelihood of successful attack -- much of Appendix B talks about this,
in the context of producing compact SPV proofs which are (a) hard to
forge, and (b) very unlikely to be forgeries.

We did spend some time formalizing this but due to space constraints
(and it being somewhat beside the point of the whitepaper beyond "we
believe it is possible to do"), we did not explore this in as great
depth as we'd have liked.
=20
> Another problem with this section is that it only mentions reorganization=
s.
> But a fraudulent transfer can happen without a reorganization, as an
> attacker can produce an SPV proof which is totally fake. So this is not
> similar to double-spending, attacker doesn't need to own coins to perform
> an attack.
>=20

Well, even in the absense of a reorganization, the attacker's false proof
will just be invalidated by a proof of longer work on the real chain.
And there is still a real cost to producing the false proof.


--=20
Andrew Poelstra
Mathematics Department, University of Texas at Austin
Email: apoelstra at wpsoftware.net
Web:   http://www.wpsoftware.net/andrew


--HtRZva1Vzv8iP5ye
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQEcBAEBAgAGBQJUV8FzAAoJEHrQqRxAvQCRXBgH/1UiDodseOEWglbEvZIitHF4
6z9bRkz3KJRXtnc4eEczRfVnywF4J++fvf/QSmwMVgzTlBslEXa7AOYXC8skvV0a
00bBFZOuNW6tJpW8/dTYDLcrdaq3SEaSzdw18jk+RvV08LbrcETsAF5EuQ+a3TCO
VbYNJJXdMxFKmeNpIqRGGFxcF3qm4PDWzT1TFrzq5OHTuijJVCe8PgGgn+OYfRw3
MuIG7/VpCV0jWD8vc8s6PxVxsgK6xoSIzE0q+/aubuwcY1wq7VpSullP85WZrnec
4X1cugpRj9whkSxO93NPJlwAnbIDpLN2uuq3y5j3iBAheY2ahRaXIKilekr77y8=
=dWHv
-----END PGP SIGNATURE-----

--HtRZva1Vzv8iP5ye--