asciilifeform: all of the various types of broken promises, would still be detectable, but 1) strictly to those whom they immediately affected and 2) unopposably.
asciilifeform: those who were issued H(H(....)) of the outputs of Q, will see whether what they got rolled corresponded to one of these, or was a sham; or that they were rolled a particular ticket, but it ended up carrying ~someone else's~ tx as cask fill.
asciilifeform: the miner's publication of W in the block will suffice then.
asciilifeform: it is not strictly necessary to transmit rsa-signed tickets (and then store the bulky stuff in casks for all time.) if you are content to have promise-keeping be ~measurable~ at each particular level of the pyramid, and to the children and parents of that level strictly, and that it not be opposable -- then you do not in fact need these signatures
asciilifeform: here we have another piece where i used a nail instead of a hinge.
asciilifeform: aaah yes. wasn't this the earlier thread, where we determined that we already have a 'proton decay' going, and that the usable lifespan of a blockchain is -- likely -- finite ?
asciilifeform: this'd be the 'deflation' thread again, neh. if it ever turns into a palpable problem -- add moar decimal places.
asciilifeform: unrecoverable dust is a fact of life, not only in bitcoin.
asciilifeform: now you ~could~ boil the thing in nitric acid, try to recover it. but most folx don't -- and sleep well at night
asciilifeform: btw i'd argue that the fixation on 'collecting the dust' is peculiar. everyone who has ever thrown away, e.g., old mobo, or whichever electronic rubbish, has discarded many milligram of Au and more or less whole mendeleev table of rarities.
asciilifeform: consider how we ended up with our wallets-with-dust in classical bitcoin.
asciilifeform: because you then need db, which will ~necessarily~ grow slower-to-lookup in geometric progression as tx table grows.
asciilifeform: the fixed-width-tx is a provable component of any long-term-sane trb-i. regardless of what other parts are included or excluded. without it, you get rapid rot.
asciilifeform: so these are both verifiable at the immediately preceding-the-leaf level.
asciilifeform: just like he knows if the sig is invalid.
asciilifeform: a tx, recall, is finalized (from egg to larva) ~upon receipt of rolled cask~, which means that the immediate parent immediately knows if the fee suffices.
asciilifeform: http://btcbase.org/log/2017-02-28#1619756 << the 'rotten fill' thing was simply a restatement of 'a tx is not a tx unless it is valid, and a block is not a valid block unless it consists wholly of valid tx.' cribbed straight from classical bitcoin. phrasing was, evidently, confusing.☝︎
asciilifeform: it is an inevitable occurrence at all levels of the pyramid, and is not fraudulent per se.
asciilifeform: not disavowed. probably ought to have described 'fib' more neutrally.
asciilifeform: the design specifies that the rate of promise-breaking is measurable. which is a prerequisite to any wotronic approach to incentivizing promise-keeping.
asciilifeform: (cask'd be sent down to a child for an interval, if it fails to float, gets reissued)
asciilifeform: http://btcbase.org/log/2017-02-28#1619755 << later realized that the protocol ought to permit returning an unfilled cask to the parent, so he can reissue it to another child. this would make for a less unforgivably-tightly-coupled system☝︎
asciilifeform: let's come back to this part; i'ma walk the list.
asciilifeform: whole thing is about 'marketize timely tx-gathering'.
asciilifeform: miner cannot reproduce the tx-maker, with his fee.
asciilifeform: there is nothing inherently virile about the miner.
asciilifeform: the algo put miners in the saddle. another algo can put them into the latrine where they belong.
asciilifeform: it is possible to flip his decision around, just the same.
asciilifeform: asciilifeform's aim was to consider gedankexperiment trb-i where this cock is turned around radially, at the miner. who, reaping most of the cake, ought to also absorb the cock.
asciilifeform: classical bitcoin is a massive cock, with the sharp end pointed at the node.
asciilifeform: and also oughta have expanded re the motivating factor. which, possibly, was apparent from the thread context, but ought to have been explicit:
asciilifeform: second, while sleeping asciilifeform did realize that he had nailed down a few parts that ought to have been hinged, and hinged some parts that oughta have been nailed.
asciilifeform: if it was even half as painful to read, as to write.
asciilifeform: sooo first of all, hats off to mircea_popescu for actually digesting this piece
