utils.hpp File Reference

#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <vector>

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<typename Builder >
byte_array< Builder >	acir_format::fields_to_bytes (Builder &builder, std::vector< field_t< Builder > > &fields)
	Convert a vector of field_t elements to a byte_array enforcing each element to be a boolean.
template<typename T >
std::vector< uint32_t >	acir_format::add_to_witness_and_track_indices (WitnessVector &witness, const T &input)
	Append values to a witness vector and track their indices.
uint32_t	acir_format::add_to_witness_and_track_indices (WitnessVector &witness, const bb::fr &input)
	Add a single value to the witness vector and track its index.
template<typename T , size_t N>
std::array< uint32_t, N >	acir_format::add_to_witness_and_track_indices (WitnessVector &witness, const T &input)
	Add a span of values to the witness and track their indices, returning them as a fixed-size array.
template<typename Builder >
void	acir_format::populate_fields (Builder &builder, const std::vector< field_t< Builder > > &fields, const std::vector< bb::fr > &values)
	Populate fields in the builder with the given values. To be used in mocking situations.