Are there any benchmarks for the number of key generations per second? How does this library compare to https://ed25519.cr.yp.to/index.html?