log☇︎
110100+ entries in 0.032s
asciilifeform: and also entirely symmetric probabilities of flip/nonflip.
asciilifeform: this gives you entirely symmetric probabilities of motion in either direction;
asciilifeform: here is improved scheme : '10' -> 'step left', '01' --> step right, '11' -> flip current and step left; '00' -> flip current and step right.
asciilifeform: btw the '00'--> stop thing is unnecessary and harmful, you stop when you run out of feed tape.
asciilifeform: but it takes up space, and if even 1 of the bits gets flipped (misguessed), you get an avalanche of rubbish.
asciilifeform: so, yes, e.g., '1010101001010101' does ~absolutely~ nothing to the waltz tape
asciilifeform: whole point is to minimize the information conveyed to enemy by knowing about the, e.g., 'To: mircea_popescu' inside; and to maximize the consequences of a misguessed plaintext bit in a cryptoanalysis.
asciilifeform: it has a net effect in that it a) takes up space between non-'neutral' strings b) if enemy misguesses even 1 bit inside it, it becomes quite non-neutral, and cumulatively
asciilifeform: as in, 0 net effect ?
asciilifeform: what means neutral here
asciilifeform: because it is defined as simply the furthestmost '1' explored.
asciilifeform: so now mircea_popescu sees why i wanted a noncircular tape -- then the enemy knows nothing about the ultimate length of the output
asciilifeform: i will point out that if your privkey is n bits, you are already talking in n/2-sized chunks.
asciilifeform: nobody keeps you from sending 1,001 messages.
asciilifeform: because, again, you cannot say 'hey first 64bits are length'
asciilifeform: you're stuck having such a thing if you have circular tape
asciilifeform: Q being your added strength.
asciilifeform: or rather, 3x+Q of it
asciilifeform: the size of the largest permitted message, yes.
asciilifeform: there, you are stepping on the input regardless of where you go.
asciilifeform: at any rate it is not a concern if using circular tape.
asciilifeform: sorta like 'hang by the neck until dead' spec.
asciilifeform: it introduces length only.
asciilifeform: (because there is a nonzero probability that the whole thing is left alone, for instance. or large segments thereof, more likely.)
asciilifeform: btw you probably would want to mechanically ensure that every bit of the input got stepped on at least once.
asciilifeform: (a tape is just as likely to go left as right , if fed from rng )
asciilifeform: end, start, are topologically same
asciilifeform: (the fewer possible messages)
asciilifeform: aha, the closer you go to the floor (3x length of input) , the lower.
asciilifeform: sorta like keccak.
asciilifeform: the beauty is that you can dial the strength up if you have a great deal of space and a short message .
asciilifeform: cheap entropy makes several interesting things possible, this is only 1 of'em.
asciilifeform: so mircea_popescu's exercise might add up to an entire ~minute~...
asciilifeform: a 4096b exponentiation takes about 10msec on my (dusty, old) box here.
asciilifeform: 4kB is about half a second of goat fuck. 4kb is 1/8 that.
asciilifeform: depends on what.
asciilifeform: sorta was the point of FUCKGOATS.
asciilifeform: possibly we no longer bottleneck on entropy gather ?
asciilifeform: you gotta have the actual entropy.
asciilifeform: as in, if i have a good idea as to what is the plaintext, i can verify my guess.
asciilifeform: mircea_popescu: all schemes where the transform is of 'payload itself' and 0 entropy, suffer from immediate 'penguin problem', https://blog.filippo.io/content/images/2015/11/Tux_ecb.jpg . ☟︎☟︎☟︎
asciilifeform: as in, the cost.
asciilifeform: and yes, you get elongated message. the job imho here is to show precisely how much elongation buys you ~exactly~ what strength.
asciilifeform: as in, it comes from a trng.
asciilifeform: the added entropy has to be ~genuine~ to do the job.
asciilifeform: considering that 1 step of the crank eats 2 bits.
asciilifeform: that won't even waltz over the whole message
asciilifeform: that enemy luuuuvvvs so much.
asciilifeform: is to take away the algebraic relation.
asciilifeform: sorta was whole point of this notion.
asciilifeform: whereas an arbitrary tape is nonalgebraic.
asciilifeform: yes, it will be long, but of fixed length, and i can picture its structure
asciilifeform: fundamental problem here, is that the operation can be written as an equation
asciilifeform: but i know that the number of passes is related to the payload.
asciilifeform: this cannot be ruled out, because hash -- yes, all of them -- is voodoo.
asciilifeform: say i discover that sha output is 'heavy' on 1s (in the von neumann coin sense) if the input was a sha output of a sha output of a string containing word 'nuke'. etc
asciilifeform: costs you, under some entirely possible scenarios, all of the strength.
asciilifeform: why make them related to the payload.
asciilifeform: but why do you want to constrain the possible tapes thusly
asciilifeform: plz.
asciilifeform: i'm trying to write this as actual algo in my head
asciilifeform: what's 'last 4 times'
asciilifeform: it is hilarious to watch, from entomologist's chair.
asciilifeform: most of the 'solutions' do not even vaguely pretend to solve the problem, and in fact expertly avoid to say what the problem even might be.
asciilifeform: btw anyone who tries to dig in the 'official' literature re: crypto padding will barf his guts out, the subjects consists ~100% of obscurantist crapola by weight.
asciilifeform: mircea_popescu and others can probably think of some useful and interesting variations on this scheme.
asciilifeform: this -- works
asciilifeform: alternatively you can fix it permanently, in advance.
asciilifeform: btw tape cannot be round unless you carry its size inside the message, which is verboten because that would be STRUCTURE
asciilifeform: not necessarily, you have tape as long as you like and simply rsa it in chunks of (keylen/2)
asciilifeform: it is only palpably slow if you insist on doing the entire thing in a gargantuan exponentiation.
asciilifeform: you can split the message.
asciilifeform: OAEP is slightly better from this pov but also gives you https://lists.gnupg.org/pipermail/gcrypt-devel/2011-June/001797.html .
asciilifeform: homeopathy, really.
asciilifeform: all that does is to append a few random bytes to the payload.
asciilifeform: mircea_popescu: gpg used PKCS #1 v1.5 (see rfc4880)
asciilifeform: existing padding schemes are precisely what i would like to get away from. idea is to introduce maximal uncertainty re the identity or purpose of any particular bit of unknown plaintext, and max fragility.
asciilifeform: 'pkcs'
asciilifeform: gpg used the weakest known padding scheme iirc.
asciilifeform: 'rsa' per se uses nothing.
asciilifeform: (and i am leaving aside the fact that the use of sha may well introduce structure.)
asciilifeform: mircea_popescu: pretty much all of the extant schemes resolve to some variant of that. the problem is that ~all~ of them introduce structure
asciilifeform: if anyone remembers - plz post link !!
asciilifeform: btw i scoured the l0gz in vain for entire hour, looking for where i promised this, and cannot find.
asciilifeform: that's what 'padding' (terrible misnomer) is. the opposite of errorcode.
asciilifeform: (recall, you want a maximally fragile string. it is quite the opposite of error-correction codes.)
asciilifeform: if it does - then the cost is worth it.
asciilifeform: than 1d.
asciilifeform: now i have not proved whether 2d gives you more sensitivity to mis-guessed bit .
asciilifeform: in the end you're trying to end up with a bitstring
asciilifeform: and it costs slightly more in 2d
asciilifeform: the problem is that you have to derive a bounding box when you're done and want to turn the playing field into a bitstring for use wherever
asciilifeform: it works out to same thing.
asciilifeform: very similar, and actually i began with that variant.
asciilifeform: the useful envelope of operation comes when you have at least ~16x the bottom limit. ☟︎
asciilifeform: (the theoretical lower limit.)
asciilifeform: which of course you don't want, it is quite obvious that there is no entropy in there if it only got 3x longer.
asciilifeform: 100101 turns into 111010111010101100.
asciilifeform: as example,
asciilifeform: mircea_popescu: it can in principle be as short as 3n