Barretenberg
The ZK-SNARK library at the core of Aztec
|
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 () |
Definition at line 15 of file byte_array.test.cpp.
using ByteArrayTest< Builder >::bool_ct = stdlib::bool_t<Builder> |
Definition at line 19 of file byte_array.test.cpp.
using ByteArrayTest< Builder >::byte_array_ct = stdlib::byte_array<Builder> |
Definition at line 20 of file byte_array.test.cpp.
using ByteArrayTest< Builder >::field_ct = stdlib::field_t<Builder> |
Definition at line 17 of file byte_array.test.cpp.
using ByteArrayTest< Builder >::witness_ct = stdlib::witness_t<Builder> |
Definition at line 18 of file byte_array.test.cpp.
|
inline |
Definition at line 22 of file byte_array.test.cpp.
|
inline |
Definition at line 34 of file byte_array.test.cpp.
|
inline |
Definition at line 202 of file byte_array.test.cpp.
|
inline |
Definition at line 234 of file byte_array.test.cpp.
|
inline |
Definition at line 70 of file byte_array.test.cpp.
|
inline |
Definition at line 131 of file byte_array.test.cpp.
|
inline |
Definition at line 171 of file byte_array.test.cpp.
|
inline |
Definition at line 79 of file byte_array.test.cpp.
|
inline |
Definition at line 104 of file byte_array.test.cpp.
|
inline |
Definition at line 266 of file byte_array.test.cpp.
|
inline |
Definition at line 41 of file byte_array.test.cpp.