bb::U256Codec Class Reference

#include <field_conversion.hpp>

Public Types
using	DataType = uint256_t
using	fr = bb::fr
using	fq = grumpkin::fr
using	bn254_commitment = curve::BN254::AffineElement
using	grumpkin_commitment = curve::Grumpkin::AffineElement

Static Public Member Functions
template<typename T >
static constexpr size_t	calc_num_fields ()
template<typename T >
static T	deserialize_from_fields (std::span< const uint256_t > vec)
template<typename T >
static std::vector< uint256_t >	serialize_to_fields (const T &val)
	Conversion from transcript values to uint256_ts.
static std::array< uint256_t, 2 >	split_challenge (const uint256_t &challenge)
	Split a challenge field element into two equal-width challenges.
template<typename T >
static T	convert_short_challenge (const bb::fr &challenge)
	Convert a short (≤127-bit limb) challenge to a target type (fr or fq).
template<typename T >
static T	convert_full_challenge (const bb::fr &challenge)
	Convert a full-width challenge to a target type (fr or fq); exact since r < q.

Detailed Description

Definition at line 243 of file field_conversion.hpp.

Member Typedef Documentation

bn254_commitment

using bb::U256Codec::bn254_commitment = curve::BN254::AffineElement

Definition at line 248 of file field_conversion.hpp.

DataType

using bb::U256Codec::DataType = uint256_t

Definition at line 245 of file field_conversion.hpp.

fq

using bb::U256Codec::fq = grumpkin::fr

Definition at line 247 of file field_conversion.hpp.

fr

using bb::U256Codec::fr = bb::fr

Definition at line 246 of file field_conversion.hpp.

grumpkin_commitment

using bb::U256Codec::grumpkin_commitment = curve::Grumpkin::AffineElement

Definition at line 249 of file field_conversion.hpp.

Member Function Documentation

calc_num_fields()

template<typename T >

static constexpr size_t bb::U256Codec::calc_num_fields ( )

inlinestaticconstexpr

Definition at line 252 of file field_conversion.hpp.

convert_full_challenge()

template<typename T >

static T bb::U256Codec::convert_full_challenge ( const bb::fr &  challenge )

inlinestatic

Convert a full-width challenge to a target type (fr or fq); exact since r < q.

Definition at line 381 of file field_conversion.hpp.

convert_short_challenge()

template<typename T >

static T bb::U256Codec::convert_short_challenge ( const bb::fr &  challenge )

inlinestatic

Convert a short (≤127-bit limb) challenge to a target type (fr or fq).

Definition at line 366 of file field_conversion.hpp.

deserialize_from_fields()

template<typename T >

static T bb::U256Codec::deserialize_from_fields ( std::span< const uint256_t >  vec )

inlinestatic

Definition at line 268 of file field_conversion.hpp.

serialize_to_fields()

template<typename T >

static std::vector< uint256_t > bb::U256Codec::serialize_to_fields ( const T &  val )

inlinestatic

Conversion from transcript values to uint256_ts.

Definition at line 311 of file field_conversion.hpp.

split_challenge()

static std::array< uint256_t, 2 > bb::U256Codec::split_challenge ( const uint256_t &  challenge )

inlinestatic

Split a challenge field element into two equal-width challenges.

Both lo and hi are 127 bits each (254/2) which provides significantly more than our security parameter bound: 100 bits. The decomposition is constrained to be unique.

Parameters

challenge

Returns

std::array<uint256_t, 2>

Definition at line 350 of file field_conversion.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/ecc/fields/field_conversion.hpp