field_conversion.test.cpp File Reference

#include "barretenberg/stdlib/primitives/field/field_conversion.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/stdlib/primitives/test_utils.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	bb::stdlib::field_conversion_tests::stdlib_field_conversion< Builder >

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

Typedefs
template<typename Builder >
using	bb::stdlib::field_conversion_tests::fr = field_t< Builder >
template<typename Builder >
using	bb::stdlib::field_conversion_tests::fq = bigfield< Builder, bb::Bn254FqParams >
template<typename Builder >
using	bb::stdlib::field_conversion_tests::bn254_element = element< Builder, fq< Builder >, fr< Builder >, curve::BN254::Group >
template<typename Builder >
using	bb::stdlib::field_conversion_tests::grumpkin_element = cycle_group< Builder >
using	bb::stdlib::field_conversion_tests::BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

Functions
	bb::stdlib::field_conversion_tests::TYPED_TEST_SUITE (stdlib_field_conversion, BuilderTypes)
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionFr)
	Field conversion test for fr<Builder>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionGrumpkinFr)
	Field conversion test for fq<Builder>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionBN254AffineElement)
	Field conversion test for bn254_element<Builder>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionGrumpkinAffineElement)
	Field conversion test for grumpkin_element<Builder>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, DeserializePointAtInfinity)
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionArrayBn254Fr)
	Field conversion test for std::array<fr<Builder>, N>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionArrayGrumpkinFr)
	Field conversion test for std::array<fq<Builder>, N>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionUnivariateBn254Fr)
	Field conversion test for Univariate<fr<Builder>, N>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, FieldConversionUnivariateGrumpkinFr)
	Field conversion test for Univariate<fq<Builder>, N>
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountScalarDeserialization)
	Measure gate counts for scalar (fr) deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountBigfieldDeserialization)
	Measure gate counts for bigfield deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountMultipleBigfieldDeserialization)
	Measure gate counts for multiple bigfield deserializations.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountBN254PointDeserialization)
	Measure gate counts for BN254 point deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountMultipleBN254PointDeserialization)
	Measure gate counts for multiple BN254 point deserializations.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountGrumpkinPointDeserialization)
	Measure gate counts for Grumpkin point deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountArrayDeserialization)
	Measure gate counts for array deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, GateCountUnivariateDeserialization)
	Measure gate counts for univariate deserialization.
	bb::stdlib::field_conversion_tests::TYPED_TEST (stdlib_field_conversion, BigfieldDeserializationFails)
	Failure test for deserializing a pair of limbs as a bigfield, where one of the limbs exceeds the strict 2^136 upper bound.