7#include "../../src/EllipticCurves/models.h"
8#include "../../src/Exchange/keygen.h"
9#include "../../src/Exchange/setup.h"
12#include <flint/fmpz.h>
15void print_verbose_walk(uint, fmpz_t, fmpz_t,
int,
int);
16void print_verbose_walk_total_time(
int);
17void print_timing_json(fmpz_t,
float);