void init(ctx *ctx, unsigned char *chall, unsigned char *key) {