add second ZKP (equality of two EC DLs) with test case

1 files changed, 52 insertions, 0 deletions

diff --git a/test_crypto.c b/test_crypto.c
index d692055..5103e0e 100644
--- a/test_crypto.c
+++ b/test_crypto.c
@@ -86,6 +86,58 @@ test_smc_zkp_dl ()
 }
 
 int
+test_smc_zkp_2dle ()
+{
+	static int       first = 1;
+	gcry_mpi_t       c;
+	gcry_mpi_t       r;
+	gcry_mpi_t       s;
+	gcry_mpi_t       x;
+	gcry_mpi_point_t a;
+	gcry_mpi_point_t b;
+	gcry_mpi_point_t g1;
+	gcry_mpi_point_t g2;
+	gcry_mpi_point_t v = gcry_mpi_point_new (0);
+	gcry_mpi_point_t w = gcry_mpi_point_new (0);
+
+	check (v, "no pub1 key initialized");
+	check (w, "no pub2 key initialized");
+	brandt_ec_keypair_create (&g1, &s);
+	gcry_mpi_release (s);
+	brandt_ec_keypair_create (&g2, &s);
+	check (g1, "no gen1 created");
+	check (g2, "no gen2 created");
+
+	if (first)
+	{
+		gcry_mpi_ec_mul (g1, GCRYMPI_CONST_ONE, ec_gen, ec_ctx);
+		gcry_mpi_ec_mul (g2, GCRYMPI_CONST_ONE, ec_gen, ec_ctx);
+		first = 0;
+	}
+
+	brandt_ec_skey_create (&x);
+	check (x, "no sec key created");
+	gcry_mpi_ec_mul (v, x, g1, ec_ctx);
+	check (v, "no pub1 key created");
+	gcry_mpi_ec_mul (w, x, g2, ec_ctx);
+	check (w, "no pub2 key created");
+
+	smc_zkp_2dle (v, w, g1, g2, x, &a, &b, &c, &r);
+	check (!smc_zkp_2dle_check (v, w, g1, g2, a, b, c, r), "zkp was false, should be true");
+
+	gcry_mpi_release (c);
+	gcry_mpi_release (r);
+	gcry_mpi_release (s);
+	gcry_mpi_release (x);
+	gcry_mpi_point_release (a);
+	gcry_mpi_point_release (b);
+	gcry_mpi_point_release (g1);
+	gcry_mpi_point_release (g2);
+	gcry_mpi_point_release (v);
+	gcry_mpi_point_release (w);
+}
+
+int
 main (int argc, char *argv[])
 {
 	int repeat = 50;