fk20test_poly.cu File Reference

#include <stdio.h>
#include <time.h>
#include "g1.cuh"
#include "fk20.cuh"
#include "fk20test.cuh"
#include "fk20_testvector.cuh"

Include dependency graph for fk20test_poly.cu:

Go to the source code of this file.

Functions
void	FK20TestPoly ()
void	fullTest ()
void	fullTestFalsifiability ()
void	fk20_poly2toeplitz_coefficients_test (fr_t polynomial_l[4096], fr_t toeplitz_coefficients_l[16][512])
	Test for fk20_poly2toeplitz_coefficients: polynomial -> toeplitz_coefficients. More...
void	fk20_poly2hext_fft_test (fr_t polynomial_l[4096], g1p_t xext_fft_l[16][512], g1p_t hext_fft_l[512])
	Test for fk20_poly2hext_fft: polynomial -> hext_fft. More...
void	fk20_poly2h_fft_test (fr_t polynomial_l[4096], g1p_t xext_fft_l[16][512], g1p_t h_fft_l[512])
	Test for fk20_poly2h_fft: polynomial -> h_fft. More...
void	fk20_msmloop (g1p_t hext_fft_l[512], fr_t toeplitz_coefficients_fft_l[16][512], g1p_t xext_fft_l[16][512])
	Test for fk20_msm: Toeplitz_coefficients+xext_fft -> hext_fft. More...

Function Documentation

fk20_msmloop()

void fk20_msmloop	(	g1p_t	hext_fft_l[512],
		fr_t	toeplitz_coefficients_fft_l[16][512],
		g1p_t	xext_fft_l[16][512]
	)

Test for fk20_msm: Toeplitz_coefficients+xext_fft -> hext_fft.

Parameters

hext_fft_l
toeplitz_coefficients_fft_l
xext_fft_l

Definition at line 372 of file fk20test_poly.cu.

Here is the caller graph for this function:

fk20_poly2h_fft_test()

void fk20_poly2h_fft_test	(	fr_t	polynomial_l[4096],
		g1p_t	xext_fft_l[16][512],
		g1p_t	h_fft_l[512]
	)

Test for fk20_poly2h_fft: polynomial -> h_fft.

Parameters

[in]	polynomial_l
[in]	xext_fft_l
[in]	h_fft_l

Definition at line 332 of file fk20test_poly.cu.

Here is the caller graph for this function:

fk20_poly2hext_fft_test()

void fk20_poly2hext_fft_test	(	fr_t	polynomial_l[4096],
		g1p_t	xext_fft_l[16][512],
		g1p_t	hext_fft_l[512]
	)

Test for fk20_poly2hext_fft: polynomial -> hext_fft.

Parameters

[in]	polynomial_l
[in]	xext_fft_l
[in]	hext_fft_l

Definition at line 292 of file fk20test_poly.cu.

Here is the call graph for this function:

Here is the caller graph for this function:

fk20_poly2toeplitz_coefficients_test()

void fk20_poly2toeplitz_coefficients_test	(	fr_t	polynomial_l[4096],
		fr_t	toeplitz_coefficients_l[16][512]
	)

Test for fk20_poly2toeplitz_coefficients: polynomial -> toeplitz_coefficients.

Parameters

[in]	polynomial_l
[in]	toeplitz_coefficients_l

Definition at line 251 of file fk20test_poly.cu.

Here is the caller graph for this function:

FK20TestPoly()

void FK20TestPoly

(

)

Executes the tests if the subfunctions that either execute more than one step, or that execute an operation other than (i)FFT

Definition at line 24 of file fk20test_poly.cu.

Here is the call graph for this function:

Here is the caller graph for this function:

fullTest()

void fullTest

(

)

Executes a full FK20 computation on a single row. Checking each step. A computation failure will not cause a cascade effect, eliminating false-failures due to data dependencies.

Definition at line 44 of file fk20test_poly.cu.

Here is the call graph for this function:

Here is the caller graph for this function:

fullTestFalsifiability()

void fullTestFalsifiability

(

)

Similar to fullTest, but polynomial is has a few values changed. The function checks for false-positives in the tests.

polynomial is restored after execution.

Definition at line 140 of file fk20test_poly.cu.

Here is the call graph for this function:

Here is the caller graph for this function: