[Bitcoin-development] Setting the record straight on Proof-of-Publication

2014-12-16 Thread paul snow
Peter provides an excellent summary of Proof of Publication, which starts with defining it as being composed of a solution to the double spend problem. He requires Proof-of-receipt (proof every member of p in audience P has received a message m), Proof-of-non-publication (proof a message m has not

[Bitcoin-development] Setting the record straight on Proof-of-Publication

2014-12-17 Thread paul snow
[[Since I sent this while the List Server was down, it didn't actually go to everyone. Forgive me if you ended up with two copies.]] Peter provides an excellent summary of Proof of Publication, which starts with defining it as being composed of a solution to the double spend problem. He requires

Re: [Bitcoin-development] The relationship between Proof-of-Publication and Anti-Replay Oracles

2014-12-21 Thread paul snow
On Dec 20, 2014 8:49 AM, "Peter Todd" wrote: > > However the converse is not possible: anti-replay cannot be used to implement proof-of-publication. Knowing that no conflicting message exists says nothing about who be in posession of that message, or indeed, any message at all. Thus anti-replay is

Re: [Bitcoin-development] The relationship between Proof-of-Publication and Anti-Replay Oracles

2014-12-21 Thread paul snow
auditable system. On Dec 21, 2014 9:23 AM, "Peter Todd" wrote: > On Sun, Dec 21, 2014 at 07:49:17AM -0600, paul snow wrote: > > On Dec 20, 2014 8:49 AM, "Peter Todd" wrote: > > > > > > However the converse is not possible: anti-replay cannot be used

Re: [Bitcoin-development] one-show signatures (Re: The relationship between Proof-of-Publication and Anti-Replay Oracles)

2014-12-21 Thread paul snow
On Sun, Dec 21, 2014 at 12:51 PM, Peter Todd wrote: > On Sun, Dec 21, 2014 at 06:10:47PM +, Adam Back wrote: > > Yes you could for example define a new rule that two signatures > > (double-spend) authorises something - eg miners to take funds. (And > > this would work with existing ECDSA addr