parent
df3e118538
commit
11a752cb6c
@ -1,40 +1,45 @@ |
||||
#include <cybozu/test.hpp> |
||||
#include <mcl/bls12_381.hpp> |
||||
|
||||
using namespace mcl::bn; |
||||
|
||||
void testFr() |
||||
CYBOZU_TEST_AUTO(init) |
||||
{ |
||||
Fr x, y, z; |
||||
initPairing(mcl::BLS12_381); |
||||
} |
||||
|
||||
CYBOZU_TEST_AUTO(Fr) |
||||
{ |
||||
Fr x, y; |
||||
x = 3; |
||||
y = 5; |
||||
z = x + y; |
||||
printf("x=%s\n", x.getStr().c_str()); |
||||
printf("y=%s\n", y.getStr().c_str()); |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
z = x * y; |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
Fr::sqr(z, x); |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
CYBOZU_TEST_EQUAL(x + y, 8); |
||||
CYBOZU_TEST_EQUAL(x - y, -2); |
||||
CYBOZU_TEST_EQUAL(x * y, 15); |
||||
} |
||||
|
||||
void testFp() |
||||
CYBOZU_TEST_AUTO(Fp) |
||||
{ |
||||
Fp x, y, z; |
||||
Fp x, y; |
||||
x = 3; |
||||
y = 5; |
||||
z = x + y; |
||||
printf("x=%s\n", x.getStr().c_str()); |
||||
printf("y=%s\n", y.getStr().c_str()); |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
z = x * y; |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
Fp::sqr(z, x); |
||||
printf("z=%s\n", z.getStr().c_str()); |
||||
CYBOZU_TEST_EQUAL(x + y, 8); |
||||
CYBOZU_TEST_EQUAL(x - y, -2); |
||||
CYBOZU_TEST_EQUAL(x * y, 15); |
||||
} |
||||
|
||||
int main() |
||||
CYBOZU_TEST_AUTO(Fp2) |
||||
{ |
||||
initPairing(mcl::BLS12_381); |
||||
testFr(); |
||||
testFp(); |
||||
Fp2 x, y; |
||||
x.a = 3; |
||||
x.b = 2; |
||||
y.a = 1; |
||||
y.b = 4; |
||||
/*
|
||||
(3+2i)(1+4i)=3-8+(12+2)i |
||||
*/ |
||||
CYBOZU_TEST_EQUAL(x + y, Fp2(4, 6)); |
||||
CYBOZU_TEST_EQUAL(x - y, Fp2(2, -2)); |
||||
CYBOZU_TEST_EQUAL(x * y, Fp2(-5, 14)); |
||||
} |
||||
|
||||
|
Loading…
Reference in new issue