One approach would be do design an embedded DSL for implementing cryto algorithms. And then a compiler for this DSL into C or LLVM. In fact, I believe somethin

One approach would be do design an embedded DSL for implementing cryto algorithms. And then a compiler for this DSL into C or LLVM. In fact, I believe something along the lines of this has already been done: https://cryptol.net https://cryptol.net