Show Idle (>14 d.) Chans


← 2022-07-12 | 2022-07-14 →
11:51 cgra asciilifeform: selfchain having the locking thing makes me think how much does it make sense if you still gotta trust the choke-point peer(s) between you and some semi-rando (l2). and how big biz is there with a semi-rando anyway
11:51 dulapbot Logged on 2022-01-26 18:48:29 asciilifeform: thimbronion: current notion, summarized: we bite off 64byte from payload, and get 2 new fields, call'em 'unlock' and 'lock'. lock == h256(errything else in msg, incl. 'unlock', and unrevealed 32byte turd 'S'.); unlock = 'S' from yer previous msg.
11:51 cgra otoh, the locking idea would make selfchains reliably distinguishable (assuming proper 'S-turd' entropy). instead, would somekinda chain claiming convention, where you send a standard message with a random string in it, similarly guarantee distinguishable selfchains?
11:55 asciilifeform cgra: re 1st q -- see thrd
11:55 dulapbot Logged on 2022-01-26 19:03:39 asciilifeform: (a) eats shit, as he's perma-distinguishable from the genuine article, except if he can cultivate a 'pet' sub-pestnet where he's the chokepoint b/w them & yours, and he's willing to impersonate $speaker erry day
11:56 asciilifeform cgra: re 2nd -- the focus, yes, is to ~detect~ handle collisions (accidental or otherwise) and distinguish the chains. not sure what you mean re 'standard message with random...' tho, plz elaborate
11:58 cgra asciilifeform: i mean, in (leaky) theory, two selfchains are usually distinguishable, even just because the subjects in q wrote different things over time. right?
11:58 asciilifeform cgra: correct.
11:59 cgra i'm suggesting the leaky part is plugged by everybody sending a msg nobody else wouldn't and couldn't
11:59 asciilifeform cgra: problem happens when (for whatever reason) the chain is a) broken b) forked
12:00 cgra does 'forked' mean specifically branched?
12:00 asciilifeform correct
12:03 cgra i was wondering whether there's any demand to automatically resolve either case
12:04 asciilifeform cgra: how wouldja resolve automatically ?
12:04 cgra asciilifeform: you pointed out the thread, i could try re-reading if you think there's an obvious explanation
12:05 cgra or maybe not automatically, but thought that since it's down to trust, wouldn't need anything else but simple mechanics
12:06 asciilifeform linked thrd gives algo where erry msg carries h(s), s being a random seekrit, and subsequent message by same author reveals s. this aint watertight (it is possible to retro-forge) but afaik closest thing there's gonna be to a pill.
12:06 cgra asciilifeform: i grasped the algo, not necessarily all implications though
12:07 asciilifeform if cgra or anyone else can think of a cleaner solution (that does not require rsa) asciilifeform is all ears.
12:07 cgra the choke-point may still plant his own chain extending msg in place of the original sender
12:07 asciilifeform aha
12:07 asciilifeform as described in thrd
12:07 cgra because received the just-revealed S-turd before others
12:07 asciilifeform aha
12:07 cgra so, it's still down to trusting the choke-point, as with without the locking mechanism
12:07 asciilifeform he has to a) be certain that he's a chokepoint b) keep it up indefinitely, however, or the ruse falls
12:08 asciilifeform the handling of handle collisions is the part of pest spec asciilifeform is least happy with atm. currently no one gives half a shit because no one has much in the way of an l2 (not even to speak of l3+)
12:09 asciilifeform but if at some pt there is a pestnet of any serious size, becomes serious headache, and thus far asciilifeform not come up with anyffin but above dirty kludge even in principle to address it.
12:11 cgra can you imagine a case for l3?
12:11 asciilifeform easily
12:13 asciilifeform say, anuther pestnet merges with the current one via peering one or two stations. and then same again.
12:13 asciilifeform for that matter, there is already an l2, largely consisting of various people's bots
12:14 asciilifeform (doubtful that erryone can be arsed to l1 peer with erry bot, nor is there much point in doing so)
12:14 cgra right, that's a clear l2 case
12:15 asciilifeform and so a human joins the pestnet via, for starters, one peering. nao e.g. asciilifeform's bot is in his l3.
12:15 cgra (bot l2 case hardly warrants locking mechanism though)
12:16 asciilifeform summary of what asciilifeform wants. and yes, aware that 'squaring the circle'.
12:16 dulapbot Logged on 2022-01-24 11:51:33 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.
12:21 asciilifeform cgra: would like to solve ~general case~ of 'all speakers on pestnet distinguishable at all times' somehow.
12:21 asciilifeform presently only l1 speakers are guaranteed to be distinguishable (from their l1 peer's pov) as immediate msg is prima facie authentic and wot may not contain two entries with colliding handles.
12:24 cgra asciilifeform: and temporary two bobs are ok if there's at least some distinguishing factor, like the intact selfchain down to the day 1?
12:24 asciilifeform correct
12:25 asciilifeform and, ideally, the 'bob' you've been dealing with longer will be 'bob' while the 'new' one will be 'bob_n' until you mark him otherwise
12:25 asciilifeform ( selfchain dun necessarily solve this , alone, as on merge of pestnets may well find that 'their' bob is 'older' )
12:26 cgra asciilifeform: but now that the circle is larger, don't the both bobs need commonly agreed names?
12:26 asciilifeform ideally
12:26 asciilifeform is 1 of the reasons behind 'aka' cmd
12:28 cgra asciilifeform: i suppose a gui pestron feature that reads text 'bob' on screen, but links to a distinct selfchain, worked until agreed upon, new name(s)
12:29 cgra (and the hash icon feature you said earlier)
12:29 asciilifeform aha
12:29 asciilifeform protocol oughn't rely on such a thing to be 100% usable tho (esp given as it dun exist and no one knows when or whether it will)
12:30 asciilifeform gui is likely much harder problem than the rest of pestron entirely
12:30 dulapbot Logged on 2022-01-18 13:31:33 asciilifeform: it's sad but troo, well-behaved guism on existing os is in fact over9000x harder than e.g. writing a kernel and compiler.
12:30 cgra yeah, trying to take one step at a time. first step being not constraining to irc specifics
12:31 asciilifeform right
12:36 cgra what i mean by questioning the locking mechanism, that is there a break/fork case that wouldn't resolve just by ~asking out?
12:36 asciilifeform asking?
12:37 cgra i mean, by asking the participants what's going on
12:39 cgra i suppose i could use a good example, maybe i have no imagination
12:39 cgra good maybe being realistic
~ 1 hours 17 minutes ~
13:57 asciilifeform cgra: 'hey bob and bob, which 1 of you is bob?' 'me' 'me'
~ 16 minutes ~
14:14 cgra asciilifeform: aren't you asking who's bob while they got their own barcode (selfchain) in their back of the head, and could check there instead?
14:17 cgra or, i'm not sure what the bob q was meant to highlight exactly. an irc specific issue?
14:23 cgra http://logs.nosuchlabs.com/log/asciilifeform/2022-07-13#1111437 << do you mean here that one solution would be that whoever talked in pest (whichever net) first deserves the handle? and could check from genesis message timestamp. or do you mean that "my bob must stay bob"?
14:23 dulapbot Logged on 2022-07-13 12:25:42 asciilifeform: ( selfchain dun necessarily solve this , alone, as on merge of pestnets may well find that 'their' bob is 'older' )
14:25 asciilifeform cgra: the latter
14:25 asciilifeform this requires a local notion of 'first'
14:27 cgra is the 'squaring the circle' part here that there's two conflicting (given two pestnets joining) povs, both requiring "my bob must stay bob."?
14:28 asciilifeform cgra: nah, more generally, as e.g. punkman noted, asciilifeform is trying to get the effect of a pubkey system w/out actually using pubkey crypto
14:28 dulapbot Logged on 2021-09-13 15:04:34 punkman: it seems to me that any solution that is not "find way to live with hearsay", will amount to pubkeycryptosystem
14:28 asciilifeform ... or whatever subset of it can be achieved practically
14:28 cgra ah ok
14:29 asciilifeform i.e. somehow make all speakers on a pestnet, past or present, distinguishable from any given station's pov
14:29 asciilifeform including folx attempting to play tricks with the protocol
14:29 cgra asciilifeform: checking that we'
14:30 asciilifeform hm?
14:31 cgra asciilifeform, checking that we're on the same page: i'm trying to understand whether those tricksters are an actual issue. cuz selfchains, assuming ~smooth operation re forks/breaks, seem to give clear identity for every bob
14:32 cgra sorry, mis-enter earlier
14:32 asciilifeform cgra: right, every bob except for deliberate impersonators
~ 3 hours 6 minutes ~
17:39 asciilifeform wb gregorynyssa !
17:39 asciilifeform !q seen gregorynyssa
17:39 dulapbot gregorynyssa last seen here on 2021-07-01 16:44:31: /quit
17:39 asciilifeform !q seen gregory4
17:39 dulapbot gregory4 last seen here on 2021-09-08 18:46:05: asciilifeform: what is your view of asymmetric multi-processing? did Linux make the right decision by devoting itself to symmetric?
~ 5 hours 23 minutes ~
23:03 vex why exactly is pubkey crypto off the table?
23:04 asciilifeform vex: see e.g. here
23:04 dulapbot Logged on 2022-01-24 11:58:52 asciilifeform: thimbronion: recall the orig. reason why pest is using symmetric crypto, btw
23:05 asciilifeform and elsewhere.
23:05 dulapbot Logged on 2021-09-19 16:48:19 asciilifeform: ( meanwhile, since perhaps it aint obvious, asciilifeform will explicitly remind readers : pest is arguably an atrocity, in that the Final Solution to the problem it intends to solve, is constant-time-rsa-at-line-rate. and nothing else. but this'd cost 1e9$+ to produce the required iron, and then somehow to get it to erryone who wants to play! so asciilifeform posed the question -- what subset of the desir
23:06 vex spoofer only needs detected once
23:06 asciilifeform vex: rsa does 0 unless erry single packet signed.
23:07 vex It's likely that I don't understand the problem. nevermind
23:08 asciilifeform vex: see e.g.
23:08 dulapbot Logged on 2021-05-18 16:15:41 asciilifeform: the main obstacle currently is that non-leaking rsa is slow on pc.
23:08 asciilifeform and e.g.
23:08 dulapbot Logged on 2021-09-12 13:28:57 asciilifeform: punkman: the whole protocol is one big 'weird contortion' around the fact that we can't do rsa at line rate but 'want to play anyway because fuckerryone'
23:10 * asciilifeform bbl
← 2022-07-12 | 2022-07-14 →