[bitcoin-dev] cleanstack alt stack & softfork improvements (Was: Merkle branch verification & tail-call semantics for generalized MAST)

2017-09-18 Thread Luke Dashjr via bitcoin-dev
On Tuesday 19 September 2017 12:46:30 AM Mark Friedenbach via bitcoin-dev wrote: > After the main discussion session it was observed that tail-call semantics > could still be maintained if the alt stack is used for transferring > arguments to the policy script. Isn't this a bug in the cleanstack

Re: [bitcoin-dev] hypothetical: Could soft-forks be prevented?

2017-09-18 Thread Daniel Wilczynski via bitcoin-dev
Hi Dan. What might be better aim is to have built in wipeout protection? In softfork scenario this would protect a majority threatening a minority with a wipeout if they do not opt in to some soft-fork consensus change. This could be partly done done by having automoated consensus critical

Re: [bitcoin-dev] Merkle branch verification & tail-call semantics for generalized MAST

2017-09-18 Thread Mark Friedenbach via bitcoin-dev
As some of you may know, the MAST proposal I sent to the mailing list on September 6th was discussed that the in-person CoreDev meetup in San Francisco. In this email I hope to summarize the outcome of that discussion. As chatham house rules were in effect, I will refrain from attributing names to