FK20 CUDA
fptest.cuh
Go to the documentation of this file.
1 // bls12_381: Arithmetic for BLS12-381
2 // Copyright 2022-2023 Dag Arne Osvik
3 // Copyright 2022-2023 Luan Cardoso dos Santos
4 
5 #ifndef FP_TEST_CUH
6 #define FP_TEST_CUH
7 
8 #include <stdio.h>
9 
10 #include "test.h"
11 #include "fp.cuh"
12 
13 #define TESTVALS 800
14 
15 #if (TESTVALS < 771)
16 # undef TESTVALS
17 # define TESTVALS 771
18 #endif
19 
20 typedef fp_t testval_t;
21 
22 #define TESTFUN(X) extern __global__ void X(testval_t *testval)
23 
24 // Constant
25 
26 TESTFUN(FpTestKAT);
27 TESTFUN(FpTestFibonacci);
28 
29 // Linear
30 
31 TESTFUN(FpTestCmp);
32 TESTFUN(FpTestMulConst);
33 TESTFUN(FpTestAdd);
34 TESTFUN(FpTestSub);
35 TESTFUN(FpTestSqr);
36 TESTFUN(FpTestMul);
37 TESTFUN(FpTestInv);
38 TESTFUN(FpTestMMA);
39 
40 // Quadratic
41 
42 TESTFUN(FpTestSqr2);
43 TESTFUN(FpTestCommutativeAdd);
44 TESTFUN(FpTestCommutativeMul);
45 
46 // Cubic
47 
48 TESTFUN(FpTestAssociativeAdd);
49 TESTFUN(FpTestAssociativeMul);
50 TESTFUN(FpTestAddDistributiveLeft);
51 TESTFUN(FpTestAddDistributiveRight);
52 TESTFUN(FpTestSubDistributiveLeft);
53 TESTFUN(FpTestSubDistributiveRight);
54 
55 // Not implemented
56 
57 TESTFUN(FpTestCopy);
58 TESTFUN(FpTestReflexivity);
59 TESTFUN(FpTestSymmetry);
60 TESTFUN(FpTestAdditiveIdentity);
61 TESTFUN(FpTestMultiplicativeIdentity);
62 TESTFUN(FpTestAdditiveInverse);
63 TESTFUN(FpTestMultiplicativeInverse);
64 
65 #endif // FP_TEST_CUH
66 
67 // vim: ts=4 et sw=4 si
fp_t
uint64_t fp_t[6]
Residue modulo p. Any 384-bit representative of each residue is allowed, and stored as a 6-element li...
Definition: fp.cuh:14
TESTFUN
#define TESTFUN(X)
Definition: fptest.cuh:22
testval_t
fp_t testval_t
Definition: fptest.cuh:20
FpTestAssociativeAdd
__global__ void FpTestAssociativeAdd(testval_t *testval)
Test for the associative property of addition in Fp.
Definition: fptest_add.cu:101
FpTestAdd
__global__ void FpTestAdd(testval_t *testval)
Test for addition in Fp.
Definition: fptest_add.cu:16
FpTestCommutativeAdd
__global__ void FpTestCommutativeAdd(testval_t *testval)
Test for the commutative property of addition in Fp.
Definition: fptest_add.cu:59
FpTestCmp
__global__ void FpTestCmp(testval_t *testval)
Test for the comparison function in Fp; checks for inconsistencies in the following properties:
Definition: fptest_cmp.cu:21
FpTestSubDistributiveRight
__global__ void FpTestSubDistributiveRight(testval_t *testval)
Check the distributive property of multiplication in Fp (right of subtraction):
Definition: fptest_distributive.cu:186
FpTestSubDistributiveLeft
__global__ void FpTestSubDistributiveLeft(testval_t *testval)
Check the distributive property of multiplication in Fp (left of subtraction):
Definition: fptest_distributive.cu:129
FpTestAddDistributiveLeft
__global__ void FpTestAddDistributiveLeft(testval_t *testval)
Check the distributive property of multiplication in Fp (left of addition):
Definition: fptest_distributive.cu:16
FpTestAddDistributiveRight
__global__ void FpTestAddDistributiveRight(testval_t *testval)
Check the distributive property of multiplication in Fp (right of addition):
Definition: fptest_distributive.cu:73
FpTestFibonacci
__global__ void FpTestFibonacci(testval_t *)
Test addition and subtraction in Fp using a fibonacci sequence (chain dependency) from 1 to ITERATION...
Definition: fptest_fibonacci.cu:16
FpTestInv
__global__ void FpTestInv(testval_t *testval)
Test for multiplicative inverse mod p in Fp.
Definition: fptest_inv.cu:15
FpTestKAT
__global__ void FpTestKAT(testval_t *)
Test for fp functions using KAT.
Definition: fptest_kat.cu:18
FpTestMMA
__global__ void FpTestMMA(testval_t *testval)
Test for multiply-multiply-add. Compare with current standalone implementation of multiplication adn ...
Definition: fptest_mma.cu:15
FpTestMul
__global__ void FpTestMul(testval_t *testval)
Multiplication test, comparing with the native uint64_t multiplication.
Definition: fptest_mul.cu:109
FpTestAssociativeMul
__global__ void FpTestAssociativeMul(testval_t *testval)
Test for the associative property of multiplication.
Definition: fptest_mul.cu:60
FpTestCommutativeMul
__global__ void FpTestCommutativeMul(testval_t *testval)
Test for the commutative property of addition.
Definition: fptest_mul.cu:16
FpTestMulConst
__global__ void FpTestMulConst(testval_t *testval)
Test self consistency in multiplication by constant:
Definition: fptest_mulconst.cu:21
FpTestSqr2
__global__ void FpTestSqr2(testval_t *testval)
Test for squaring on Fp. Checks for self consistency:
Definition: fptest_sqr.cu:135
FpTestSqr
__global__ void FpTestSqr(testval_t *testval)
Test for squaring on Fp. Checks for self consistency:
Definition: fptest_sqr.cu:16
FpTestSub
__global__ void FpTestSub(testval_t *testval)
Test for subtraction in Fp.
Definition: fptest_sub.cu:16