asciilifeform: the premier peddlers of this type of snake oil 'commercially' (i.e. fattened on lavish usg contracts) are the cryptol people. they've spawned, unsurprisingly, shoddy imitators.
mircea_popescu: "Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification"
ascii_field: it is made by galois inc., they call it 'cryptol'
