field_conversion.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/bigfield/goblin_field.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::stdlib
namespace	bb::stdlib::field_conversion

Typedefs
template<typename Builder >
using	bb::stdlib::field_conversion::fr = field_t< Builder >
template<typename Builder >
using	bb::stdlib::field_conversion::fq = bigfield< Builder, bb::Bn254FqParams >
template<typename Builder >
using	bb::stdlib::field_conversion::bn254_element = element< Builder, fq< Builder >, fr< Builder >, curve::BN254::Group >
template<typename Builder >
using	bb::stdlib::field_conversion::grumpkin_element = cycle_group< Builder >

Functions
template<typename Builder >
fq< Builder >	bb::stdlib::field_conversion::convert_to_grumpkin_fr (Builder &builder, const fr< Builder > &f)
	Converts a challenge to a fq<Builder>
template<typename Builder , typename T >
T	bb::stdlib::field_conversion::convert_challenge (Builder &builder, const fr< Builder > &challenge)
template<typename Builder >
std::vector< fr< Builder > >	bb::stdlib::field_conversion::convert_goblin_fr_to_bn254_frs (const goblin_field< Builder > &input)
template<typename Builder >
std::vector< fr< Builder > >	bb::stdlib::field_conversion::convert_grumpkin_fr_to_bn254_frs (const fq< Builder > &input)
template<typename Builder , typename T >
constexpr size_t	bb::stdlib::field_conversion::calc_num_bn254_frs ()
	Calculates the size of a types (in their native form) in terms of fr<Builder>s.
template<typename Builder , typename T >
T	bb::stdlib::field_conversion::convert_from_bn254_frs (Builder &builder, std::span< const fr< Builder > > fr_vec)
	Conversions from vector of fr<Builder> elements to transcript types.
template<typename Builder , typename T >
std::vector< fr< Builder > >	bb::stdlib::field_conversion::convert_to_bn254_frs (const T &val)
	Conversion from transcript values to fr<Builder>s.
template<typename TargetType , typename Builder >
TargetType	bb::stdlib::field_conversion::deserialize_from_frs (Builder &builder, std::span< fr< Builder > > elements, size_t &num_frs_read)
	Deserialize an object of specified type from a buffer of field elements; update provided read count in place.