MIME-Version: 1.0
References: <CAO3Pvs_pkYAYsrAEtv3KuJevXQHBLZQ-ihjP4Ur_A1NjJRA+Lw@mail.gmail.com>
 <CAPv7TjYTjvSV7UFgOwif6tFj3jVxDfJdW-p_cyPoAGGWKQbwRQ@mail.gmail.com>
 <CAO3Pvs_-igT37fcD29=ATSRX7dW5mGKrLGrXp=iJjaN_t3NGww@mail.gmail.com>
 <CAPv7TjZjZU2bYvUrt-BEx80xKF=BHBbrYWigHB+=yY+YfZX9Yg@mail.gmail.com>
In-Reply-To: <CAPv7TjZjZU2bYvUrt-BEx80xKF=BHBbrYWigHB+=yY+YfZX9Yg@mail.gmail.com>
From: =?UTF-8?Q?Johan_Tor=C3=A5s_Halseth?= <johanth@gmail.com>
Date: Thu, 3 Nov 2022 10:26:05 +0100
Message-ID: <CAD3i26AOmfHz1aOJGwzixQuwMtoo=v5qbveZUasbkzL1sPJWLw@mail.gmail.com>
To: Ruben Somsen <rsomsen@gmail.com>
Content-Type: multipart/alternative; boundary="00000000000096da1c05ec8d8cfa"
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>,
 lightning-dev <lightning-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] [Lightning-dev] Taro: A Taproot Asset
 Representation Overlay
Precedence: list

--00000000000096da1c05ec8d8cfa
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi,

I wanted to chime in on the "teleport" feature explained by Ruben, as I
think exploring something similar for Taro could be super useful in an LN
setting.

In today's Taro, to transfer tokens you have to spend a UTXO, and present a
proof showing that there are tokens committed to in the output you are
spending. Let's say this UTXO is 'utxo:0'.

In contrast, to spend teleported tokens, you would still spend utxo:0, but
you would only have to present a proof that _some txout_ on-chain have
committed tokens to utxo:0.

As Ruben points out, this makes it possible to send tokens to an already
spent TXO, essentially burning the tokens.

However, it opens up some exciting possibilities IMO. You can in essence
use this to "re-fill" UTXOs with tokens, which is very interesting for LN
channels:

- You could "add" tokens to your already open channels. The only thing
needed is for the channel participants to be presented the proof that
tokens were sent to the funding output, and they can update their
commitment transaction to start spending these tokens.
- You can "top-up" all your channels in a single on-chain tx. Since a
single output can commit tokens to several UTXOs, you could with a single
on-chain transaction add tokens to many channels without opening and
closing them.

RGB also has the ability to "blind" the UTXO that tokens get teleported to,
hiding the recipient UTXO. This is cool, since I could withdraw tokens from
an exchange directly into my LN channel, without revealing my channel UTXO.

I found the explanation of the teleport feature in this blog post pretty
good:
https://medium.com/@FedericoTenga/understanding-rgb-protocol-7dc7819d3059

- Johan

On Sun, Apr 10, 2022 at 6:52 PM Ruben Somsen <rsomsen@gmail.com> wrote:

> Hi Laolu,
>
> >happy to hear that someone was actually able to extract enough details
> from the RGB devs/docs to be able to analyze it properly
>
> Actually, even though I eventually puzzled everything together, this did
> not go well for me either. There is a ton of documentation, but it's a ma=
ze
> of unhelpful details, and none of it clearly maps out the fundamental
> design. I was also disappointed by the poor response I received when aski=
ng
> questions, and I ended up getting chastised for helping others understand
> it and pointing out potential flaws[1][2][3].Given my experience, I think
> the project is not in great shape, so the decision to rebuild from scratc=
h
> seems right to me.
>
> That said, in my opinion the above should not factor into the decision of
> whether RGB should be credited in the Taro documentation. The design
> clearly precedes (and seems to have inspired) Taro, so in my opinion this
> should be acknowledged. Also, the people that are responsible for the
> current shape of RGB aren't the people who originated the idea, so it wou=
ld
> not be fair to the originators either (Peter Todd, Alekos Filini, Giacomo
> Zucco).
>
> >assets can be burnt if a user doesn't supply a valid witness
>
> I am in agreement with what you said, but it is not clear to me whether w=
e
> are on the same page. What I tried to say was that it does not make sense
> to build scripting support into Taro, because you can't actually do
> anything interesting with it due to this limitation. The only type of sma=
rt
> contract you can build is one where you limit what the owner (as defined =
by
> Bitcoin's script) can do with their own Taro tokens, or else he will burn
> them =E2=80=93 not very useful. Anything involving a conditional transfer=
 of
> ownership to either A or B (i.e. any meaningful type of script) won't wor=
k.
> Do you see what I mean, or should I elaborate further?
>
> >TAPLEAF_UPDATE_VERIFY can actually be used to further _bind_ Taro transi=
tions
> at the Bitcoin level, without Bitcoin explicitly needing to be aware
>
> That is conceptually quite interesting. So theoretically you could get
> Bitcoin covenants to enforce certain spending conditions on Taro assets.
> Not sure how practical that ends up being, but intriguing to consider.
>
> >asset issuer to do a "re-genesis"
>
> Yes, RGB suggested the same thing, and this can work under some
> circumstances, but note that this won't help for tokens that aim to have =
a
> publicly audited supply, as the proof that a token was legitimately
> re-issued is the history of the previous token (so you'd actually be maki=
ng
> things worse, as now everyone has to verify it). And of course the idea
> also requires the issuer to be active, which may not always be the case.
>
> >I'm not familiar with how the RGB "teleport" technique works [...] Can
> you point me to a coherent explanation of the technique
>
> To my knowledge no good explanation exists. "Teleporting" is just what I
> thought was a good way of describing it. Basically, in your design when
> Alice wants to send a Taro token to Bob, Alice has to spend her own outpu=
t,
> make a new output for Bob, and make a change output for herself. Inside t=
he
> Taro tree you'll then point to the index of Bob's output in order to assi=
gn
> the tokens to his new output. Instead of pointing to the index, you could
> point to the outpoint (txid, index) of an existing UTXO owned by Bob, thu=
s
> "teleporting" the Taro tokens to this UTXO. This saves on-chain space, as
> now you don't have to create a new output for Bob (but now you have to
> ensure Bob doesn't spend from this output while you're simultaneously
> sending tokens to it, as I mentioned in my previous post, as this would
> destroy the tokens).
>
> The above also reminds me of another potential issue which you need to be
> aware of, if you're not already. Similar to my comment about how the
> location of the Taro tree inside the taproot tree needs to be determinist=
ic
> for the verifier, the output in which you place the Taro tree also needs =
to
> be. If it's not, then you can commit to a different Taro tree in each
> output of the transaction, allowing you to secretly fork the history.
>
> Hope this helps.
>
> Cheers,
> Ruben
>
> [1] https://twitter.com/SomsenRuben/status/1397267261619064836
> [2] https://twitter.com/SomsenRuben/status/1397559406565462017
> [3] https://twitter.com/afilini/status/1397484341236797441
>
> On Fri, Apr 8, 2022 at 7:48 PM Olaoluwa Osuntokun <laolu32@gmail.com>
> wrote:
>
>> (this might be a double post as it ran into the size limit)
>>
>> Hi Ruben,
>>
>> Thanks! I don't really consider things final until we have a good set of
>> test
>> vectors in the final set, after which we'd start to transition the set o=
f
>> documents beyond the draft state.
>>
>> > Seeing as there's a large amount of overlap with RGB, a protocol which
>> I have
>> > examined quite extensively, I believe some of the issues I uncovered i=
n
>> that
>> > project also apply here.
>>
>> I'm happy to hear that someone was actually able to extract enough
>> details from
>> the RGB devs/docs to be able to analyze it properly! In the past I tried
>> to ask
>> their developers questions about how things like transfers worked[1][2],
>> but it
>> seemed either people didn't know, or they hadn't finished the core desig=
n
>> (large TBD sections) as they were working on adding other components to
>> create
>> a "new new Internet".
>>
>> > Furthermore, the Taro script is not enforced by Bitcoin, meaning those
>> who
>> > control the Bitcoin script can always choose to ignore the Taro script
>> and
>> > destroy the Taro assets as a result.
>>
>> This is correct, as a result in most contexts, an incentive exists for t=
he
>> holder of an asset to observe the Taro validation rules as otherwise,
>> their
>> assets are burnt in the process from the PoV of asset verifiers. In the
>> single
>> party case things are pretty straight forward, but more care needs to be
>> taken
>> in cases where one attempts to express partial application and permits
>> anyone
>> to spend a UTXO in question.
>>
>> By strongly binding all assets to Bitcoin UTXOs, we resolve issues
>> related to
>> double spending or duplicate assets, but needs to mind the fact that
>> assets can
>> be burnt if a user doesn't supply a valid witness. There're likely ways
>> to get
>> around this by lessening the binding to Bitcoin UTXO's, but then the
>> system
>> would need to be able to collect, retain and order all the set of possib=
le
>> spends, essentially requiring a parallel network. The core of the system
>> as it
>> stands today is pretty simple (which was an explicit design goal to avoi=
d
>> getting forever distracted by the large design space), with a minimal
>> implementation being relatively compact given all the Bitcoin
>> context/design
>> re-use.
>>
>> Also one cool trait of the way commitments are designed is that the Taro
>> commitment impact the final derived taproot output key. As a result,
>> potential
>> Script extensions like TAPLEAF_UPDATE_VERIFY can actually be used to
>> further
>> _bind_ Taro transitions at the Bitcoin level, without Bitcoin explicitly
>> needing to be aware of the Taro rules. In short, covenants can allow
>> Bitcoin
>> Script to bind Taro state transitions, without any of the logic bleeding
>> over,
>> as the covenant just checks for a certain output key, which is a functio=
n
>> of
>> the Taro commitment being present.
>>
>> > There are two possible designs here: a.) The token history remains
>> separate =E2=80=93
>> > Dave receives Alice's 2 tokens, Bob's tokens are split and he receives
>> 2 (or
>> > 3 from Bob 1 from Alice).  b.) The token history gets merged =E2=80=93=
 Dave
>> receives
>> > 4 tokens (linking the new output with both Alice and Bob's history).
>>
>> Mechanically, with respect to the way the change/UTXOs work in the
>> system, both
>> are expressible: Dave can chose to merge them into a single UTXO (with t=
he
>> appropriate witnesses included for each of them), or Dave can keep them
>> distinct in the asset tree. You're correct in that asset issuers may opt
>> to
>> issue assets in denominations vs allowing them to be fully divisible.
>> Ultimately, the compatibility with the LN layer will be the primary way
>> to keep
>> asset histories compressed, without relying on another trust model, or
>> relying
>> on the incentive of an asset issuer to do a "re-genesis" which would
>> effectively re-create assets in a supply-preserving manner (burn N units=
,
>> then
>> produce a new genesis outpoint for N units). Alternatively,
>> implementations can
>> also chose to utilize a checkpointing system similar to what some Bitcoi=
n
>> full
>> node clients do today.
>>
>> >  is that you end up with a linked transaction graph, just like in
>> Bitcoin
>>
>> This is correct, the protocol doesn't claim to achieve better privacy
>> guarantees than the base chain. However inheriting this transaction grap=
h
>> model
>> imo makes it easier for existing Bitcoin developers to interact with the
>> system, and all the data structures are very familiar tooling wise.
>> However any
>> privacy enhancing protocol used for on-chain top-level Bitcoin UTXOs can
>> also
>> be applied to Taro, so people can use things like coinswap and coinjoin,
>> along
>> with LN to shed prior coin lineages.
>>
>> > This implies the location of the Taro tree inside the taproot tree is
>> not
>> > fixed. What needs to be prevented here is that a taproot tree contains
>> more
>> > than one Taro tree, as that would enable the owner of the commitment t=
o
>> show
>> > different histories to different people.
>>
>> Great observation, I patched a similar issue much earlier in the design
>> process
>> by strongly binding all signatures to a prevOut super-set (so the outpoi=
nt
>> along with the unique key apth down into the tree), which prevents
>> duplicating
>> the asset across outputs, as signature verification would fail.
>>
>> In terms of achieving this level of binding within the Taro tree itself,
>> I can
>> think of three options:
>>
>>   1. Require the Taro commitment to be in the first/last position within
>> the
>>   (fully sorted?) Tapscript tree, and also require its sibling to be the
>> hash
>>   of some set string (all zeroes or w/e). We'd require the sibling to th=
e
>> empty
>>   as the tapscript hashes are sorted before hashing so you sort of lose
>> that
>>   final ordering information.
>>
>>   2. Include the position of the Taro commitment within the tapscript tr=
ee
>>   within the sighash digest (basically the way the single input in the
>> virtual
>>   transaction is created from the TLV structure).
>>
>>   3. Include the position of the Taro commitment within the tapscript
>> tree as
>>   part of the message that's hashed to derive asset IDs.
>>
>> AFAICT, #1 resolves the issue entirely, #2 renders transfers outside of
>> the
>> canonical history invalid, and #2 minds hte asset ID to the initial
>> position
>> meaning you can track a canonical lineage from the very start.
>>
>> > Finally, let me conclude with two questions. Could you clarify the
>> purpose of
>> > the sparse merkle tree in your design?
>>
>> Sure, it does a few things:
>>
>>   * Non-inclusion proofs so I can do things like prove to your I'm no
>> longer
>>     committing to my 1-of-1 holographic beefzard card when we swap.
>>
>>   * The key/tree structure means that the tree is history independent,
>> meaning
>>     that if you and I insert the same things into the tree in a differen=
t
>>     order, we'll get the same root hash. This is useful for things like
>>     tracking all the issuance events for a given asset, or allowing two
>>     entities to sync their knowledge/history of a single asset, or a set
>> of
>>     assets.
>>
>>   * Each asset/script mapping to a unique location within the tree means
>> it's
>>     easy to ensure uniqueness of certain items/commitments (not possible
>> to
>>     commit to the same asset ID twice in the tree as an example).
>>
>>   * The merkle-sum trait means I that validation is made simpler, as you
>> just
>>     check that the input+output commitment sum to the same value, and I
>> can
>>     also verify that if we're swapping, then you aren't committing to mo=
re
>>     units that exist (so I make sure I don't get an invalid split).
>>
>> > And the second question =E2=80=93 when transferring Taro token ownersh=
ip from
>> one
>> > Bitcoin UTXO to another, do you generate a new UTXO for the recipient
>> or do
>> > you support the ability to "teleport" the tokens to an existing UTXO
>> like how
>> > RGB does it? If the latter, have you given consideration to timing
>> issues
>> > that might occur when someone sends tokens to an existing UTXO that
>> > simultaneously happens to get spent by the owner?
>>
>> So for interactive transfers, the UTXOs generated as just the ones part
>> of the
>> MIMO transaction. When sending via the address format, a new non-dust
>> output is
>> created which holds the new commitment, and uses an internal key provide=
d
>> by
>> the receiver, so only they can move the UTXO. Admittedly, I'm not
>> familiar with
>> how the RGB "teleport" technique works, I checked out some slide decks a
>> while
>> back, but they were mostly about all the new components they were
>> creating and
>> their milestone of 1 million lines of code. Can you point me to a cohere=
nt
>> explanation of the technique? I'd love to compare/contrast so we can
>> analyze
>> the diff tradeoffs being made here.
>>
>> Thanks for an initial round of feedback/analysis, I'll be updating the
>> draft
>> over the next few days to better spell things out and particularly that
>> commitment/sighash uniqueness trait.
>>
>> -- Laolu
>>
>> [1]:
>> https://twitter.com/roasbeef/status/1330654936074371073?s=3D20&t=3DfeV0k=
WAjJ6MTQlFm06tSxA
>> [2]:
>> https://twitter.com/roasbeef/status/1330692571736117249?s=3D20&t=3DfeV0k=
WAjJ6MTQlFm06tSxA
>>
> _______________________________________________
> Lightning-dev mailing list
> Lightning-dev@lists.linuxfoundation.org
> https://lists.linuxfoundation.org/mailman/listinfo/lightning-dev
>

--00000000000096da1c05ec8d8cfa
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">Hi,<input name=3D"virtru-metadata" type=
=3D"hidden" value=3D"{&quot;email-policy&quot;:{&quot;disableCopyPaste&quot=
;:false,&quot;disablePrint&quot;:false,&quot;disableForwarding&quot;:false,=
&quot;enableNoauth&quot;:false,&quot;expandedWatermarking&quot;:false,&quot=
;expires&quot;:false,&quot;sms&quot;:false,&quot;expirationNum&quot;:1,&quo=
t;expirationUnit&quot;:&quot;days&quot;,&quot;isManaged&quot;:false,&quot;p=
ersistentProtection&quot;:false},&quot;attachments&quot;:{},&quot;compose-i=
d&quot;:&quot;1&quot;,&quot;compose-window&quot;:{&quot;secure&quot;:false}=
}"><div><br></div><div>I wanted to chime in on the &quot;teleport&quot; fea=
ture explained by Ruben, as I think exploring something similar for Taro co=
uld be super useful in an LN setting.</div><div><br></div><div>In today&#39=
;s Taro, to transfer tokens you have to spend a UTXO, and present=C2=A0a pr=
oof showing that there are tokens committed to in the output you are spendi=
ng. Let&#39;s say this UTXO is &#39;utxo:0&#39;.=C2=A0</div><div><br></div>=
<div>In contrast, to spend teleported tokens, you would still spend utxo:0,=
 but you would only have to present a proof=C2=A0that _some txout_ on-chain=
 have committed=C2=A0tokens to utxo:0.=C2=A0</div><div><br></div><div>As Ru=
ben points out, this makes it possible to send tokens to an already spent T=
XO, essentially burning the tokens.=C2=A0</div><div><br></div><div>However,=
 it opens up some exciting possibilities=C2=A0IMO. You can in essence use t=
his to &quot;re-fill&quot; UTXOs with tokens, which is very interesting for=
 LN channels:</div><div><br></div><div>- You could &quot;add&quot; tokens t=
o your already open channels. The only thing needed is for the channel part=
icipants to be presented the proof that tokens were sent to the funding out=
put, and they can update their commitment transaction to start spending the=
se tokens.</div><div>- You can &quot;top-up&quot; all your channels in a si=
ngle on-chain tx. Since a single output can commit tokens to several UTXOs,=
 you could with a single on-chain transaction add tokens to many channels w=
ithout opening and closing them.</div><div><br></div><div>RGB also has the =
ability to &quot;blind&quot; the UTXO that tokens get teleported to, hiding=
 the recipient UTXO. This is cool, since I could withdraw tokens from an ex=
change directly into my LN channel, without revealing my channel UTXO.<br><=
/div><div><br></div><div>I found the explanation of the teleport feature in=
 this blog post pretty good:=C2=A0<a href=3D"https://medium.com/@FedericoTe=
nga/understanding-rgb-protocol-7dc7819d3059">https://medium.com/@FedericoTe=
nga/understanding-rgb-protocol-7dc7819d3059</a></div><div><br></div><div>- =
Johan</div></div><br><div class=3D"gmail_quote" style=3D""><div dir=3D"ltr"=
 class=3D"gmail_attr">On Sun, Apr 10, 2022 at 6:52 PM Ruben Somsen &lt;<a h=
ref=3D"mailto:rsomsen@gmail.com">rsomsen@gmail.com</a>&gt; wrote:<br></div>=
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr">Hi Laolu=
,<div><br></div><div>&gt;<span style=3D"color:rgb(80,0,80)">happy to hear t=
hat someone was actually able to extract enough details from=C2=A0</span><s=
pan style=3D"color:rgb(80,0,80)">the RGB devs/docs to be able to analyze it=
 properly</span></div><div><span style=3D"color:rgb(80,0,80)"><br></span></=
div><div><font color=3D"#500050">Actually, even though I eventually puzzled=
 everything together, this did not go well for me either. There is a ton of=
 documentation, but it&#39;s a maze of unhelpful details, and none of it cl=
early maps out the fundamental design. I was also disappointed by the poor =
response I received when asking questions, and I ended up getting chastised=
 for helping others understand it and pointing out potential flaws[1][2][3]=
.Given my experience, I think the project is not in great shape, so the=C2=
=A0decision to rebuild from scratch seems right to me.</font></div><div><fo=
nt color=3D"#500050"><br></font></div><div><font color=3D"#500050">That sai=
d, in my opinion the above should not factor into the decision of whether R=
GB should be credited in the Taro documentation. The design clearly precede=
s (and seems to have inspired) Taro, so in my opinion this should be acknow=
ledged. Also, the people that are responsible for the current shape of RGB =
aren&#39;t the people who originated the idea, so it would not be fair to t=
he originators either=C2=A0</font><span style=3D"color:rgb(80,0,80)">(Peter=
 Todd,=C2=A0</span>Alekos Filini,<span style=3D"color:rgb(80,0,80)">=C2=A0G=
iacomo Zucco)</span><span style=3D"color:rgb(80,0,80)">.</span></div><div><=
font color=3D"#500050"><br></font></div><div><font color=3D"#500050">&gt;</=
font><span style=3D"color:rgb(80,0,80)">assets can=C2=A0</span><span style=
=3D"color:rgb(80,0,80)">be burnt if a user doesn&#39;t supply a valid witne=
ss</span></div><div><font color=3D"#500050"><br></font></div><div><font col=
or=3D"#500050">I am in agreement with what you said, but it is not clear to=
 me whether we are on the same page. What I tried to say was that it does n=
ot make sense to build scripting support into Taro, because you can&#39;t a=
ctually do anything interesting with it due to this limitation. The only ty=
pe of smart contract you can build is one where you limit what the owner (a=
s defined by Bitcoin&#39;s script) can do with their own Taro tokens, or el=
se he will burn them =E2=80=93 not very useful. Anything involving a condit=
ional transfer of ownership to either A or B (i.e. any meaningful type of s=
cript) won&#39;t work. Do you see what I mean, or should I elaborate furthe=
r?</font></div><div><font color=3D"#500050"><br></font></div><div><font col=
or=3D"#500050">&gt;</font><span style=3D"color:rgb(80,0,80)">TAPLEAF_UPDATE=
_VERIFY can actually be used to further=C2=A0</span><span style=3D"color:rg=
b(80,0,80)">_bind_=C2=A0</span><span style=3D"color:rgb(80,0,80)">Taro</spa=
n><span style=3D"color:rgb(80,0,80)">=C2=A0transitions at the Bitcoin level=
, without Bitcoin explicitly=C2=A0</span><span style=3D"color:rgb(80,0,80)"=
>needing to be aware</span></div><div><span style=3D"color:rgb(80,0,80)"><b=
r></span></div><div><span style=3D"color:rgb(80,0,80)">That is conceptually=
 quite interesting. So theoretically you could get Bitcoin covenants to enf=
orce certain spending conditions on Taro assets. Not sure how practical tha=
t ends up being, but intriguing to consider.</span></div><div><span style=
=3D"color:rgb(80,0,80)"><br></span></div><div>&gt;asset issuer to do a &quo=
t;re-genesis&quot;<span style=3D"color:rgb(80,0,80)"><br></span></div><div>=
<br></div><div>Yes, RGB suggested the same thing, and this can work under s=
ome circumstances, but note that this won&#39;t help for tokens that aim to=
 have a publicly audited supply, as the proof that a token was legitimately=
 re-issued is the history of the previous token (so you&#39;d actually be m=
aking things worse, as now everyone has to verify it). And of course the=C2=
=A0idea also requires the issuer to be active, which may not always be the =
case.</div><div><br></div><div>&gt;I&#39;m not familiar with how the RGB &q=
uot;teleport&quot; technique works [...] Can you point me to a coherent exp=
lanation of the technique<br></div><div><br></div><div>To my knowledge no g=
ood explanation exists. &quot;Teleporting&quot; is just what I thought was =
a good way of describing it. Basically, in your design when Alice wants to =
send a Taro token to Bob, Alice has to spend her own output, make a new out=
put for Bob, and make a change output for herself. Inside the Taro tree you=
&#39;ll then point to the index of Bob&#39;s output in order to assign the =
tokens to his new output. Instead of pointing to the index, you could point=
 to the outpoint (txid, index) of an existing UTXO owned by Bob, thus &quot=
;teleporting&quot; the Taro tokens to this UTXO. This saves on-chain space,=
 as now you don&#39;t have to create a new output for Bob (but now you have=
 to ensure Bob doesn&#39;t spend from this output while you&#39;re simultan=
eously sending tokens to it, as I mentioned in my previous post, as this wo=
uld destroy the tokens).</div><div><br></div><div>The above also reminds me=
 of another potential issue which you need to be aware of, if you&#39;re no=
t already. Similar to my comment about how the location of the Taro tree in=
side the taproot tree needs to be deterministic for the verifier, the outpu=
t in which you place the Taro tree also needs to be. If it&#39;s not, then =
you can commit to a different Taro tree in each output of the transaction, =
allowing you to secretly fork the history.</div><div><br></div><div>Hope th=
is helps.</div><div><br></div><div>Cheers,</div><div>Ruben</div><div><div><=
br></div><div>[1] <a href=3D"https://twitter.com/SomsenRuben/status/1397267=
261619064836" target=3D"_blank">https://twitter.com/SomsenRuben/status/1397=
267261619064836</a><font color=3D"#500050"><br></font></div><div>[2] <a hre=
f=3D"https://twitter.com/SomsenRuben/status/1397559406565462017" target=3D"=
_blank">https://twitter.com/SomsenRuben/status/1397559406565462017</a><br><=
/div><div>[3] <a href=3D"https://twitter.com/afilini/status/139748434123679=
7441" target=3D"_blank">https://twitter.com/afilini/status/1397484341236797=
441</a><br></div></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr=
" class=3D"gmail_attr">On Fri, Apr 8, 2022 at 7:48 PM Olaoluwa Osuntokun &l=
t;<a href=3D"mailto:laolu32@gmail.com" target=3D"_blank">laolu32@gmail.com<=
/a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0=
px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><=
div dir=3D"ltr">(this might be a double post as it ran into the size limit)=
<br><div><br></div><div>Hi Ruben, <br><br>Thanks! I don&#39;t really consid=
er things final until we have a good set of test<br>vectors in the final se=
t, after which we&#39;d start to transition the set of<br>documents beyond =
the draft state.<br><br>&gt; Seeing as there&#39;s a large amount of overla=
p with RGB, a protocol which I have<br>&gt; examined quite extensively, I b=
elieve some of the issues I uncovered in that<br>&gt; project also apply he=
re. <br><br>I&#39;m happy to hear that someone was actually able to extract=
 enough details from<br>the RGB devs/docs to be able to analyze it properly=
! In the past I tried to ask<br>their developers questions about how things=
 like transfers worked[1][2], but it<br>seemed either people didn&#39;t kno=
w, or they hadn&#39;t finished the core design<br>(large TBD sections) as t=
hey were working on adding other components to create<br>a &quot;new new In=
ternet&quot;.<br><br>&gt; Furthermore, the Taro script is not enforced by B=
itcoin, meaning those who<br>&gt; control the Bitcoin script can always cho=
ose to ignore the Taro script and<br>&gt; destroy the Taro assets as a resu=
lt.<br><br>This is correct, as a result in most contexts, an incentive exis=
ts for the<br>holder of an asset to observe the Taro validation rules as ot=
herwise, their<br>assets are burnt in the process from the PoV of asset ver=
ifiers. In the single<br>party case things are pretty straight forward, but=
 more care needs to be taken<br>in cases where one attempts to express part=
ial application and permits anyone<br>to spend a UTXO in question. <br><br>=
By strongly binding all assets to Bitcoin UTXOs, we resolve issues related =
to<br>double spending or duplicate assets, but needs to mind the fact that =
assets can<br>be burnt if a user doesn&#39;t supply a valid witness. There&=
#39;re likely ways to get<br>around this by lessening the binding to Bitcoi=
n UTXO&#39;s, but then the system<br>would need to be able to collect, reta=
in and order all the set of possible<br>spends, essentially requiring a par=
allel network. The core of the system as it<br>stands today is pretty simpl=
e (which was an explicit design goal to avoid<br>getting forever distracted=
 by the large design space), with a minimal<br>implementation being relativ=
ely compact given all the Bitcoin context/design<br>re-use.<br><br>Also one=
 cool trait of the way commitments are designed is that the Taro<br>commitm=
ent impact the final derived taproot output key. As a result, potential<br>=
Script extensions like TAPLEAF_UPDATE_VERIFY can actually be used to furthe=
r<br>_bind_ Taro transitions at the Bitcoin level, without Bitcoin explicit=
ly <br>needing to be aware of the Taro rules. In short, covenants can allow=
 Bitcoin<br>Script to bind Taro state transitions, without any of the logic=
 bleeding over,<br>as the covenant just checks for a certain output key, wh=
ich is a function of<br>the Taro commitment being present.<br><br>&gt; Ther=
e are two possible designs here: a.) The token history remains separate =E2=
=80=93<br>&gt; Dave receives Alice&#39;s 2 tokens, Bob&#39;s tokens are spl=
it and he receives 2 (or<br>&gt; 3 from Bob 1 from Alice). =C2=A0b.) The to=
ken history gets merged =E2=80=93 Dave receives<br>&gt; 4 tokens (linking t=
he new output with both Alice and Bob&#39;s history).<br><br>Mechanically, =
with respect to the way the change/UTXOs work in the system, both<br>are ex=
pressible: Dave can chose to merge them into a single UTXO (with the<br>app=
ropriate witnesses included for each of them), or Dave can keep them<br>dis=
tinct in the asset tree. You&#39;re correct in that asset issuers may opt t=
o<br>issue assets in denominations vs allowing them to be fully divisible.<=
br>Ultimately, the compatibility with the LN layer will be the primary way =
to keep<br>asset histories compressed, without relying on another trust mod=
el, or relying<br>on the incentive of an asset issuer to do a &quot;re-gene=
sis&quot; which would<br>effectively re-create assets in a supply-preservin=
g manner (burn N units, then<br>produce a new genesis outpoint for N units)=
. Alternatively, implementations can<br>also chose to utilize a checkpointi=
ng system similar to what some Bitcoin full<br>node clients do today.<br><b=
r>&gt; =C2=A0is that you end up with a linked transaction graph, just like =
in Bitcoin<br><br>This is correct, the protocol doesn&#39;t claim to achiev=
e better privacy<br>guarantees than the base chain. However inheriting this=
 transaction graph model<br>imo makes it easier for existing Bitcoin develo=
pers to interact with the<br>system, and all the data structures are very f=
amiliar tooling wise. However any<br>privacy enhancing protocol used for on=
-chain top-level Bitcoin UTXOs can also<br>be applied to Taro, so people ca=
n use things like coinswap and coinjoin, along<br>with LN to shed prior coi=
n lineages.<br><br>&gt; This implies the location of the Taro tree inside t=
he taproot tree is not<br>&gt; fixed. What needs to be prevented here is th=
at a taproot tree contains more<br>&gt; than one Taro tree, as that would e=
nable the owner of the commitment to show<br>&gt; different histories to di=
fferent people.<br><br>Great observation, I patched a similar issue much ea=
rlier in the design process<br>by strongly binding all signatures to a prev=
Out super-set (so the outpoint<br>along with the unique key apth down into =
the tree), which prevents duplicating<br>the asset across outputs, as signa=
ture verification would fail.<br><br>In terms of achieving this level of bi=
nding within the Taro tree itself, I can<br>think of three options:<br><br>=
=C2=A0 1. Require the Taro commitment to be in the first/last position with=
in the<br>=C2=A0 (fully sorted?) Tapscript tree, and also require its sibli=
ng to be the hash<br>=C2=A0 of some set string (all zeroes or w/e). We&#39;=
d require the sibling to the empty<br>=C2=A0 as the tapscript hashes are so=
rted before hashing so you sort of lose that<br>=C2=A0 final ordering infor=
mation.<br><br>=C2=A0 2. Include the position of the Taro commitment within=
 the tapscript tree<br>=C2=A0 within the sighash digest (basically the way =
the single input in the virtual<br>=C2=A0 transaction is created from the T=
LV structure).<br><br>=C2=A0 3. Include the position of the Taro commitment=
 within the tapscript tree as<br>=C2=A0 part of the message that&#39;s hash=
ed to derive asset IDs.<br><br>AFAICT, #1 resolves the issue entirely, #2 r=
enders transfers outside of the<br>canonical history invalid, and #2 minds =
hte asset ID to the initial position<br>meaning you can track a canonical l=
ineage from the very start.<br><br>&gt; Finally, let me conclude with two q=
uestions. Could you clarify the purpose of<br>&gt; the sparse merkle tree i=
n your design? <br><br>Sure, it does a few things:<br><br>=C2=A0 * Non-incl=
usion proofs so I can do things like prove to your I&#39;m no longer<br>=C2=
=A0 =C2=A0 committing to my 1-of-1 holographic beefzard card when we swap.<=
br><br>=C2=A0 * The key/tree structure means that the tree is history indep=
endent, meaning<br>=C2=A0 =C2=A0 that if you and I insert the same things i=
nto the tree in a different<br>=C2=A0 =C2=A0 order, we&#39;ll get the same =
root hash. This is useful for things like<br>=C2=A0 =C2=A0 tracking all the=
 issuance events for a given asset, or allowing two<br>=C2=A0 =C2=A0 entiti=
es to sync their knowledge/history of a single asset, or a set of<br>=C2=A0=
 =C2=A0 assets.<br><br>=C2=A0 * Each asset/script mapping to a unique locat=
ion within the tree means it&#39;s<br>=C2=A0 =C2=A0 easy to ensure uniquene=
ss of certain items/commitments (not possible to<br>=C2=A0 =C2=A0 commit to=
 the same asset ID twice in the tree as an example).<br><br>=C2=A0 * The me=
rkle-sum trait means I that validation is made simpler, as you just<br>=C2=
=A0 =C2=A0 check that the input+output commitment sum to the same value, an=
d I can<br>=C2=A0 =C2=A0 also verify that if we&#39;re swapping, then you a=
ren&#39;t committing to more<br>=C2=A0 =C2=A0 units that exist (so I make s=
ure I don&#39;t get an invalid split).<br><br>&gt; And the second question =
=E2=80=93 when transferring Taro token ownership from one<br>&gt; Bitcoin U=
TXO to another, do you generate a new UTXO for the recipient or do<br>&gt; =
you support the ability to &quot;teleport&quot; the tokens to an existing U=
TXO like how<br>&gt; RGB does it? If the latter, have you given considerati=
on to timing issues<br>&gt; that might occur when someone sends tokens to a=
n existing UTXO that<br>&gt; simultaneously happens to get spent by the own=
er?<br><br>So for interactive transfers, the UTXOs generated as just the on=
es part of the<br>MIMO transaction. When sending via the address format, a =
new non-dust output is<br>created which holds the new commitment, and uses =
an internal key provided by<br>the receiver, so only they can move the UTXO=
. Admittedly, I&#39;m not familiar with<br>how the RGB &quot;teleport&quot;=
 technique works, I checked out some slide=C2=A0decks a while<br>back, but =
they were mostly about all the new components they were creating and<br>the=
ir milestone of 1 million lines of code. Can you point me to a coherent<br>=
explanation of the technique? I&#39;d love to compare/contrast so we can an=
alyze<br>the diff tradeoffs being made here.<br><br>Thanks for an initial r=
ound of feedback/analysis, I&#39;ll be updating the draft<br>over the next =
few days to better spell things out and particularly that<br>commitment/sig=
hash uniqueness trait.<br><br>-- Laolu<br><br>[1]: <a href=3D"https://twitt=
er.com/roasbeef/status/1330654936074371073?s=3D20&amp;t=3DfeV0kWAjJ6MTQlFm0=
6tSxA" target=3D"_blank">https://twitter.com/roasbeef/status/13306549360743=
71073?s=3D20&amp;t=3DfeV0kWAjJ6MTQlFm06tSxA</a><br>[2]: <a href=3D"https://=
twitter.com/roasbeef/status/1330692571736117249?s=3D20&amp;t=3DfeV0kWAjJ6MT=
QlFm06tSxA" target=3D"_blank">https://twitter.com/roasbeef/status/133069257=
1736117249?s=3D20&amp;t=3DfeV0kWAjJ6MTQlFm06tSxA</a><br></div></div>
</blockquote></div>
_______________________________________________<br>
Lightning-dev mailing list<br>
<a href=3D"mailto:Lightning-dev@lists.linuxfoundation.org" target=3D"_blank=
">Lightning-dev@lists.linuxfoundation.org</a><br>
<a href=3D"https://lists.linuxfoundation.org/mailman/listinfo/lightning-dev=
" rel=3D"noreferrer" target=3D"_blank">https://lists.linuxfoundation.org/ma=
ilman/listinfo/lightning-dev</a><br>
</blockquote></div></div>

--00000000000096da1c05ec8d8cfa--