asciilifeform: mircea_popescu: wtf is that

asciilifeform: it's perhaps excusable for a 4 y.o. kid, but is odd when from adult

asciilifeform: ( some folx 'want contribute', but mysteriously can't be arsed to actually load open problem into head )

asciilifeform: there's an imho moar pertinent mircea_popescu piece, where 'archaetypical kid made gift for mother, out of acorns and matchsticks' or how did it go

asciilifeform: also a++ tautology, 'hey, y'say not killed or bought yet? clearly not succeed yet'

asciilifeform: mircea_popescu: recall poor old al schwartz's reply to s.nsa ? 'if you succeed you will be killed or bought'

asciilifeform: ( does PeterL ?? )

asciilifeform: ( ftr i dun currently have the faintest notion re how to prove that keccak is injective )

asciilifeform: http://btcbase.org/log/2018-10-30#1867617 << this is lulzy indeed -- 'let's replace 1 hash where we dun have proof of injectivity with ~another~ where we dun even know where to start proving' ?! ☝︎

asciilifeform: hey i too supplied some high octane confusium with which to be confused!11

asciilifeform: i'm quite reluctant to continue with the fpgaization thing unless i can get at the former.

asciilifeform: 2nd best, is that i find the pill.

asciilifeform: ideally what i'll find is a proof that there are exactly 2**256 528byte expansions .

asciilifeform: diana_coman: correct, i haven't found the item i was looking for, thus far

asciilifeform: diana_coman, mircea_popescu : i'ma feed the thing into an algebratron later tonight

asciilifeform: the alternative is simply too lulzy to take seriously, just nao

asciilifeform: *tbh

asciilifeform: diana_coman: http://p.bvulpes.com/pastes/aZuZQ/?raw=true << example of term elimination. but tbf i'm still working from the hypothesis that i must be mistaken, somewhere, and all of the keybits are conserved, and could prove this somehow...

asciilifeform: ( and who's to say that borated. can entirely be ordinary. )

asciilifeform: BingoBoingo: it's glass, can be made anywhere

asciilifeform: fella had sgi's also.

asciilifeform: one time i was offered entire pallet of'em, iirc 10bux/ea. passed.

asciilifeform: ( i was speaking of the 1us tho, they weigh ~same as our boxen )

asciilifeform: minitower.

asciilifeform: eh they aint anywhere near the limit

asciilifeform: BingoBoingo: i meant , from gringolandia

asciilifeform: (while eating 200-400 watt )

asciilifeform: less horse than rk

asciilifeform: *really

asciilifeform: mod6: they're a dime a dozen here, but not rally worth cost of transport

asciilifeform: bigendian tester !

asciilifeform: (if its for opterons, fughet it, hard enuff to get ~here~)

asciilifeform: BingoBoingo: if its for yer human lappy, say what type and i'ma mail you some wrapped in birdcage liner

asciilifeform: i do recall BingoBoingo mentioning his musical days

asciilifeform: i suppose still made in usa, accts for the price

asciilifeform: it's a ~musket, not exactly high tech

asciilifeform: nuts

asciilifeform: and mircea_popescu saw calendar in egypt, ditto

asciilifeform: then again, i saw 80 $ desk lamp being advertised 'layaway'

asciilifeform: that's, what, a 300 $ piece ?

asciilifeform: mod6: mossberg??

asciilifeform: ( for 1burner stove )

asciilifeform: btw BingoBoingo i've conceived of a land-based use for reddit bags : stick a valve stem on'em and you have a coupla wks of fuel..

asciilifeform: face visible, so you can sorta tell the occupants apart

asciilifeform: moar like 'reddit bag'

asciilifeform: lol!

asciilifeform knows what orig pantsuit was, but always pictures it as a sort of jumpsuit, no arms, zips up all the way at the nose , leaving only eyes exposed, gigantic pants

asciilifeform tired

asciilifeform: grr, #9e3779b8, the 1 flips. i'ma leave this alone until proggy.

asciilifeform: can similarly do for the other right-hands.

asciilifeform: likewise, e.g., entire w(1) term will disappear if you have (XOR B E G (RL11 (XOR A D F H #9e3779b9 0)) == #9e3779b9 ( the 1 dun du nuffin, as 9 is odd)

asciilifeform: will leave the others as exercise.

asciilifeform: if you have d,f,h, such that a == d xor f xor h ( or if you like , a xor d == f xor h , or a xor d xor f == h , it's transitive) then a term disappears from the eqn ☟︎

asciilifeform: cleaning up the above : a, b, c, appear directly 1ce; the rest --only as recurrence terms.

asciilifeform: test is straightforward, you take yer vintage serpent and feed in k1,string, get ciphertext1, k2,string, get ciphertext2, and observe that the ciphertexts are same (cuz key expanded to same thing)

asciilifeform: diana_coman: i'm baking a proggy that shits out sister keys, if it still dun make sense, you can wait till its birthed and try yourself.

asciilifeform: but the rest, appear-directly 1ce.

asciilifeform: err, strike that

asciilifeform: e -- in w(4) .

asciilifeform: and c -- in w(2) ; d -- in w(3) .

asciilifeform: ditto, term b only appears directly in w(1)

asciilifeform: diana_coman: errywhere else, it appears strictly as a copy of w(0)

asciilifeform: diana_coman: look at the recurrence, term a appears directly only once, in w(0)

asciilifeform: mircea_popescu: if we can agree to walk the key in same direction, we get same answ

asciilifeform genuinely bbl

asciilifeform: except that you did the key walk backwards.

asciilifeform: mircea_popescu: your 1st 'lmao will have to redo' is correct.

asciilifeform: ( src, http://p.bvulpes.com/pastes/5JKVg/?raw=true )

asciilifeform: http://p.bvulpes.com/pastes/Ar3qj/?raw=true << even moar pedantic

asciilifeform brb,meat

asciilifeform: ( spoiler : 1x1->0, 0x1->1, 1x0->1, 0x0->0 )

asciilifeform: dun have to believe proggy, do it with pen, and write the troof table for xor if you must.

asciilifeform: yer example dun go with the arithmetic on my planet, no matter how i define 'x'

asciilifeform: if we're speaking of xor.

asciilifeform: and 1x1x1 aint 0

asciilifeform: also, mircea_popescu: 1 x 1 x 0 aint 1

asciilifeform: http://p.bvulpes.com/pastes/UGLI3/?raw=true << verboser proggy; http://p.bvulpes.com/pastes/NpoNl/?raw=true out

asciilifeform: plox to show for which pair wrong output

asciilifeform: willing

asciilifeform: i dun currently know how to make it clearer.

asciilifeform: this dun make sense ?

asciilifeform: you're xoring Kbits distinct (if lowest kbit is 0, and there are no symmetries in the message) strings into a Kbits-sized hole.

asciilifeform: btw 'message gets xor'd with self' is not whole story, what you're doing is asking 1 bit to store 3 or more , this dunwork

asciilifeform: in that step, yer message was [1, 1, 1, 0], it got rotated by 1 place, and is then [1, 1, 0, 1], and that's yer buf after 1st step.

asciilifeform: ( keep in mind that [1, 1, 0, 1] is 11, we print the bits in ascending majority. can reverse if it makes moar readable, if you like )

asciilifeform: after xor for that step

asciilifeform: try the proggy, it will make sense, i suspect

asciilifeform: mircea_popescu: that's the k in my example, neh

asciilifeform: ( ty Mocky btw, it's what got the whole thing moving )

asciilifeform: y'know, lol, like in http://btcbase.org/log/2018-10-29#1867005 . ☝︎

asciilifeform: yer bits got xor'd with selves and turned into 0s.

asciilifeform: mircea_popescu: it'd be resolvable if that's actually what you had. but in fact you dun have.

asciilifeform: http://p.bvulpes.com/pastes/eDGtm/?raw=true if y'dontbelieve.

asciilifeform: which is why http://btcbase.org/log/2018-10-29#1867222 earlier. ☝︎

asciilifeform: you lose the info as it gets xor'd with rotated copies of self.

asciilifeform: knowing the key and the ciphertext tells you almost nuffin about the plaintext, cuz it's a write-only-memory, lol

asciilifeform: worse, msg=8,key=10 still 5.

asciilifeform: the transform is not reversible.

asciilifeform: i.e. crosscut shredder.

asciilifeform: it aint 1:1.