Hide Idle (>14 d.) Chans


← 2022-01-23 | 2022-01-25 →
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2022-01-23#1075817 << in the absence of an immediate message or prod from that speaker (if he is in-wot) , that is.
dulapbot: Logged on 2022-01-23 23:55:51 asciilifeform: thimbronion, jonsykkel , et al : had possibly interesting idea for auto-resolution of forks. record the first l1 peer via whom you received a hearsay bearing that speaker. the chain of the fork received via that peer is to be considered genuine.
asciilifeform: ( a message directly from a peer already resolves any forks afflicting that peer)
dulapbot: Logged on 2022-01-21 18:00:55 asciilifeform: thimbronion: a msg from a direct peer is prima facie authentic
asciilifeform: on contemplation, not clear that forks can even occur at your station if all of your peers apply this rule.
asciilifeform: could dispense, then, with the fugly 'fork alarm' thing entirely.
asciilifeform: (and if one of yer peers ~isn't~ applying it, will be immediately clear ~who~)
asciilifeform: this might be the sought-after finalsolution, unless asciilifeform is missing sumthing.
jonsykkel: im not clear on wat a fork is exactly, prev understanding was that fork = 2+ msgs exists with same selfchain value (chain has fork shape to it), and can occur for peers as well as non peers
jonsykkel: reading draft now, understanding is that fork has occured if recv msg that overlaps with previously recorded chain in time dimension (or msg that predates genesis, presumably), and is strictly relevant for non peers
jonsykkel: http://logs.nosuchlabs.com/log/asciilifeform/2022-01-23#1075817 << say u have following net: http://zzz.st/up/vFniopMQ/20220124_081722.png where square=pestron, color=handle, line=peering. noone has ever sent any msg, then blue(a) broadcasts a msg. yellow guy records msg and relays to red and green. red records msg. green rejects msg cuz in-wot hearsay (draft 4.3.1 step8). now blue(b) broadcasts
dulapbot: Logged on 2022-01-23 23:55:51 asciilifeform: thimbronion, jonsykkel , et al : had possibly interesting idea for auto-resolution of forks. record the first l1 peer via whom you received a hearsay bearing that speaker. the chain of the fork received via that peer is to be considered genuine.
jonsykkel: msg, green records and relays to red and yellow. red autoresolves cuz considers blue(a) the genuine blue chain. yellow rejects cuz in-wot hearsay. is this correct understanding? wat happens next, how does anyone know theres a collision?
asciilifeform: jonsykkel: asciilifeform reverted the 4.3.1 step8 thing before went to bed
asciilifeform: green & yellow will not reject apriori
asciilifeform: they'll have seen blue(a).
asciilifeform: jonsykkel: 1 possible issue (in light of the current buffer logic) is if blue(a) and blue(b) fire within 'Te' interval.
asciilifeform: if they do not, and, say, blue(a) fires, all three (yellow, red, green) will store 'yellow' as designated relayer for 'troo' 'a', and worx
asciilifeform: ditto if blue(b) fires 1st, then store 'green'
shinohai: $ticker btc usd
busybot: Current BTC price in USD: $34105.7
shinohai: $uptime
busybot: The bot has been up for: 52 days 29 minutes and 40 seconds
asciilifeform: 34$ when!
thimbronion: asciilifeform: let's say the peer via which first hearsay message from alice goes offline. Now we receive a message from alice that breaks the chain. Alice is permaforked?
asciilifeform: forked until $peer returns and relays the original's; or until resolved by %resolve (which loox like you'd still need, ugh)
asciilifeform quite convinced that there's a clean solution to all of this, simply asciilifeform somehow missing it, not looked in correct direction evidently
PeterL: would you only be able to "getdata" from peers, or can you ask for intervening messages from L2?
asciilifeform: only peers
asciilifeform: getdata aint relayed.
asciilifeform: (it's potentially expensive)
PeterL: although, if you are seeing messages from L2 then they must be connected to one of your peers, presumably they would have the intervening messages?
asciilifeform: not necessarily
asciilifeform: for instance, they would not have seen messages preceding their peering
asciilifeform: (unless successfully getdata'd upstream for'em)
PeterL: so not guranteed
asciilifeform: aha. in general getdata aint guaranteed to succeed.
asciilifeform: (tho often enuff you'll have entire msg history of the pestnet from genesis. but not guaranteed.)
asciilifeform: orthogonally, asciilifeform still considering variant of this, but corrected -- the idea is, one ought not to process an in-wot hearsay if the speaker corresponds to a 'warm' peer. (you'll either defo get the immed. copy, eventually, or oughta prod him then getdata for it until you do)
dulapbot: Logged on 2022-01-24 09:06:12 asciilifeform: jonsykkel: asciilifeform reverted the 4.3.1 step8 thing before went to bed
asciilifeform: given addr cast, there oughta be no such thing as a 'broken peering' while peer's station is standing
asciilifeform: (if it aint standing, anyffin you see w/ that speaker is ipso facto bogus)
asciilifeform: i.e. not clear that you'd want to process in-wot hearsay at all.
PeterL: the other messy time is if A and B each have a different peer named C, how do things get handled if A and B peer?
asciilifeform: well, ideal would be if somehow distinguishable.
asciilifeform: w/ the current logic, doubt that A and B would stay peered for long, unless one of'em is willing to give his C the boot.
asciilifeform: let's turn the problem 'inside out' and give ~desired ultimate condition~ (in the same way the 'martian bank' describes the desired condition of bitcoin net) .
dulapbot: (trilema) 2016-10-20 asciilifeform: ('martian bank' being simply a naive abstraction of 'idealizes swiss bank', where money supply is constant, and i can send from account a1 can send to a2 if and only if i have the privkey for a1, and double-spend - impossible, etc.)
asciilifeform: what asciilifeform wants is to emulate the 1 desirable aspect of a traditional centralized 'fleanode' : that the 1st user of a handle on a given pestnet can be distinguished from subsequently appearing users.
asciilifeform: this is likely impossible in the general case.
asciilifeform: q is -- to what extent can one in fact square this circle.
asciilifeform: ... suppose, for instance, that the msg having ~lower min bounce~ is considered (in absence of immediate msgs from $speaker) to represent the troo branch of a fork.
thimbronion: asciilifeform: could the original handle user broadcast a pubkey which could be used to answer challenges if an imposter shows up later? Or is this what we already have with resolve, sorta?
asciilifeform: thimbronion: no pubkeys in pest.
asciilifeform: you can of course talk to people 'out of band' and send gpggrams, etc
asciilifeform: but this doesn't help a pest station distinguish fork ends for marking.
asciilifeform: gotta have a means for actually suffixing e.g. bozo-1, bozo-2, when receiving l2+ hearsays.
asciilifeform: thimbronion: recall the orig. reason why pest is using symmetric crypto, btw
asciilifeform: ( we aint got the req'd holy grail. )
dulapbot: Logged on 2021-07-03 13:14:52 asciilifeform: gold standard would obv. be rsa signatures. but these aint practical at line-rate on pc sadly.
asciilifeform: ~anyffin~ that can be thrown at a station gotta be processable (incl. ~all~ K(S) attempts over whole, wot, ~and~ dedup.) in the avail. interval per packet to maintain line rate.
dulapbot: Logged on 2021-09-23 15:21:07 asciilifeform: i expect you'd have at least 8cores on reasonable box, which gives you ~105840 ticks to process a packet, imho entirely doable.
thimbronion: why would challenges occur at line rate?
asciilifeform: not 'would', but ~could~
asciilifeform: anything that ~can~, must be considered to ~will~
thimbronion: challenge sould be symmetrically encrypted and manually initiated. Response would be manual.
thimbronion: *would
asciilifeform: on top of which, asciilifeform ~likes~ that there aint long-term keys in pest. pubkey crypto oughta be manually operated, i.e. consciously triggered at appropriate occasions, rather than sumthing a rando can cause you to do when he pleases
dulapbot: Logged on 2022-01-18 16:20:27 asciilifeform: but 'erry ln you type to a stranger in a chat' aint 1 of'em
asciilifeform: and there's no place to bolt on a 'manual' challenge, cuz again, no way to 'attach' pest msgs to a longterm key w/out forcing its use in sealing ~erry~ msg.
asciilifeform: the fundamental unsolved problem atm is in fact ~distinguishing~ multiple l2+ stations speaking w/ same handle.
asciilifeform: thimbronion: does this make sense to you ? pgpgrams to/from randos who are 'sharing party line' are completely meaningless.
thimbronion: right - no way to block the l2 peer that didn't respond to the challenge - only the l1 peer that is the conduit
asciilifeform: they aint distinguishable !
thimbronion: l1 peers distinguishable, l2 peers indistinguishable
asciilifeform: that's the boojum
asciilifeform: atm the only things which are distinguishable are 1) msgs from l1 peers 2) arbitrary msgs w/ distinct speakers 3) ~relayers~ of msgs from l2+ peers 4) chains.
asciilifeform: err, 3) ~relayers of msgs from l2+ speakers
asciilifeform thinks he's finally cleaned up all the gaffes in spec where referred to a l2+ station as a 'peer'
asciilifeform may've missed 1 or 2 tho
thimbronion: So the only person who could identify a counterfeit station would be the original station - because, hey - that wasn't me!
asciilifeform: correct, that's the only operator who immediately knows (supposing he's 'warm'. if he's 'cold', i.e. he's out mountain climbing and/or his station is down, then not him, either)
asciilifeform: and (as PeterL pointed out upstack ) not all collisions feature an obvious 'genuine' and 'impostor' station from the pov of all stations on the pestnet
dulapbot: Logged on 2022-01-24 11:41:33 PeterL: the other messy time is if A and B each have a different peer named C, how do things get handled if A and B peer?
asciilifeform: thimbronion, PeterL , et al : see the 1st thrd re subj also.
dulapbot: Logged on 2021-09-13 15:04:51 asciilifeform: punkman: the stick gotta be both long and short. hot and cold.
asciilifeform: ( featuring certain of asciilifeform's prev. attempts at solutions )
asciilifeform: ( e.g. this one. which imho nogood. )
dulapbot: Logged on 2021-09-13 15:10:22 asciilifeform: either that, or -- from asciilifeform's chalkboard -- erry message includes 2 additional 256bit fields . one is H256(R) where R is a rng turd. the other is the R from previous.
dulapbot: Logged on 2021-09-13 15:10:44 asciilifeform: a message not carrying correct R is immediately known to be fraudulent.
dulapbot: Logged on 2021-09-13 15:11:37 asciilifeform: this scheme is however vulnerable to mitm, anyone who is able to read a message's successor can generate a variant message, because knows the requisite R.
asciilifeform: ^ in which thread, asciilifeform came up w/ interning hearsays and counting the relaying peers, to allow ~some~ distinguishing mark.
asciilifeform: it's a half-solution, that one could perhaps live with, but imho still sux.
thimbronion needs moar modafinil
asciilifeform: thimbronion: the 1 from that shop you linked last yr was a++ delish, btw.
thimbronion: asciilifeform: indeed no duds
asciilifeform: they had an interesting spampaypal scheme for fiatola intake btw (chances are that thimbronion not seen it). they send you to some shithole and 'buy tshirts'
asciilifeform was surprised that it wasn't a straight blackhole
thimbronion: lol no didn't see it
asciilifeform: prolly not long lived
asciilifeform has been bashing head against the 'fork' thing since july, not come up w/ anyffing palatable
asciilifeform: ... thinking about it, this might not be a problem given that just about erryone will see the original 1st.
dulapbot: Logged on 2021-09-13 15:11:37 asciilifeform: this scheme is however vulnerable to mitm, anyone who is able to read a message's successor can generate a variant message, because knows the requisite R.
asciilifeform: so, for the sake of argument: suppose that (at the expense of payload) a message gets 2 new h256 fields : call'em Q and R ;
asciilifeform: Q is H(message, incl. A; and a 32-byte turd, S, not included in the msg.)
asciilifeform: A -- is the S from that station's prev. message .
asciilifeform: err, Q and A.
asciilifeform: let's repost:
asciilifeform: so, for the sake of argument: suppose that (at the expense of payload) a message gets 2 new h256 fields : call'em Q and A ;
asciilifeform: Q is H(message, incl. A; and a 32-byte turd, S, not included in the msg.)
asciilifeform: A -- is the S from that station's prev. message .
whaack: howdy
asciilifeform: wb whaack
whaack: ty
whaack: !e view-height
trbexplorer: block_height: 720224
trbexplorer: mins_since_last_block: 9
whaack: !e view-block 720224
whaack: !e view-tx 720224 1234
whaack: random tx lotto hit a segwit :(
asciilifeform can't tell whether ^ represents working eater or no
asciilifeform: ... to wrap up upstack: if H(M_prev + A_current) != Q_prev : you have a bogon.
asciilifeform: if one could fit e.g. a lamport sig in there, there'd be no headache.
asciilifeform: but can't.
asciilifeform: i.e. somebody who knows A_current can forge a bogus M_prev.
asciilifeform: the $64 question is whether this is actually a problem , given that the genuine M_prev reaches errybody 1st.
asciilifeform: the latter aint guaranteed tho, esp. if >1 msg sent in reasonably quick succession. dr.evil takes A_current and forges M_prev, and sends it out (with a doctored timestamp, for good measure), this may reach some stations on the pestnet before the genuine m_prev.
asciilifeform: so this scheme's a dead end, unless somebody can think of a mechanism whereby knowledge of A_current aint sufficient to forge M_prev, but somehow whole orchestra -- existing packet fields, along w/ the Q and A -- fits in 508 bytes.
dulapbot: Logged on 2021-09-19 16:28:22 asciilifeform: but only <=508byte guaranteed not to frag.
PeterL: solution: don't let dr. evil be your only peer into the pestnet?
asciilifeform: PeterL: he aint your peer. he's sitting somewhere in your l2+.
asciilifeform: hears an l3 msg before you do, and forges it.
asciilifeform: an' nao yer back to indistinguishability .
asciilifeform: this was wai asciilifeform tossed out the orig. variant of the scheme. the extra packet mass does 0 good, yer back to where you started.
asciilifeform: ... could, of course, reveal the A's in a (dedicated broadcast type) msg ~after~ satisfied that erryone on net received yer msgs. but this brings you back to 'can't distinguish in real time'
asciilifeform looked again for 'canhaz lamport but weighing over9000x less?' but found still only ye olde winternitz's method, which still order of magnitude too obese (and slow) .
dulapbot: Logged on 2020-11-13 13:25:17 asciilifeform: meanwhile, in olds : in '19, erlehmann apparently wrote an implementation of Winternitz's OTS algo, in the style of his earlier remake of asciilifeform's Lamport OTS proggy.
vex: if i'm not mistaken, an interesting finding from this is that meth miners quietly snake 1inch trades. makes me wonder if it'd be possible to serve up a shit sandwich that gets tastier with every bite
dulapbot: Logged on 2022-01-16 05:47:14 mats: https://arxiv.org/pdf/2101.05511.pdf ethereum shenanigans
vex: I hope you're bolting that big `ol rack down asciilifeform. earthquakes happen. she'll be heavy fully loaded
vex: lol
vex: I read Mr taleb did decry bc on twitter re recent cheapser
vex: $ticker btc usd
busybot: Current BTC price in USD: $36133.72
vex: whaack, can we haz getdifficulty? might be nice for future archae if they only have da logs
whaack: !e view-block 31337
whaack: vex: see "target"
vex: aha
whaack: but i agree for archives it may be nice to have the results pasted to something more permanent
whaack: however it is data in the blockchain so arguably the most permanent storage around
whaack: arguably already saved to*
vex: ofc
vex: noone mines anymore anyway
whaack: well that's certainly not true
vex: ofc not
vex: just being dramatic
vex wonders the blockheight when pankakke laid on the tracks
vex: Imagine hitting that block, wait; lemme call alanis morriset!
vex: parisian drew shitty cards, the wetware went into a pain loop
mats: shut up already
vex: I really want to on your recommendation, but I've got questions
vex: 0H6re3PCP3E
dulapbot: Logged on 2022-01-24 20:33:51 vex: wonders the blockheight when pankakke laid on the tracks
dulapbot: Logged on 2021-01-14 18:18:32 asciilifeform: meanwhile, lol pankkake !
dulapbot: Logged on 2021-01-14 10:23:29 watchglass: 71.114.46.209:8333 : (pool-71-114-46-209.washdc.fios.verizon.net) Alive: (0.095s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=665876 (Operator: asciilifeform)
asciilifeform: you can push that search button as well as asciilifeform can , vex
asciilifeform: or i suppose if want moar precision, he supposedly performed pankkuku on dec. 9 of '20, so there'd be closer.
dulapbot: Logged on 2020-12-10 15:54:33 watchglass: 71.114.46.209:8333 : (pool-71-114-46-209.washdc.fios.verizon.net) Alive: (0.047s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=660804 (Operator: asciilifeform)
dulapbot: Logged on 2021-06-24 10:32:01 watchglass: 108.31.170.100:8333 : (pool-108-31-170-100.washdc.fios.verizon.net) Alive: (0.099s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=688688 (Operator: asciilifeform)
dulapbot: Logged on 2022-01-24 22:23:08 vex: 0H6re3PCP3E
vex: its a utube link
asciilifeform: ( cat knows how to shift? )
vex: cat only brings dead things
asciilifeform: speakin' of which, a good 80% of vex's youtubes dun even load in usa
vex: glhf
vex: current pet actualyy will rip up an mp style asian house gecko. dunno how it gets `em
asciilifeform: mouse w/ scales.
vex: ceilingcat.jpeg
asciilifeform: ceiling cat watches you waste kW/hrs, vex, lol
asciilifeform will bbl.
whaack: http://logs.nosuchlabs.com/log/asciilifeform/2022-01-24#1075987 << word. vex, you've been following along enough to know that *someone* is going to have to peer for you to be able for you to talk in pestnet, right? atm i'm not going to risk losing my peers who may care about their snr
dulapbot: Logged on 2022-01-24 22:03:15 mats: shut up already
whaack: although idk how i would even exchange keys with you i don't have your key and don't see one ieven in wot.deedbot.org
whaack: !e view-height
trbexplorer: block_height: 720273
trbexplorer: mins_since_last_block: 19
vex: over 10
whaack: you were right, no one is mining!
whaack: !e view-height
trbexplorer: block_height: 720275
trbexplorer: mins_since_last_block: 4
whaack: ah, nvm
vex: 0LqBw6FNNng always
vex: durable goods.
vex: 2AHvZWojSc heya ny
asciilifeform: !!key vex
deedbot: Not registered.
whaack: http://logs.nosuchlabs.com/log/trilema/2013-09-13#307908 over 8 years and still no key, holy fuck
dulapbot: (trilema) 2013-09-13 Vexual: anyone on channel?
whaack: vex confirmed spook
← 2022-01-23 | 2022-01-25 →