asciilifeform: i suppose if the gods had whispered into my ear 'go algebraize the scheduler, even tho it is not actually needed for any implementation, and you'll find buried treasure', would've dug
asciilifeform: we already ~did~ know that it has no proof of nonretardation, when picked it up
asciilifeform: i dun actually have pill ! ( i.e. you're in roughly same position as prior )
asciilifeform: ( btw is it obvious that we haven't , at this time, broken anyffing ? or not )
asciilifeform: imho the 'thing that makes us good' is that we dun do dumb shit like 'we know it's broken but we'll still use it because fuckyou should've discovered yer death ray in 1998'
asciilifeform: could have lived for 100 yrs and looked daily and not found.☟︎
asciilifeform: but to rage over 'why not found this in 1998' is imho odd at the very least.
asciilifeform: incidentally if mircea_popescu dun want to read re serp. scheduler, he dun have to !
asciilifeform: thread was strictly re 'canhaz block ciphers?' , rather than 'let's talk mircea_popescu into switching to $weird'
asciilifeform: ok, but did not say 'let's nobody else design block cipher! i hate block ciphers'
asciilifeform: mircea_popescu actually kicked off thread where 'could have replacement ? ' so added one to the record, in case a replacement turns out to be needed.
asciilifeform: i did not say 'let's use nao this replacement'
asciilifeform: and mircea_popescu is a trained maths fella, in fact theoretically moar qualified than asciilifeform to have found it
asciilifeform: coad dun come into it, it's a mathematical find
asciilifeform: 'why didn't you turn over this stone in '15 ?' 'there's 10^100 stones'
asciilifeform: i had to algebraize the thing , and have just the right rng bits flip in head , to get the 'ceiling tiles' ( why didn't mircea_popescu get'em in '15 ? )☟︎
asciilifeform: mircea_popescu: she published vintage coad straight off my hdd, lol
asciilifeform: i found this (potential?) find by carrying out an experiment over mircea_popescu's objection, lol
asciilifeform: ( and , recall, mircea_popescu almost talked me out of it, 'nobody needs iron disk crypter with questionable serpent' )
asciilifeform: turning up the (potential! i aint even got a proof yet) weakness of the scheduler algo, took specifically the 'let's fpgaize, i think this is solid!' approach.
asciilifeform: mircea_popescu: fwiw i tried all kinds of approaches to breaking serpent in '16
asciilifeform: 'why didntcha find this sooner' is ridiculous q.
asciilifeform: i dun see why conjure up the presense that 'didn't participate at useful time' ; asciilifeform attacked problem of 'blockcipherism' ~continuously for 3+ yr.
asciilifeform: unlike the massive pile of pgpgrams-cum-aes we've collectively shat out all over the net, nobody's even ciphered anyffing with serpent of yet, aside from diana_coman's tests
asciilifeform: mircea_popescu: you haven't launched $billion mars probe with serpent in silicon. so you have option ( not proposing 'let's rabin! right nao!' , it's naturally a measure-7-times-cut-1ce subj )
asciilifeform: what i dun get is wai mircea_popescu thinks he has reached the place where 'no option' , afaik he hasn't baked $trillion asic . conceivably if mircea_popescu ( who 'i will live & die by factoring-is-not-in-P !' ) can reduce problem to factoring-not-in-P, he still has option .
asciilifeform: it's how pc/os ended up what it is, neh. buncha folx 'i spent $trillion and nao i Dun Have The Option to stop..'
asciilifeform: i certainly dun dispute mircea_popescu's right to do it, if he wants.
asciilifeform: ( why bother with cipher, then, could make 9000x point by 'i'ma plaintext! take that!' )
asciilifeform: mircea_popescu: i dun get it , you'd willingly use a broken cipher to make a point ?
asciilifeform: see, rabin dun replace rsa, because of the 4-roots headache; but given as you kick off the 'session' with a rsagram, the latter can contain a bitstring that gives seq #1 . then it gets incremented and appended to payload of each rabinogram, allowing the 4 roots to be distinguished.
asciilifeform: so no need for cryptotron to know about game structures.
asciilifeform: mircea_popescu: ideally you'd have some entirely unrelated mechanism, to do it with ( i dun currently have one to give )
asciilifeform: ( i've all the necessary logic for it , even : it dun need optimized exponentiations )
asciilifeform: mircea_popescu: imho rabin is worth a look.
asciilifeform: mircea_popescu: the 'destructiring problem' is universal to all systems, even rsa
asciilifeform: ( tricky to actually use tho, produces decryption 4 ambiguous outputs, of which only 1 is correct answ )
asciilifeform: more interesting, imho, even, is rabin's system, which (unlike rsa) is equiv to factoring problem, and iirc requires only 4 multiplications to decrypt ( and only 1 squaring to encrypt )
asciilifeform: ( the fundamental q is not 'canhaz 4 ring binder?' or 'canhaz 3?' or 'canhaz clean desk' but rather 'canhaz symm cipher whose difficulty reduces to factoring but cheaper than abused-rsa ? ' )
asciilifeform: subj appears in the l0gz, but nuffin conclusive
asciilifeform: hey mircea_popescu , did we ever figure out if blumblumshub were worth anything ?
