bug fixing@benchmarking

Makefile

@@ -20,6 +20,19 @@ debug:
 		main.c \
 		-o main
 
+
+bench:
+	@gcc \
+		-Wall -Wextra \
+		-O3 -funroll-loops \
+		rng.c \
+		u512.s fp.s \
+		mont.c \
+		csidh.c \
+		bench.c \
+		-o bench	
+
 clean:
 	rm -f main
+	rm -f bench
 

bench.c

@@ -19,7 +19,7 @@ static __inline__ uint64_t rdtsc(void)
     return lo | (uint64_t) hi << 32;
 }
 
-unsigned long its = 10000;
+unsigned long its = 1000;
 
 int main()
 {

csidh.h

@@ -23,4 +23,8 @@ extern const public_key base;
 void csidh_private(private_key *priv);
 bool csidh(public_key *out, public_key const *in, private_key const *priv);
 
+bool validate(public_key const *in);
+
+void action(public_key *out, public_key const *in, private_key const *priv);
+
 #endif