Cryptol: A domain-specific language for cryptographycryptol.net2 points·da_big_ghey··0 commentsOpen articleSaveView on HN