log☇︎
143100+ entries in 0.672s
mircea_popescu: if the convention can be "you'll need a serial capable machine", as it HAS to can be, then convention can also be "you'll need a cpu with ror/rol implemnented". whether it is decided to make it so has no bearing on whether it could be decided to make it so. that's a 1 : it could be.
mircea_popescu: to put the point on its proper footing : convention is convention, no different than any other convention. convention doth not become physical law through wide adoption, irrespective how extensive that wideness, in headcount, time, whatever.
mircea_popescu: "doesn't go away just because intel stops including it" to ~same degree.
apeloyee: motherfuckers, there is not a single comp made in 40 years that doesn't have a carry flag. << *excluding non-actual computers.
asciilifeform: to try to make analogy between world's single most supported electrical standard after 220v mains socket, and intel turdolade, is beyond ludicrous.
asciilifeform: but the logical protocol is classical rs232, 115200/8/1/noparity.
asciilifeform: ( nitpickers will note that rs232 implies particular voltages . and yes, you need a voltage converter to use ttl (e.g. fg) with actual rs232. which is inevitable, because i did not want to put a 200kHz-oscillating 5v to plusminus12v chip on fg. )
asciilifeform: if you dun have serial, you dun have a comp, in entirely the same way that if you cannot read latin letters you are not literate.
asciilifeform: back to rs232 -- it's the lingua franca . not the most snobbish ibm mainframe (which even eschewed ascii) , nor the most orcish bk0010 , nobody, ever omitted serial port. until 2010s, obummer-era pc junk.
asciilifeform: apeloyee: i never grasped the lunacy of 'standard with optional pieces'
asciilifeform: mircea_popescu: rs232 is a 1960s standard, and doesn't go away simply because wintel stopped including the plug on the mobo. and world's simplest and most widely-supported standard for digital comms, moar so than ethernet ( i have whole pile of devices with 0 nic but several serialports ) , and will remain, regardless of what wintel does.
a111: 1 result for "alternatives to gnat", http://btcbase.org/log-search?q=alternatives%20to%20gnat
apeloyee: !#s alternatives to gnat
apeloyee: it's a part of the standard, but, sadly, optional.
a111: Logged on 2017-11-16 15:03 asciilifeform: gcc offers a built-in rotate 'illicitly', but not a portable access to carry flag. because ALSO run by wreckers.
mircea_popescu: "my personal fg is plugged into serial port and my personal ada keccak is plugged into iron on which asm works". da fuck special pleading is this.
mircea_popescu: asciilifeform how do you think anyh of that is relevant ?
asciilifeform: but the latter is to be the reference, and the former -- i 'hand compile' ~from~ the reference
a111: Logged on 2017-11-16 15:29 mircea_popescu: tbh, this item aside (it was just given as an ~example~ anyway), i do not expect that on the medium term we will be able to avoid "and here's the special asm library, links at link time with the rest of compiled shit" situations.
asciilifeform: http://btcbase.org/log/2017-11-16#1739561 << possibly i mentioned this, i am making an asm ffa in parallel with the ada item ☝︎
asciilifeform: ( and is made of junkyard parts, given as the actual FG stock is s.nsa inventory, lol )
asciilifeform: i dun make the pl2303 or the related rubbishes
a111: Logged on 2017-11-16 15:22 asciilifeform: FG is a straight serial device tho, it doesn't lock you into any particular form
mircea_popescu: http://btcbase.org/log/2017-11-16#1739542 << this is particularily hysterical given the http://btcbase.org/log-search?q=pl2303x lulz. ☝︎
mircea_popescu: afaik lisp never actually avoided this either.
mircea_popescu: tbh, this item aside (it was just given as an ~example~ anyway), i do not expect that on the medium term we will be able to avoid "and here's the special asm library, links at link time with the rest of compiled shit" situations. ☟︎
mircea_popescu: "rotation can be directly an opcode item linked as such", how about that.
mircea_popescu: maybe i didn't make the inline incantation sufficiently magical, but anyway. "straight asm", what'd you prefer.
a111: Logged on 2017-11-16 15:20 mircea_popescu: hey, minigame produced reference implementation of ada keccak can well contain inline asm rotation, and who dun like it can do whatever they will.
asciilifeform: returning to http://btcbase.org/log/2017-11-16#1739533 , i will point out that inline asm is ~likewise~ a gcc-specific syntax. so if you're marrying gcc you may as well use the existing ( as seen in ffa ) rotate intrinsic. ☝︎
diana_coman: well, they did not give you the init of variables wtf!
diana_coman: the ref is quite good in this respect I'd say, not that hard to follow
diana_coman: asciilifeform, it is straightforward from algo descriptions in the reference
asciilifeform: i'm a little surprised that any part of it worked.
mircea_popescu: i suppose ye age olde "i didn't know there was interest" at play.
asciilifeform: diana_coman: PeterL by his own admission didn't test the thing at all
diana_coman: aand found the bug at least on this one: rho initialises Ar(0,0) BUT uses then first thing...Ar(1,0) ☟︎
mircea_popescu: "oh but mp, other people do it via shortwave radio" "good for them."
asciilifeform: FG is a straight serial device tho, it doesn't lock you into any particular form ☟︎
asciilifeform: whereas the point of using an algorithmic lang is readability & portability.
asciilifeform: imho if you're gonna have asm, may as well write whole thing in it
mircea_popescu: but reference also has no business baking in whatever quirks of "human rights & the fyotoor", known & unknown.
mircea_popescu: hey, minigame produced reference implementation of ada keccak can well contain inline asm rotation, and who dun like it can do whatever they will. ☟︎
a111: Logged on 2017-11-16 15:01 asciilifeform: exactly same nonsense as the carry flag thing
mircea_popescu: http://btcbase.org/log/2017-11-16#1739520 << we can afford to inline asm, seeing how minigame knows what iron it runs it on. ☝︎
diana_coman: asciilifeform, yes, portable is the rub there; I'll read more on ada for now, nothing much to add atm
asciilifeform: diana_coman: the sad fact re gnat is that it is in fact the only ada. being as the 'alternatives' are, without exception, closed winturds.
asciilifeform: gcc offers a built-in rotate 'illicitly', but not a portable access to carry flag. because ALSO run by wreckers. ☟︎
asciilifeform: motherfuckers, there is not a single comp made in 40 years that doesn't have a carry flag. WHY YOU HID IT
asciilifeform: exactly same nonsense as the carry flag thing ☟︎
asciilifeform: it's a single fucking cpu instruction on ~all known cpu. and yet some wrecker saw it fit to exclude it from the language standard.
asciilifeform: afaik there isn't a proper solution.
diana_coman: asciilifeform, I don't yet know the answer to that; I'm still eating Ada so I can't decide either way; still, I don't ...like it, that's all I said; perhaps there is no solution to it, perhaps there is one
asciilifeform: diana_coman: how do you propose to rotate without it ? as i see it, the language standard simply has a rotate-shaped hole in it
diana_coman: I guess I'll test that one now...
diana_coman: rho uses that Rotate_Left function which is imported from gnat; I'd rather not have it in a reference implementation tbh
diana_coman: mircea_popescu, well, he had those step functions private so initially inaccessible; so first I've tried a full test (i.e. input is this, do full keccak round, output should be this): it failed; so then I grunted through exposing the step functions at least at this stage and testing bit by bit;
diana_coman: now torturing keccak and...
diana_coman: asciilifeform, serpent passed the test vectors!!
asciilifeform: diana_coman: interesting, and it still passed the test vectors despite this ??
diana_coman: PeterL, did you test your permutation step functions on that keccak implementation? when I feed rho a full-zero state it seems to end up with non-zero output ☟︎
asciilifeform: folx without ideology are like dodo. simply waiting for the ship fulla dogs to land.
mircea_popescu: got 3-4k together so far. but they do seem vaguely promising, maybe.
asciilifeform: by refusing to add. 'i'm too clean to touch a shovel' is the likely pathology.
mircea_popescu: it's like penis cage for the brain, somehow.
mircea_popescu: how the fuck.
mircea_popescu: exactly in the vein above. "understands how to add, thinks 4>5."
asciilifeform: http://btcbase.org/log/2017-11-16#1739454 << pretty deep lol , 'I chose a RSA key size of 3925 for my blog' and d00d dun seem to realize that it's exactly a 4096b modulus wit 171 leading zeros ... ☝︎
diana_coman: ah, thanks
a111: Logged on 2017-11-16 14:00 mircea_popescu: cultivated enough to mention bernstein&gf curve, uncomprehending enough to "post quantum algorithms". how do these happen, i wish to know.
asciilifeform: http://btcbase.org/log/2017-11-16#1739455 << not so surprising, considering that bernstein himself is a quantumist ☝︎
asciilifeform: if e & 1: t = (t*b) % m
asciilifeform: or hm you were prolly thinking of the asm one
mircea_popescu: not discussing that part.
mircea_popescu: but the attempt is evident.
mircea_popescu: not entirely clear yet if he just AIMED to avoid all secret bit branching or actulaly managed.
mircea_popescu: asciilifeform incidentally, bernstein's curve implementation is ALSO free of branching on secret bits, have you seen that thing ?
a111: Logged on 2017-11-16 11:30 apeloyee: http://btcbase.org/log/2017-11-15#1739383 << you can just use 4096*4096 multiplies. It's lulzy to see how you rant about "proper" rsa and demand full-size exponents, but somehow restricting range of p and q is OK.
asciilifeform: http://btcbase.org/log/2017-11-16#1739433 << lol next this fella will say, i suspect, 'why do you restrict the range of N' ☝︎
mircea_popescu: the importance of a phuctor style primorial+commonkeyset gcding away is somehow easily overlooked by academic minds. but in practical terms it is the first line, degree (or even two!) ahead of haskelism a la gnfs
mircea_popescu: or consider something as simple as phuctor, that already has a lot of "special" primes, however you define special (small, common, whatevewr)
asciilifeform: 'state of the art' means ANY attack that i can describe.
a111: Logged on 2017-11-16 11:27 apeloyee: http://btcbase.org/log/2017-11-15#1739374 << can you enlighten us about why you believe there's no way to use information about range of factors (because you say so?), and about the http://btcbase.org/log/2017-11-15#1739371 as regards the number field sieve, as this doesn't seem to be published (or perharps for quadratic sieve). elliptic curve does benefit from smaller factors, but if the...
asciilifeform: http://btcbase.org/log/2017-11-16#1739429 << forget public nfsieve. consider ordinary bruteforce ('but how brute force for soomanybits??!' ) on novel physical substrate, or with a heuristic that lets you skip large chunks of space ☝︎
mircea_popescu: other lulz, same source : https://blog.josefsson.org/2017/08/03/vikings-d16-server-first-impressions/ (apparently there's an entire kanzure 's wanker club dedicated to republican hosting ; vikings.net and whatnot. doesn't seem to be actually working though, but i did join their irc, see what happens.
mircea_popescu: cultivated enough to mention bernstein&gf curve, uncomprehending enough to "post quantum algorithms". how do these happen, i wish to know. ☟︎
mircea_popescu: so logically if indeed the larger upper bound was deemed useful we'd move the standard to 8192 bits N with 4096 bit p/q rather than do this.
mircea_popescu: it may appear beneficial to instead produce larger sets, such as of 4096 bits. the UPPER BOUND of the gain from this process is known ; the lower bound of losses from it is not known, because yes if you allow 4096 bit p, q and test, an acceptable N can be composed of the product between 17 and 2^4092 - 177 or whatever it was.
a111: Logged on 2017-11-14 15:01 mircea_popescu: http://btcbase.org/log/2017-11-14#1737387 << this is alternatively a perfectly acceptable approach ; expensive as all fuck though. prolly should be the standard for homemade keys.
a111: Logged on 2017-11-16 11:30 apeloyee: http://btcbase.org/log/2017-11-15#1739383 << you can just use 4096*4096 multiplies. It's lulzy to see how you rant about "proper" rsa and demand full-size exponents, but somehow restricting range of p and q is OK.
mircea_popescu: this whole thing aside, the only objection to http://btcbase.org/log/2017-11-16#1739433 ie, "produce sets of 2048 bits, check them for primality, if they're prime multiply them and if the product is a suitable N keep them else start over" was http://btcbase.org/log/2017-11-14#1737682 ☝︎☝︎
mircea_popescu: as far as anyone knows, something closer to 450 bits is what's actually needed.
mircea_popescu: yes, in about 6% of cases the N will come out as 111..., in which case you know that both p and q are actually 1111 1111 led, ie you'll have 2 bits of each. and in 0.001% of cases N will led by FF and have the next bit set, so you'll know both p and q have the first octet set. if you have an extension attack allowing you to parlay 8 leading bits into the prime exposure, you can thereby crack rsa in 0.001% of cases.
mircea_popescu: ie, "you have the following information about any and all factors : they're 11 led, 1 terminated, 2045 true random bits. knock yourself out."
mircea_popescu: there's no argument that informations about range of factors CAN be used. the point is minorily that a) a range of 2045 bits is sufficient and majorily that b) should this range NOT be sufficient, the correct response is to extend IT, rather than to introduce key-substitute mechanisms in the actual encryption scheme.
mircea_popescu: factors that are very small are trivially a vulnerability, as the 17 example shows. what is "small enough" is somewhat of an open question, but 512 BITS does conceiovably qualify.
a111: Logged on 2017-08-14 17:21 mircea_popescu: tmsr rsa standard key is 515 bits, made out of a 257 and a 258 bit long prime.
a111: Logged on 2017-11-16 11:27 apeloyee: ...factors differ only a few bits in length, it doesn't appear to be better than NFS.
mircea_popescu: http://btcbase.org/log/2017-11-16#1739432 << factors differing by only a few bits in length aren't particularily unsafe, which is why the original alt-rsa spec involved them (see eg http://btcbase.org/log/2017-08-14#1697613 and the eventual end of that discussion.) ☝︎☝︎
a111: Logged on 2017-11-16 06:16 BingoBoingo still has more tax law to read, but new rough number is 61.615 USd/week per RU or 267 USd/monthly per RU