Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-21 Thread Bram Cohen via bitcoin-dev
On Fri, Jan 21, 2022 at 9:32 AM Billy Tetrud wrote: > > Bitcoin doesn't have a strong single concept of a 'parent' > > I'm using the term "parent" loosely in context here to mean a relationship > where an input has constraints applied to an output (or outputs). > Yes and I'm using it more specif

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-21 Thread Billy Tetrud via bitcoin-dev
> Bitcoin doesn't have a strong single concept of a 'parent' I'm using the term "parent" loosely in context here to mean a relationship where an input has constraints applied to an output (or outputs). > verify the secure hash chain from its parent to itself so that it knows what the parent loo

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-20 Thread Peter Todd via bitcoin-dev
On Thu, Jan 20, 2022 at 11:23:30AM -0800, Bram Cohen via bitcoin-dev wrote: > > Nodes currently aren't required to keep around the whole blockchain, but > > your proposal sounds like it would require them to. I think this could be > > pretty detrimental to future scalability. Monero, for example, h

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-20 Thread Bram Cohen via bitcoin-dev
On Tue, Jan 18, 2022 at 6:25 PM Billy Tetrud wrote: > > 'assert that my parent has a scriptpubkey of X'... That way you can, for > example, have a UTXO which only allows itself to be absorbed by a > transaction also involving a UTXO with a particular capability > > I'm not sure I fully follow. I

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-19 Thread Billy Tetrud via bitcoin-dev
> 'assert that my parent has a scriptpubkey of X'... That way you can, for example, have a UTXO which only allows itself to be absorbed by a transaction also involving a UTXO with a particular capability I'm not sure I fully follow. I usually think about covenants as having the reverse form, that

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-18 Thread Bram Cohen via bitcoin-dev
On Tue, Jan 18, 2022 at 7:10 AM Billy Tetrud wrote: > > Since scriptpubkeys/scriptsigs continue to run ephemerally at > validation time full turing completeness is much less dangerous than people > fear. > > The covenant proposals I've seen that might give bitcoin turing > completeness require a

Re: [bitcoin-dev] Covenants and capabilities in the UTXO model

2022-01-18 Thread Billy Tetrud via bitcoin-dev
> Since scriptpubkeys/scriptsigs continue to run ephemerally at validation time full turing completeness is much less dangerous than people fear. The covenant proposals I've seen that might give bitcoin turing completeness require a turing complete process to be stepped such that each step is a t

[bitcoin-dev] Covenants and capabilities in the UTXO model

2021-12-31 Thread Bram Cohen via bitcoin-dev
There are a few different approaches to adding covenants and capabilities to the UTXO model with varying tradeoffs. It turns out that it can be done while making very few but not quite zero compromises to practices Bitcoin has been following so far. First, the good news: Full support for both capa