Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ByteArrayTest< Builder > Class Template Reference
Inheritance diagram for ByteArrayTest< Builder >:

Public Types

using field_ct = stdlib::field_t< Builder >
 
using witness_ct = stdlib::witness_t< Builder >
 
using bool_ct = stdlib::bool_t< Builder >
 
using byte_array_ct = stdlib::byte_array< Builder >
 

Public Member Functions

void check_byte_decomposition (const byte_array_ct &arr, const field_ct &original_val)
 
fr slice_to_n_bytes (const fr &value, const uint64_t n)
 
void test_reverse ()
 
void test_from_string_constructor ()
 
void test_into_bytes_decomposition_less_than_32_bytes ()
 
void test_into_bytes_decomposition_less_than_32_bytes_const ()
 
void test_into_bytes_decomposition_32_bytes ()
 
void test_into_bytes_decomposition_32_bytes_const ()
 
void test_byte_array_input_output_consistency ()
 
void test_conversion_to_field ()
 
void test_ostream_operator ()
 

Detailed Description

template<class Builder>
class ByteArrayTest< Builder >

Definition at line 15 of file byte_array.test.cpp.

Member Typedef Documentation

◆ bool_ct

Definition at line 19 of file byte_array.test.cpp.

◆ byte_array_ct

Definition at line 20 of file byte_array.test.cpp.

◆ field_ct

Definition at line 17 of file byte_array.test.cpp.

◆ witness_ct

Definition at line 18 of file byte_array.test.cpp.

Member Function Documentation

◆ check_byte_decomposition()

template<class Builder >
void ByteArrayTest< Builder >::check_byte_decomposition ( const byte_array_ct arr,
const field_ct original_val 
)
inline

Definition at line 22 of file byte_array.test.cpp.

◆ slice_to_n_bytes()

template<class Builder >
fr ByteArrayTest< Builder >::slice_to_n_bytes ( const fr value,
const uint64_t  n 
)
inline

Definition at line 34 of file byte_array.test.cpp.

◆ test_byte_array_input_output_consistency()

template<class Builder >
void ByteArrayTest< Builder >::test_byte_array_input_output_consistency ( )
inline

Definition at line 202 of file byte_array.test.cpp.

◆ test_conversion_to_field()

template<class Builder >
void ByteArrayTest< Builder >::test_conversion_to_field ( )
inline

Definition at line 234 of file byte_array.test.cpp.

◆ test_from_string_constructor()

template<class Builder >
void ByteArrayTest< Builder >::test_from_string_constructor ( )
inline

Definition at line 70 of file byte_array.test.cpp.

◆ test_into_bytes_decomposition_32_bytes()

template<class Builder >
void ByteArrayTest< Builder >::test_into_bytes_decomposition_32_bytes ( )
inline

Definition at line 131 of file byte_array.test.cpp.

◆ test_into_bytes_decomposition_32_bytes_const()

template<class Builder >
void ByteArrayTest< Builder >::test_into_bytes_decomposition_32_bytes_const ( )
inline

Definition at line 171 of file byte_array.test.cpp.

◆ test_into_bytes_decomposition_less_than_32_bytes()

template<class Builder >
void ByteArrayTest< Builder >::test_into_bytes_decomposition_less_than_32_bytes ( )
inline

Definition at line 79 of file byte_array.test.cpp.

◆ test_into_bytes_decomposition_less_than_32_bytes_const()

template<class Builder >
void ByteArrayTest< Builder >::test_into_bytes_decomposition_less_than_32_bytes_const ( )
inline

Definition at line 104 of file byte_array.test.cpp.

◆ test_ostream_operator()

template<class Builder >
void ByteArrayTest< Builder >::test_ostream_operator ( )
inline

Definition at line 266 of file byte_array.test.cpp.

◆ test_reverse()

template<class Builder >
void ByteArrayTest< Builder >::test_reverse ( )
inline

Definition at line 41 of file byte_array.test.cpp.


The documentation for this class was generated from the following file: