Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
constants.test.cpp File Reference
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/serialize/test_helper.hpp"
#include "fq.hpp"
#include "fr.hpp"
#include <array>
#include <gtest/gtest.h>

Go to the source code of this file.

Functions

 TEST (FqConstants, Modulus)
 
 TEST (FqConstants, RSquared)
 
 TEST (FqConstants, RInv)
 
 TEST (FqConstants, CubeRootOfUnity)
 
 TEST (FqConstants, WasmModulusConsistency)
 
 TEST (FqConstants, WasmRSquared)
 
 TEST (FqConstants, WasmCubeRootConsistency)
 
 TEST (FqConstants, WasmRInvLessThanModulus)
 
 TEST (FrConstants, Modulus)
 
 TEST (FrConstants, RSquared)
 
 TEST (FrConstants, RInv)
 
 TEST (FrConstants, CubeRootOfUnity)
 
 TEST (FrConstants, WasmModulusConsistency)
 
 TEST (FrConstants, WasmRSquared)
 
 TEST (FrConstants, WasmCubeRootConsistency)
 
 TEST (FrConstants, WasmRInvLessThanModulus)
 

Function Documentation

◆ TEST() [1/16]

TEST ( FqConstants  ,
CubeRootOfUnity   
)

Definition at line 67 of file constants.test.cpp.

◆ TEST() [2/16]

TEST ( FqConstants  ,
Modulus   
)

Definition at line 33 of file constants.test.cpp.

◆ TEST() [3/16]

TEST ( FqConstants  ,
RInv   
)

Definition at line 56 of file constants.test.cpp.

◆ TEST() [4/16]

TEST ( FqConstants  ,
RSquared   
)

Definition at line 45 of file constants.test.cpp.

◆ TEST() [5/16]

TEST ( FqConstants  ,
WasmCubeRootConsistency   
)

Definition at line 117 of file constants.test.cpp.

◆ TEST() [6/16]

TEST ( FqConstants  ,
WasmModulusConsistency   
)

Definition at line 80 of file constants.test.cpp.

◆ TEST() [7/16]

TEST ( FqConstants  ,
WasmRInvLessThanModulus   
)

Definition at line 144 of file constants.test.cpp.

◆ TEST() [8/16]

TEST ( FqConstants  ,
WasmRSquared   
)

Definition at line 101 of file constants.test.cpp.

◆ TEST() [9/16]

TEST ( FrConstants  ,
CubeRootOfUnity   
)

Definition at line 203 of file constants.test.cpp.

◆ TEST() [10/16]

TEST ( FrConstants  ,
Modulus   
)

Definition at line 168 of file constants.test.cpp.

◆ TEST() [11/16]

TEST ( FrConstants  ,
RInv   
)

Definition at line 192 of file constants.test.cpp.

◆ TEST() [12/16]

TEST ( FrConstants  ,
RSquared   
)

Definition at line 181 of file constants.test.cpp.

◆ TEST() [13/16]

TEST ( FrConstants  ,
WasmCubeRootConsistency   
)

Definition at line 250 of file constants.test.cpp.

◆ TEST() [14/16]

TEST ( FrConstants  ,
WasmModulusConsistency   
)

Definition at line 216 of file constants.test.cpp.

◆ TEST() [15/16]

TEST ( FrConstants  ,
WasmRInvLessThanModulus   
)

Definition at line 271 of file constants.test.cpp.

◆ TEST() [16/16]

TEST ( FrConstants  ,
WasmRSquared   
)

Definition at line 235 of file constants.test.cpp.