hi, http://ed25519.cr.yp.to/software.html translation to picolisp, SHA512 native too. https://goo.gl/72gSYN

Mike