|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Public Types | |
| using | Codec = StdlibCodec< field_t< Builder > > |
Public Member Functions | |
| template<typename T , typename CreateFn > | |
| void | check_deserialization_gate_count (CreateFn create_native, uint32_t expected_gates, size_t num_elements=1) |
| Helper to test gate counts for deserialization. | |
| template<typename T > | |
| void | check_conversion (T in, bool valid_circuit=true, bool point_at_infinity=false) |
| template<typename T > | |
| void | check_conversion_iterable (T x) |
Definition at line 16 of file field_conversion.test.cpp.
| using bb::stdlib::field_conversion_tests::stdlib_field_conversion< Builder >::Codec = StdlibCodec<field_t<Builder> > |
Definition at line 18 of file field_conversion.test.cpp.
|
inline |
Definition at line 51 of file field_conversion.test.cpp.
|
inline |
Definition at line 66 of file field_conversion.test.cpp.
|
inline |
Helper to test gate counts for deserialization.
| create_native | Function that creates a native value to serialize |
| expected_gates | Expected gate count (excluding base gates) |
| num_elements | Number of elements to deserialize (defaults to 1) |
Definition at line 27 of file field_conversion.test.cpp.