asciilifeform: mircea_popescu: was thinking of the aerial gun in ww1, before they figured out that the stuff on the nonbusiness end dun have to be same bullet, only same mass
asciilifeform: yes i can think of a contrieved situation that calls for one. but no i don't want it in the rack next to the ordinary ones.
asciilifeform: non-1-to-1 pubkey is as useful as pistol that fires from both ends.
asciilifeform: to nail down the unambiguous and concrete.
asciilifeform: whole point of cryptosig is not-this.
asciilifeform: ( while also operable on by machine, to demonstrate that the arithmetic in fact comes out as stated )
asciilifeform: in that spirit, other thing asciilifeform aims for with 'p', is to zap the idiocy where pubkey was strictly an item for ~machine~ to read, and make it something primarily for ~man~ to read.
asciilifeform: the duty of the rsatron author is ~to get the fuck out of the way~
asciilifeform: it is a matter strictly between the fella generating the key, and his wot, not for the author of rsatron.
asciilifeform: if i specify a pubkey for myself with 65536-bit public mod, then other people can simply decide that i'm an arse and that verifying my sigs isn't actually +ev for them
asciilifeform: so he can never be surprised by 'd00d's modulus is Too Big!111omfg'
asciilifeform: this means that the reader (READER, long before executing) knows precisely how much time and space the proggy requires.
asciilifeform: p proggy opens up with the breathoflife preamble, e.g., (TMSR!8192*3,50*500) << 8192bit bus, 3 words of stack, 50 bytes of program following the closing ), 500 steps of execution max.
asciilifeform: and this yes means that asciilifeform holds caps on modulus width to be asinine
asciilifeform: and this also means as few 'magic numbers' as it is physically possible to get away with.☟︎
asciilifeform: asciilifeform's intent with 'p' is to push in the direction of maximum barking anarchy re pubkeys. as it is we have too many 'standards' as it is, ~all of them ill-conceived and smelling of sulfur.
asciilifeform: no moar 'we heathens have faster rsa because mother dropped us as babies and our rsatron does different work on different hamming weights'