asciilifeform: ( if, btw, somebody else has the time/inclination to do the latter, i'll only say 'thx'. thing is already in xor-sat form, roll the constant term into the eqn's, set $known-schedule as the output values, and gaussian-reduce... )
asciilifeform: sounds like 'polish off the bloody bignum thing already!', lol. matrix reduction will have to wait, then.
asciilifeform: it is possible that there's some format gnarl that i haven't accounted for , tho, i haven't tried erry elephantine key on it ( should really test by walking phuctor db )
asciilifeform: mircea_popescu: happens to be exactly what i set out to; on top of that, even got a gpg extractor (currently in py, but slated for adaization) , precisely for same☟︎
asciilifeform: asciilifeform is not , in his opinion, inept to the point of vegetable, but must say that prolly could not do what Mocky did, at least within the budget that he did it in
asciilifeform: 'can ya play violin?' 'dunno, not tried yet'
asciilifeform: if what you want is to be world class balletist
asciilifeform: 'time' aint a scalar, no, time spend balleting when yer 5 y.o. counts infinitely moar than same when yer 40
asciilifeform: it's a cost of specialization / finite hrs in the day. i suppose i could prolly become a middling-to-ok chukcha talker, instead of what i do nao, if comes to it. but i dun think i will ever be a champ, i dun have the decades of doing it, that other folx have.
asciilifeform: asciilifeform is not a+++ chukcha talker / polar explorer, this aint a seekrit, that crown goes to others.
asciilifeform: prolly would have found it, but who even knows how much digging would have taken.
asciilifeform: early trb , for instance. i had nfi how to cure the db locks thing until mircea_popescu supplied the pill.
asciilifeform: will also add, some problems my spade dun work on, and take unseemly long time of 'wtf did you do' to even convert into spadeable form with the tooling available to asciilifeform
asciilifeform: mircea_popescu: at all times i try to keep some reserve of unallocated spade cycles
asciilifeform: dun hesitate to say 'hey this smells like buried goodies'
asciilifeform: btw while we're on subj of spades, asciilifeform is not ( contrary to the apparent picture ) averse to taking input re where to spade.
asciilifeform: while we're on subj, mircea_popescu had a pretty interesting observation in '16, 'the boecks were rousted because we're on to sumthing, but we dun know precisely what yet'
asciilifeform: ( as it is asciilifeform floods the l0gz )
asciilifeform: sometimes i suspect that i threw mircea_popescu's 'how hard is $problem' meter out of all possible calibration, given as very often when asciilifeform posts a thing, it is result of year or two of experimentation; and on other hand if i put ~all~ of the intermediates and dead ends into the l0gz, there'd scarcely be any room for anyffing else
asciilifeform: the simplicity and reducibility-to-factoringishard of rabin is appealing, and wai not bake in advance so as mircea_popescu yr later doesn't 'why didntcha!'
asciilifeform: ( if mircea_popescu dun need it, i'ma bake it anyway, it's imho a great demo )
asciilifeform: it's approx 10 lines on top of ch11 .
asciilifeform: mircea_popescu: if you actually need it, i'ma bake it
asciilifeform: back upstack, this is why i even suggested rabinism, it's a less-expensive rsa that actually plugs into this hole.
asciilifeform: ( you want exponentiation, tho, i.e. actual rsa op, or snoop can get n2 by gcd of successive msgs )
asciilifeform: 'rsa as expander' imho is easier to reduce to 'known difficulty' than 'find roots of ~randomly-picked polynomial' is
asciilifeform: (cult of 'fast on pc' is how we ended up with all kindsa rubbish. if you want sumthing to be fast, folx, bake iron around it! like civilized folx! )
asciilifeform: right, took me a few sec to see that it aint
asciilifeform: then it's a perfectly valid injective expand, for whatever purpose.
asciilifeform: the 'nobody has priv' is not even a necessary condition, if you can make it so that only the parties who are actually party to the link, have it.
asciilifeform: it smacks of the nonsense the z-whateveritwascalled people, did
asciilifeform: nao i'd still rather have 'the key is the fucking key', but gotta point out for the l0gz that the problem contemplated earlier, is in principle solvable.
asciilifeform: afaik the only way to approximate this object is to take, e.g., all of l1, and multiply their public mods together.
asciilifeform: mircea_popescu: btw here, if we must, is an example of an injective key expander that is physically possible, but requires an exotic object : a rsa pub that nobody has the priv to. then can 'hash-expand' by rsa-enciphering message to it.
asciilifeform: none of this 'key is 256b but REAL key is 528 bytes' strange
asciilifeform: design the cipher around the bitness of the key you actually want to use.
asciilifeform: the other point, is that i dun see why even have key-inflaters. use rng for the fucking key, all of it
asciilifeform: ( if mircea_popescu can, i promise to read )
asciilifeform: err, nope. can't presently think of one.
asciilifeform: it is possible to have a hash like this. simplest example,
asciilifeform: ( or >1, nothing in re rejecting some inputs, guarantees that there aint )
asciilifeform: there'd still be 1 possible output for erry valid input tho
asciilifeform: it's essentially what serpent's ( and afaik errybody's ) key inflater already does. except that it doesn't bother to tell you, simply shits out a colliding output.
asciilifeform: but! if it is not injective! then you have collisions waiting for you.
asciilifeform: but if a transform is injective, it is necessarily reversible.
asciilifeform: there is btw a deeper point re key-expanders -- there is a fundamental contradiction between two of the things that folx both want from 'cryptographic hash'. one one hand, they demand 'not reversible', but on other hand they ~also~ demand 'conserves key space'
asciilifeform: i simply cannot rule out the hypothesis of 'quimby laughs' entirely, is all.
asciilifeform: mircea_popescu: i'm actually ready to believe that we're finders of actual find, rather than 'quimby is laughing'
