asciilifeform: if i worked for medals, would work in derpistan academy of sciences, rather than with mircea_popescu et al

asciilifeform: i dun work for prizes, medals, mircea_popescu knows this. ☟︎

asciilifeform: mircea_popescu: i ( and afaik nobody else ) actually put substantial effort into playing in yer tourney

asciilifeform: if tomorrow i tell mircea_popescu how to build death ray, will rage, 'why didntcha back in '98' ?

asciilifeform: mircea_popescu: from your pov, find is obvious ? ( if obvious, why are we the first to find it ? )

asciilifeform: mircea_popescu: nope.

asciilifeform: mircea_popescu: you have my word that i did not sit on 'ceiling tiles', posted immediately when got'em.

asciilifeform: say tomorrow mircea_popescu finds out that factoring is in P . will rage ? at whom ? what if he finds it himself, without any help ?

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: 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: and mircea_popescu is a trained maths fella, in fact theoretically moar qualified than asciilifeform to have found it

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: mircea_popescu: fwiw i tried all kinds of approaches to breaking serpent in '16

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: i certainly dun dispute mircea_popescu's right to do it, if he wants.

asciilifeform: mircea_popescu: i dun get it , you'd willingly use a broken cipher to make a point ?

asciilifeform: ( pretty lulzy, btw, i had nfi mircea_popescu were so attached to serpent, nao i feel sad, it's almost like i killed his dog or wat )

asciilifeform: mircea_popescu: aa i see what you mean

asciilifeform: mircea_popescu: ideally you'd have some entirely unrelated mechanism, to do it with ( i dun currently have one to give )

asciilifeform: mircea_popescu: imho rabin is worth a look.

asciilifeform: mircea_popescu: the 'destructiring problem' is universal to all systems, even rsa

asciilifeform: hey mircea_popescu , did we ever figure out if blumblumshub were worth anything ?

asciilifeform: ohai mircea_popescu

asciilifeform: mircea_popescu: naturally. ( tho 'nadia' will prolly have to wait for asciilifeform to do it, before 'nadia did it' , like the prev time )

asciilifeform: mircea_popescu: i.e. supplies it in rsa envelope ?

asciilifeform: mircea_popescu: for yer lulz collection, saw a chix in some public crowd, with shirt 'the future is female'

asciilifeform: diana_coman et al ^

asciilifeform: yrs ago i scoffed at mircea_popescu's model where 'they all got cucking wife', i scoff no moar

asciilifeform: how exactly does it go. 'hey, mircea_popescu et al. are buncha cannibals, lemme go and find... buncha tards, to handle mah coinz, instead' ?

asciilifeform: mircea_popescu: aha, but still gotta wonder. rly, srsly, prb ??

asciilifeform: i dun see that pete_dushenski has any biznis here. he's where he belongs, with the 'mah fambly' picz, automotive circle-jerks, etc

asciilifeform: '0x012: pete_dushenski's [R.07] nodes were found to be dead, and thus removed from the list of Advertised Republican Nodes' << ha

asciilifeform: i had an automata thing, but found that i could not in good conscience play it for the prize, i never found any approach to a proof that it dun have ( as mircea_popescu called ) 'kek state'

asciilifeform: mircea_popescu: the bigger saddity, is that i dun have anything to offer to plug-in replace 'serpent', nao just as in '16 when mircea_popescu was offering prizes

asciilifeform: diana_coman: loox pretty grim, imho

asciilifeform: it's a matrix of http://www.loper-os.org/pub/serpent/serpent_with_reduction.txt , prepped for gaussian row-reduction ( xor-sat is in p! motherfuckers ) with horiz. axis -- key bitz, vertical -- expansion bits...

asciilifeform: in other lulz, mircea_popescu , diana_coman , http://www.loper-os.org/pub/holyshit.png << guess what. ☟︎☟︎

asciilifeform: but i'ma stop picking on diana_coman's item for nao

asciilifeform: diana_coman: ideally you want to at least know why halted.

asciilifeform: diana_coman: metoo, i had to breathe ada for yrs before working all the c sad out of my follicles

asciilifeform: diana_coman: rng.adb / Get_Octets -- you'll prolly want a timeout there

asciilifeform: diana_coman: re: ToOctets / ToBitstream / etc -- do you know that ada has 'variant records' (similar to ye olde C 'unions' , but with typechecking ) , you could in principle use'em and avoid the conversions, for slightly cleaner proggy

asciilifeform: diana_coman: https://archive.is/RzmUN#selection-24409.0-24423.146 << found

asciilifeform: diana_coman: there's a gnat flag that actually gives you all permissible constraints, whether you knew about them or not, that can be then thrown straight into restrict.adc

asciilifeform: diana_coman: aha, i use same method

asciilifeform: and you dun have to hardcoad it; simply replace Output(X, Y) := Rotate_Left(Input(X,Y), ( (T+1)*(T+2)/2) mod Z_Length); with Output(X, Y) := Rotate_Left(Input(X,Y), ( (T+1)*(T+2)/2) and (2**Keccak_L - 1));

asciilifeform: diana_coman: so you aint gotta mod; an integer mod 64 is simply same as & 63 .

asciilifeform: Keccak_L: constant := 6; Z_Length: constant := 2**Keccak_L; << so it's 64

asciilifeform: can Z_Length be 0 ever, legitimately ?

asciilifeform: diana_coman: the caveat re my method, is that i do not presently know how to ~portably~ 'lock' the thing ( so >1 process dun eat from it )

asciilifeform: for instance, i have here 2 FG units i flew ~back~ from pizarro, they had been pawed by randos when ben_vulpes had his customs debacle. in so far as i can tell , they have orig firmware still, and by erry possible test they are virginal, but even i cannot say whether they're 'still FG' or not !

asciilifeform: diana_coman: serpent lulz make sense thus far ?

asciilifeform: ohai diana_coman

asciilifeform: lessee if mircea_popescu or diana_coman beat me to the pill, i'ma not spoil the exact algo just yet.

asciilifeform: http://www.loper-os.org/pub/serpent/serpent_with_reduction.txt << for the impatient.

asciilifeform: but funnily enuff that was the only place i ever saw it, prior to mircea_popescu's mention

asciilifeform: diana_coman: later tonight i'ma post the version with reduction

asciilifeform: diana_coman: yay

asciilifeform: mircea_popescu: it is, try it

asciilifeform: diana_coman: is wai i posted

asciilifeform: mircea_popescu, diana_coman ^ still needs the elementary reduction massage, but i went ahead an' posted, in case somebody wants.