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.
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 ?
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.
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: 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.
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
mircea_popescu: i suppose ye age olde "i didn't know
there was interest" at play.
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."
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
diana_coman: asciilifeform, yes, portable is
the rub
there; I'll read more on ada for now, nothing much
to add atm
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
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: asciilifeform, serpent passed
the
test vectors!!
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
☟︎ mircea_popescu: got 3-4k
together so far. but
they do seem vaguely promising, maybe.
mircea_popescu: exactly in
the vein above. "understands how
to add,
thinks 4>5."
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.
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.
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)
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...
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: 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.
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