asciilifeform: http://btcbase.org/log/2019-01-05#1884619 << from ave1 , i hope to see a 'port' of tmsr-gnat that can be hard-welded into cuntoo as primary gcc ( to remove the hack where it builds gcc5, then down to 4.9, and neither of'em being a gnat ) ☝︎

asciilifeform: ( using it directly, is sorta analogous to https://www.youtube.com/watch?v=A4QagenzsK0 . can be done... )

asciilifeform: so long as they know which end of the rifle bullet goes out from.

asciilifeform: rright, but i dun necessarily mean to even discourage people from using directly.

asciilifeform: ( for the l0gz, refresher: pcode is meant to give a mechanically simple system where yer privkey is a pcode string, and so is yer pubkey, and so are ciphertexts, and whole mechanism is set in motion simply by feeding pcode to the processor )

asciilifeform: ffa is designed to be used via pcode (aka 'peh') but i'm not about to tell folx that they absolutely must. given the stated reqs (you gotta test for div0ism, we dun do it internally given as it's thermonuke performance) it can be safely used directly.

asciilifeform: ( i'ma stop here, folx who ate ch4 know all of this kindergartenisms )

asciilifeform: and likewise, you can put as many fz on stack as the stack height given in invocation of ffacalc, but not any moar.

asciilifeform: ( this being for the given bitness, which in pehbot is hard-welded to 256 )

asciilifeform: !A (but this aint ) .1.1MX#

asciilifeform: ^ there we go

asciilifeform: so, to illustrate:

asciilifeform: user of pcode never has to manually consider memory, so long as he knows how much stack to instantiate it with ( e.g. for modular exponentiation, you need 3 FZ worth of stack ) , and it properly eggogs if you mismeasure.

asciilifeform: ( if you use pcode, these get done inside ffacalc, and ditto the stack memory mechanics, as you prolly knew already )

asciilifeform: diana_coman: btw it is perfectly ok also to simply invoke the knobs exported in ffa.ads directly, but then you gotta take care of 1) endianism of the words being put in and gotten out , to match yours 2) testing for div0 , as done in http://www.loper-os.org/pub/ffa/hypertext/ch14/ffa_calc__adb.htm

asciilifeform: what i prolly oughta roll into the conveyor, is a variant of ffacalc that's libraryized (i.e. callable from other program, with string argument containing pcode, and fills a provided buffer with the output)

asciilifeform: i promise to come back to this thrd, if asked. but would like to not lose the subthread earlier : diana_coman mircea_popescu : is short-term plan to test ffaistic diana_coman-r-m ? and if so, what glue is needed for this from asciilifeform , i'ma bake.

asciilifeform: do they have mosquitoes yet ?

asciilifeform: so happens that i like winter on that parallel

asciilifeform: sorta why i dun go around expecting other folx to solve'em for me. i solve with own hands ( or not, if not live longenuff )

asciilifeform: theoretically great, in practice they seem to send those back in chains to washingtonschwitz if they're subjects of trumplincton rather than africa

asciilifeform: not once usg cancels it for unpaid tribute, neh

asciilifeform: so as to have gedanken-farm in own name, say ? or to be able to occasionally cross borders without using u-boat , say ?

asciilifeform: i didn't think so. hence astonishment.

asciilifeform: barn-to-money thermodynamic machine

asciilifeform: mircea_popescu: fields plow themselves in ro, or how does that work , lol

asciilifeform: diana_coman: pretty sure i discussed this depressing subj in l0gz prior, would rather not clutter war room log with replay; but it'd have to be enuff to buy new passport, at the very least, and then would need to earn bread somehow ( and as sit-in-torture-room, rather than driving cab , i dun think i'll be of much use to tmsr if living in cab )

asciilifeform: i'd expect that it would cost 1 or 2 diana_coman-days to glue ch14 ffa to euloratron, to see how performs using diana_coman's existing m-r etc.

asciilifeform: mircea_popescu: thing was built to be laughably easy to glue to other programs. (if it ain't -- i'd like to know asap why )

asciilifeform: i try to avoid anvils, so far succeeded..

asciilifeform: otherwise can wait for asciilifeform's constant-time m-r ( or not, depending on what's in eulora war room chalkboard, i cannot presume to know what the priority is )

asciilifeform: ( if asciilifeform is flattened by an anvil tonight, i'd expect that diana_coman and mircea_popescu will do something of the kind. )

asciilifeform: ( as well as adjusting 'Wi' , etc. but you get the idea )

asciilifeform: ( i.e. one would have to put in mircea_popescu's specced exponent bitness where 'Bitness' is in http://www.loper-os.org/pub/ffa/hypertext/ch14/fz_modex__adb.htm#85_14 , to get the speedup ) ☟︎

asciilifeform: diana_coman: my current understanding is that in fact it's ~2.5x faster per bit of exponent length.

asciilifeform: ( as well as still needs diana_coman to eat & digest the thing per se )

asciilifeform: ( phuctor, ftr, uses a (patched, to enable bigger ints) old gmp. with asmisms enabled. )

asciilifeform: mircea_popescu: mpi is subset of gmp that koch cut ( and ate $mil of microshit payola to do it, somehow ) , aha.

asciilifeform: i've been referring to mpi and gmp interchangeably as 'koch rsa', but this is unscientific, i must remind that they are diff items.

asciilifeform: mircea_popescu: possibly i ought add : ~mpi~ dunhave strassen. ~gmp~ (the older, 'uncut' gnu thingie) has strassen.

asciilifeform: ( tldr -- asciilifeform needs : wrapup of gcd; then miller-rabin; then keccak. )

asciilifeform: diana_coman: i described in this log what currently stands between 'throw out mpi' . lemme know if needs moardetail.

asciilifeform: hey , partizan is perfectly happy to use schmeisser taken off dead german.

asciilifeform: ( i dun have e.g. strassen's multiplication algo, and dun have any plans to implement, it only wins for multi-megabyte ints )

asciilifeform: tbh i'm not sure what kochtronic rsa will be good for once i have the keygenning ( it apparently dun win on speed anywhere, even tho it gets to skip 0s in modexp.. ) but this time not yet come.

asciilifeform: ( when i have ~complete~ sys, ~then~ mircea_popescu can go 'hmm, which one to sew ~here~' etc )

asciilifeform: asciilifeform's current thrust is to catch up to ~that~

asciilifeform: and as of right nao it's the only ~complete~ rsatron we have, i.e. that knows how to bake privkeys

asciilifeform: ( diana_coman's , that is )

asciilifeform: well until last wk it was the only rsatron we had that ran in something like realtime

asciilifeform: this is entirely tru

asciilifeform: also recall the (surprising to asciilifeform , but apparently nobody else) discovery that ffatron as-is-stands is ~2.5x faster than koch.

asciilifeform: mircea_popescu: correct. the item that needs padtron, is mircea_popescu's specced 'fuckng replace gpg already' ; and possibly also koch-free euloratrons.

asciilifeform: i'ma prolly have to do ~this~ with own hands, too -- no one yet stood up and said 'i will'

asciilifeform: otherwise all of the nonleakage guarantees bought at the cost they were bought at, vanish.

asciilifeform: cuz that's how mircea_popescu specified the padding

asciilifeform: what remains is 1) prime-baking 2) rsa (and similar cryptosystems, tho c-s dun need it) padtron -- requires constant-spacetime keccak 3) optional asmistic speedups.

asciilifeform: since we're refreshing chalkboards in war room, i'ma take the chance to summarize current level of ffaism. currently exponentiator is mature ( aside from the consideration where http://btcbase.org/log/2018-12-28#1883687 , i.e. it's mature when ~other~ thinkingpeople have fit it into head and concurred ) -- i.e. runs fast enuff for many battlefield applications ☝︎

asciilifeform: if diana_coman is 'stuck on X, cannot move' and it is asciilifeform's X, i'd like to know about it asap.