summaryrefslogtreecommitdiff
path: root/test/src/math/test_twists.c
blob: 0712d3c051b3441f4757ace39472387bc93d7fce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
/*
 * ecgen, tool for generating Elliptic curve domain parameters
 * Copyright (C) 2017-2018 J08nY
 */
#include <criterion/criterion.h>
#include "gen/field.h"
#include "math/poly.h"
#include "math/twists.h"
#include "test/default.h"
#include "util/random.h"

TestSuite(twists, .init = default_setup, .fini = default_teardown);

Test(twists, test_twist_rand_to_fp) {
	random_init();
	GEN a = mkintmodu(3, 23);
	GEN b = mkintmodu(4, 23);
	curve_t curve = {.a = a,
	                 .b = b,
	                 .field = stoi(23),
	                 .curve = ellinit(mkvec2(a, b), stoi(23), -1),
	                 .order = stoi(24)};

	curve_t to = {0};
	twist_rand_to(&to, &curve);
	cr_assert_not_null(to.a, );
	cr_assert_not_null(to.b, );
	cr_assert_not_null(to.field, );
	cr_assert_not_null(to.curve, );
	cr_assert(equalii(to.order, stoi(24)), );
}

Test(twists, test_twist_rand_to_f2m) {
	random_init();
	GEN field = poly_find_gen(13);
	GEN a = field_ielement(field, stoi(2));
	GEN b = field_ielement(field, stoi(3));
	curve_t curve = {
	    .a = a,
	    .b = b,
	    .field = field,
	    .curve = ellinit(mkvecn(5, gen_1, a, gen_0, gen_0, b), NULL, -1),
	    .order = stoi(8140)};

	curve_t to = {0};
	twist_rand_to(&to, &curve);
	cr_assert_not_null(to.a, );
	cr_assert_not_null(to.b, );
	cr_assert_not_null(to.field, );
	cr_assert_not_null(to.curve, );
	cr_assert(equalii(to.order, stoi(8246)), );
}