SHA3 hook into Vertx