asciilifeform: usg ~really~ wants non-clonable, non-spoofable cheap rfid

asciilifeform: the other mega-nonsecret,

asciilifeform: spreadingworks!

asciilifeform: l0l!

asciilifeform: the schmuck peddling group-theoretical crypto firm at 'shmoocon' wanted auth chips in pills

asciilifeform: mircea_popescu: recall the crapple power cable thread? device makers want 'authenticator' in every candy wrapper. and so are drawn to crackpot 'ten transistors!1111' auth schemes like moths to flames

asciilifeform: !up Conflict

asciilifeform: https://competitions.cr.yp.to/disasters.html << lulzy

asciilifeform: not over yet?

asciilifeform: e.g., https://competitions.cr.yp.to/caesar-submissions.html

asciilifeform: https://competitions.cr.yp.to/caesar.html

asciilifeform: mno?

asciilifeform: (how did that end?)

asciilifeform: cute. the same folks as did the block cipher contest

asciilifeform: (after the intel debacle)

asciilifeform: used at, e.g., amd, to prove the correctness of their alu.

asciilifeform has the b00k, and the worked-examples one

asciilifeform: !s acl2

asciilifeform: the mega-champ is acl2.

asciilifeform: yeah let's somebody translate from the cuneiform.

asciilifeform: spiffy, now if only it weren't javatronic

asciilifeform: the retarded, careless, or otherwise incapacitated versions of mircea_popescu and asciilifeform are not here.

asciilifeform: in a way, we all use everett's device every day.

asciilifeform: (for n00bz: pistol is connected to a recognizer box, shoots you in the head in all universes where rng did not shit out the solution)

asciilifeform: or hm, was it his daughter who did.

asciilifeform: l0l mircea_popescu knows what it was.

asciilifeform: (by some accounts - he USED it! )

asciilifeform: or everett's solution ! ☟︎

asciilifeform: (most elementarily - tricks involving time travel)

asciilifeform: we can dig up a little, but it is a bit like digging pompei

asciilifeform: but yes, it is all now buried beneath many layers of sediment.

asciilifeform: if this, it rose and fell with the career of s. cook.

asciilifeform: ah, i was thinking of Schönfinkel et al

asciilifeform: approximately.

asciilifeform: ww2 killed it.

asciilifeform: i wil eat six airplanes before i go through this proof.

asciilifeform: mega-backbreaker

asciilifeform: found it

asciilifeform: 'Sorry, your request could not be processed because the format of the URL was incorrect. Contact the Help Desk if the problem persists. [SD-001]' << l0l

asciilifeform: expand on this ?

asciilifeform: berman's theorem

asciilifeform: ?

asciilifeform: is NP-complete then P = NP'

asciilifeform: mircea_popescu: 'if a unary language

asciilifeform: during ww2 in fact.

asciilifeform: phun phakt, kotelnikov proved a good chunk of shannon, ~before~ shannon.

asciilifeform: aha.

asciilifeform: and i admit, i would greatly enjoy reading a mircea_popescu piece on same.

asciilifeform: xor lemma is probably the closest thing we have to a fundamental theorem in crypto

asciilifeform: for whatever timber - arithmetic is the straightest saw we've got.

asciilifeform: how's that

asciilifeform: and in the process, grasp it fully...

asciilifeform: incidentally, imho mircea_popescu could write a splendid article about the xor lemma.

asciilifeform: pretty much for free.

asciilifeform: one demonstrable benefit is that it multiplies the cost of brute force.

asciilifeform: even with ip-over-dead-goat, 1MB key is what, a few min.

asciilifeform: ah this - yes

asciilifeform: this is harmless, but to rely on the enemy having difficulty getting your pubkey is lunacy

asciilifeform: plus whatever overhead from the individual cipherators.

asciilifeform: you get 2x the ciphertext bitz.

asciilifeform: what this gambit ~does~ cost, is weight

asciilifeform: ah

asciilifeform: if you want >2 pieces.

asciilifeform: and you can use shamir's split algo for n>2

asciilifeform: if i give you one half of a xor pair, it tells you ~nothing~ about the plaintext...

asciilifeform: so hard to grasp ?

asciilifeform: again the motherfucking xor lemma

asciilifeform: not by xor

asciilifeform: he cannot use knownplaintextisms created by one, to help in the other

asciilifeform: ^ in this case, enemy actually must break both ciphers ~independently~

asciilifeform: (incidentally, the problem of an inner cipher introducing known-plaintextisms is solved routinely by splitting the payload into xor-able halves, using rng, and enciphering each ~half~ with different cipher, rather than box-in-box composition) ☟︎

asciilifeform: arrives at howlingly obvious conclusion.

asciilifeform: not sure why he picked it up as disinfo

asciilifeform: the paper is pretty tame, actually

asciilifeform: strictly for entomologists !

asciilifeform: psychiatric, not mathematical.

asciilifeform: ftp://ftp.inf.ethz.ch/pub/crypto/publications/MauMas93a.pdf << found it.

asciilifeform: but i'm blown away by the maurer & massey thing

asciilifeform: aha.

asciilifeform: scroll to 'deceptive article'

asciilifeform: mircea_popescu: http://www.ciphersbyritter.com/GLOSSARY.HTM#MultipleEncryption << re multi-cipher

asciilifeform: ^ gold

asciilifeform: rate is zero across currencies and issue Bitcoin 2.0 based on incoming bitcoin and signatures made by participating addresses. This means the issuance honors mining until the end of bitcoin and can be more than total bitcoin present. I suspect 1 BTC 2.0 will have the spending power of 1 USD current by issuance. My pedigree.'

asciilifeform: 'I have been involved in Bitcoin since before the "Mt. Gox Fast Pay" thread that produced Bitinstant. My law cases make me the bearer of Bitcoin 2.0 no matter what. Bitcoin 2.0 is simply my daemon forked from a sued Ripple Labs qualified as an invention with features added and the Bitcoin upgrade address 1J7CAm6bavGcG52xgobn8n9ScnAzH8JZUm - I have pledged to drain the exchanges until exchange

asciilifeform: it won't buy a dirigible, no

asciilifeform: useful enough.

asciilifeform: just 1 of these is enough to stay in roquefort and orc-free street

asciilifeform: not bad

asciilifeform: 3-5k per chump per mo. for doing jack shit?

asciilifeform: 'hire this guy'

asciilifeform: is his name Sed ?

asciilifeform: see wat happens when earth bloke hangs out with martians long enough.

asciilifeform: *dirigible

asciilifeform: i can even see the dirigle algebra involved here !

asciilifeform: aha!

asciilifeform: eliminate things enemy may rely on.

asciilifeform: this is really a specificity-of-diddling theorem application.

asciilifeform: aha!

asciilifeform: enemy does not know which follows.

asciilifeform: have multiple branches of possible inner cipher at every level