MIME-Version: 1.0
References: <CAJr8eKuFv7R-1HRft-hLFTSdpWUL2uOtkDtisL2+iPaEvvH_hA@mail.gmail.com>
 <c_8uFmqhKnoFYLB23sjYhJlKAXU5ZoCSQ2MsSgn_OePQoJKFOqIuzMjm7vhnCzevQkAwdJextCeNjA8D-f_p__-sUFSkOFMDI5_yS7k8ZM8=@protonmail.com>
 <CAJr8eKtV=W8wLkZZP9tagnL8F3jxOv8t-J9oBCFV6MrRPDmGiw@mail.gmail.com>
 <gNdtY-_W10fFe8vwyhQNUOCIWCtBj0G9LLUu5GQ7PYlRXejM1jwIX__TMYUhq6DDczOTQ3YYgVACOBSv6yIqx5nZ5vRbXkXPn-yjsOqi52w=@protonmail.com>
In-Reply-To: <gNdtY-_W10fFe8vwyhQNUOCIWCtBj0G9LLUu5GQ7PYlRXejM1jwIX__TMYUhq6DDczOTQ3YYgVACOBSv6yIqx5nZ5vRbXkXPn-yjsOqi52w=@protonmail.com>
From: Mostafa Sedaghat joo <mostafa.sedaghat@gmail.com>
Date: Tue, 9 Jun 2020 17:34:57 +0800
Message-ID: <CAJr8eKuFM0QoNNaG9Tao7aVzCoXLTH+cATxaMnropjdEVFDqOw@mail.gmail.com>
To: ZmnSCPxj <ZmnSCPxj@protonmail.com>
Content-Type: multipart/alternative; boundary="00000000000054c06105a7a372e1"
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Stamping transaction
Precedence: list

--00000000000054c06105a7a372e1
Content-Type: text/plain; charset="UTF-8"

Good day ZmnSCPxj

As I said before, I don't expect a hard fork for this change. I wanted to
share my thoughts with you guys. Anytime the bitcoin community decides to
make a hard-fork, you might consider this change as well.
I believe decoupling transactions from the block is beautiful.

 About transaction verification,
Transactions have their own way to survive. Owner of the coin can keep the
history of his transactions.
But there is no guarantee that ndes should keep all of them from the
genesis. It depends. Maybe some nodes want to keep  all the transactions,
some part of them and might nothing.
Also we can think about check pointing. When a new node connects to the
network, it doesn't need to validate all the blocks since genesis. It can
start validating from a checkpoint.

And also adding 32 bits to the header of translation (which won't be saved
inside the block) is not a big deal.


Adios,
Mostafa


On Sun, Jun 7, 2020 at 11:01 PM ZmnSCPxj <ZmnSCPxj@protonmail.com> wrote:

> Good morning Mostafa,
>
>
> > The main point of stamping transactions is decoupling transactions from
> the block.
> >
> > Blockchain size matters
> > SegWit is a good witness that shows blockchain size matters.
> Nowadays, Data storage is cheap and easy, but that doesn't mean it's a
> simple matter. If you need to have a data-center to keep a copy of a
> blockchain, then you are far from a decentralization system.
> >
> > A Solution
> > Stamping transaction is a simple idea to keep the size of the blockchain
> as small as possible. The question that I was looking to answer is how we
> can decouple the transaction from the blocks.
> > Who cares about the transaction that happened 10 years ago. In the real
> world you may go to your bank and ask them to give you transaction history.
> But they probably have limits. They might say we just only keep the last 3
> months in our system.
>
> Stamping transaction is not how you would be able to keep **blockchain**
> size low.
>
> The reason why very old history is retained is that, if a new node is
> brought up, you need to prove to that node that you are in fact the correct
> owner of the current coins.
> Thus the entire history of Bitcoin is needed when starting a new node, and
> why archive nodes exist.
>
> You might argue that banks do not do that, and that is because we want to
> do better than banks; we know that existing currency systems have not only
> the "official" minter, but also many "unofficial" minters (commonly called
> counterfeiters) which dilute the value of the currency.
> It is this insistence on a full accounting of the provenance for every
> satoshi that separates Bitcoin from previous currency systems; bank fraud
> exists, and it hides in such sloppy techniques as deleting old transaction
> records.
>
> Work has been done to have client-side validation (i.e. the owner of a
> coin keeps the entire history, and when paying, you hand over the entire
> history of your coin to the payee, instead of everyone validating every
> transaction).
> Look up Peter Todd for some initial work on this.
>
>
> > Implementation
> >
> > > First off, the proposed mechanism can be made into a softfork by using
> an unspendable `scriptPubKey` with 0 output value.
> > SoftFork is not possible here. Because the transaction will not be saved
> inside the block (only tx hashes). Block format needs to be changed.
> Therefore the block will be invalid.
>
> That greatly reduces the chances your proposal will get into Bitcoin; you
> would need to have very good advantages to counterbalance the tremendous
> risk that hardforks introduce in the continuity of the coin.
>
> Bitcoin has never gone through a hardfork that has not instead created a
> new cryptocurrency, so any solution that requires a hardfork is going to be
> unlikely to be accepted by everyone.
>
> > > Engineering-wise, block validation now needs to memorize the last N
> block hashes.
> > I don't think we need to memorize the last N block hashes.  We can have
> something like:
> > ```
> > Current_Height - Height_Of(tx.stamp) <= N
> > ```
>
> ...
>
>
> `Height_Of()` would basically be a mapping from block hashes to block
> heights, with the number of elements equal to the height of the blockchain,
> and thus continuously growing.
> Thus, validation is expected to become more expensive as the blockchain
> grows.
>
> Since stamped transactions have a time-to-live anyway, instead you can use
> a *set* of the most recent N block hashes.
> Then you simply check if the stamp is in the set.
> This creates a data structure that is constant in size (at each block, you
> remove the block from N blocks ago), which is good for validation.
>
> > Incentives
> > I think Stamping transactions have nothing to do with the
> incentivization mechanism.  Forgive me if I couldn't get your point.
>
> A stamped tranasction has a stamp, an unstamped transaction has no stamp.
> The stamped transaction is larger because of the stamp.
> Larger transactions are more expensive because fees.
>
> Thus, stamped transactions are more expensive than unstamped transactions.
>
> Convince me why I would make *my* transaction stamped when I can just
> convince *everyone else* to stamp *their* transactions and use unstamped
> transactions myself.
>
> If you propose that all transactions must be stamped in a new version of
> Bitcoin, then take note that users will prefer to run older versions and
> never upgrade to the new version that requires stamped transactions.
> Why should users prefer a more expensive transaction format?
> For the good of the network?
> That is precisely an incentives problem: if it is so good for the network,
> then it should be good for an individual user, because the network is made
> up of individual users anyway; if individual users are not incentivized to
> use it, then that fact suggests it might not be as good for the network as
> you might think.
>
> If you answer "the stamp can be discounted" then be aware that validating
> the stamp is still a cost on every node, and it is that cost that we want
> to be reflected in pricing every byte in the transaction.
> For instance, UTXOs are retained, potentially indefinitely, and the UTXO
> lookup structure has to be very fast and is referred to at every
> transaction validation, so outputs (which create new UTXO entries) in
> SegWit are 4x more expensive than signatures, since signatures are only
> validated once when the transaction is queued to be put in the mempool.
>
>
> > Mempool
> > It's bad of me that I don't really know how mempool works in Bitcoin. My
> assumption is that there are some junk transactions (transactions that are
> valid but have very low or zero fees) inside the mempool. Stamping
> transactions might help to get rid of them time to time.
>
> Why would you think that stamping reduces mempool size?
>
> If I wanted to I could just re-send the transaction with a fresh stamp.
> Then the mempool usage would still be the same, and bandwidth use will
> increase (because the same transaction is now re-broadcast with a fresh
> stamp, and the added size of the stamps themselves).
>
>
> Regards,
> ZmnSCPxj
>
>

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

<div dir=3D"ltr">Good day ZmnSCPxj<div><br></div><div>As I said before, I d=
on&#39;t expect a hard fork for=C2=A0this change. I wanted to share my thou=
ghts with you guys. Anytime the bitcoin community decides to make a hard-fo=
rk, you might consider this change as well.=C2=A0</div><div>I believe=C2=A0=
decoupling transactions from the block is beautiful.=C2=A0</div><div><br></=
div><div>=C2=A0About transaction verification,</div><div>Transactions have =
their own way to survive. Owner of the=C2=A0coin can keep the history of hi=
s transactions.</div><div>But there is no guarantee=C2=A0that ndes should k=
eep all of them from the genesis. It depends. Maybe some nodes want to keep=
=C2=A0 all the transactions, some part of them and might nothing.</div><div=
>Also we can think about check pointing. When a new node connects to the ne=
twork, it doesn&#39;t need to validate all the blocks since genesis. It can=
 start validating from a checkpoint.=C2=A0</div><div><br></div><div>And als=
o adding 32 bits to the header of translation=C2=A0(which won&#39;t be save=
d inside the block) is not a big deal.</div><div><br></div><div><br></div><=
div>Adios,</div><div>Mostafa=C2=A0<br></div><div><br></div><div><br></div><=
/div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">O=
n Sun, Jun 7, 2020 at 11:01 PM ZmnSCPxj &lt;<a href=3D"mailto:ZmnSCPxj@prot=
onmail.com" target=3D"_blank">ZmnSCPxj@protonmail.com</a>&gt; wrote:<br></d=
iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord=
er-left:1px solid rgb(204,204,204);padding-left:1ex">Good morning Mostafa,<=
br>
<br>
<br>
&gt; The main point of stamping transactions is decoupling transactions fro=
m the block.=C2=A0<br>
&gt;<br>
&gt; Blockchain size matters<br>
&gt; SegWit is a good witness that shows blockchain size matters. Nowadays,=
=C2=A0Data storage is cheap and easy, but that doesn&#39;t mean it&#39;s a =
simple matter. If you need to have a data-center to keep a copy of a blockc=
hain, then you are far from a decentralization system.=C2=A0<br>
&gt;<br>
&gt; A Solution<br>
&gt; Stamping=C2=A0transaction is a simple idea to keep the size of the blo=
ckchain as small as possible. The question that I was looking to answer is =
how we can decouple the transaction from the blocks.<br>
&gt; Who cares about the transaction that happened=C2=A010 years ago. In th=
e real world you may go to your bank and ask them to give you transaction=
=C2=A0history. But they probably have limits. They might say we just only k=
eep the last 3 months in our system.=C2=A0<br>
<br>
Stamping transaction is not how you would be able to keep **blockchain** si=
ze low.<br>
<br>
The reason why very old history is retained is that, if a new node is broug=
ht up, you need to prove to that node that you are in fact the correct owne=
r of the current coins.<br>
Thus the entire history of Bitcoin is needed when starting a new node, and =
why archive nodes exist.<br>
<br>
You might argue that banks do not do that, and that is because we want to d=
o better than banks; we know that existing currency systems have not only t=
he &quot;official&quot; minter, but also many &quot;unofficial&quot; minter=
s (commonly called counterfeiters) which dilute the value of the currency.<=
br>
It is this insistence on a full accounting of the provenance for every sato=
shi that separates Bitcoin from previous currency systems; bank fraud exist=
s, and it hides in such sloppy techniques as deleting old transaction recor=
ds.<br>
<br>
Work has been done to have client-side validation (i.e. the owner of a coin=
 keeps the entire history, and when paying, you hand over the entire histor=
y of your coin to the payee, instead of everyone validating every transacti=
on).<br>
Look up Peter Todd for some initial work on this.<br>
<br>
<br>
&gt; Implementation<br>
&gt;<br>
&gt; &gt; First off, the proposed mechanism can be made into a softfork by =
using an unspendable `scriptPubKey` with 0 output value.<br>
&gt; SoftFork is not possible here. Because the transaction will not be sav=
ed inside the block (only tx hashes). Block format needs to be changed. The=
refore the block will be invalid.<br>
<br>
That greatly reduces the chances your proposal will get into Bitcoin; you w=
ould need to have very good advantages to counterbalance the tremendous ris=
k that hardforks introduce in the continuity of the coin.<br>
<br>
Bitcoin has never gone through a hardfork that has not instead created a ne=
w cryptocurrency, so any solution that requires a hardfork is going to be u=
nlikely to be accepted by everyone.<br>
<br>
&gt; &gt;=C2=A0Engineering-wise, block validation now needs to memorize the=
 last N block hashes.<br>
&gt; I don&#39;t think we need to memorize the last N block hashes.=C2=A0 W=
e can have something like:<br>
&gt; ```<br>
&gt; Current_Height - Height_Of(tx.stamp) &lt;=3D N=C2=A0<br>
&gt; ```<br>
<br>
...<br>
<br>
<br>
`Height_Of()` would basically be a mapping from block hashes to block heigh=
ts, with the number of elements equal to the height of the blockchain, and =
thus continuously growing.<br>
Thus, validation is expected to become more expensive as the blockchain gro=
ws.<br>
<br>
Since stamped transactions have a time-to-live anyway, instead you can use =
a *set* of the most recent N block hashes.<br>
Then you simply check if the stamp is in the set.<br>
This creates a data structure that is constant in size (at each block, you =
remove the block from N blocks ago), which is good for validation.<br>
<br>
&gt; Incentives<br>
&gt; I think Stamping transactions have nothing to do with the incentivizat=
ion=C2=A0mechanism.=C2=A0 Forgive me if I couldn&#39;t get your point.<br>
<br>
A stamped tranasction has a stamp, an unstamped transaction has no stamp.<b=
r>
The stamped transaction is larger because of the stamp.<br>
Larger transactions are more expensive because fees.<br>
<br>
Thus, stamped transactions are more expensive than unstamped transactions.<=
br>
<br>
Convince me why I would make *my* transaction stamped when I can just convi=
nce *everyone else* to stamp *their* transactions and use unstamped transac=
tions myself.<br>
<br>
If you propose that all transactions must be stamped in a new version of Bi=
tcoin, then take note that users will prefer to run older versions and neve=
r upgrade to the new version that requires stamped transactions.<br>
Why should users prefer a more expensive transaction format?<br>
For the good of the network?<br>
That is precisely an incentives problem: if it is so good for the network, =
then it should be good for an individual user, because the network is made =
up of individual users anyway; if individual users are not incentivized to =
use it, then that fact suggests it might not be as good for the network as =
you might think.<br>
<br>
If you answer &quot;the stamp can be discounted&quot; then be aware that va=
lidating the stamp is still a cost on every node, and it is that cost that =
we want to be reflected in pricing every byte in the transaction.<br>
For instance, UTXOs are retained, potentially indefinitely, and the UTXO lo=
okup structure has to be very fast and is referred to at every transaction =
validation, so outputs (which create new UTXO entries) in SegWit are 4x mor=
e expensive than signatures, since signatures are only validated once when =
the transaction is queued to be put in the mempool.<br>
<br>
<br>
&gt; Mempool<br>
&gt; It&#39;s bad of me that I don&#39;t really know how mempool works in B=
itcoin. My assumption is that there are some junk transactions (transaction=
s that are valid but have very low or zero fees) inside the mempool. Stampi=
ng transactions might help to get rid of them time to time.=C2=A0<br>
<br>
Why would you think that stamping reduces mempool size?<br>
<br>
If I wanted to I could just re-send the transaction with a fresh stamp.<br>
Then the mempool usage would still be the same, and bandwidth use will incr=
ease (because the same transaction is now re-broadcast with a fresh stamp, =
and the added size of the stamps themselves).<br>
<br>
<br>
Regards,<br>
ZmnSCPxj<br>
<br>
</blockquote></div>

--00000000000054c06105a7a372e1--