bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder > Struct Template Reference

#include <transcript.hpp>

Public Types
using	DataType = stdlib::field_t< Builder >
using	Proof = std::vector< DataType >

Static Public Member Functions
static DataType	hash (const std::vector< DataType > &data)
static std::array< DataType, 2 >	split_challenge (const DataType &challenge)
	Split a challenge field element into two half-width challenges.
template<typename T >
static T	convert_challenge (const DataType &challenge)
template<typename T >
static constexpr size_t	calc_num_data_types ()
template<typename T >
static T	deserialize (std::span< const DataType > frs)
template<typename T >
static std::vector< DataType >	serialize (const T &element)

Detailed Description

template<typename Builder>
struct bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >

Definition at line 17 of file transcript.hpp.

Member Typedef Documentation

DataType

template<typename Builder >

using bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::DataType = stdlib::field_t<Builder>

Definition at line 18 of file transcript.hpp.

Proof

template<typename Builder >

using bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::Proof = std::vector<DataType>

Definition at line 19 of file transcript.hpp.

Member Function Documentation

calc_num_data_types()

template<typename Builder >

template<typename T >

static constexpr size_t bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::calc_num_data_types ( )

inlinestaticconstexpr

Definition at line 53 of file transcript.hpp.

convert_challenge()

template<typename Builder >

template<typename T >

static T bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::convert_challenge ( const DataType &  challenge )

inlinestatic

Definition at line 47 of file transcript.hpp.

deserialize()

template<typename Builder >

template<typename T >

static T bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::deserialize ( std::span< const DataType >  frs )

inlinestatic

Definition at line 58 of file transcript.hpp.

hash()

template<typename Builder >

static DataType bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::hash ( const std::vector< DataType > &  data )

inlinestatic

Definition at line 21 of file transcript.hpp.

serialize()

template<typename Builder >

template<typename T >

static std::vector< DataType > bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::serialize ( const T &  element )

inlinestatic

Definition at line 66 of file transcript.hpp.

split_challenge()

template<typename Builder >

static std::array< DataType, 2 > bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder >::split_challenge ( const DataType &  challenge )

inlinestatic

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

lo is 128 bits and hi is 126 bits. This should provide significantly more than our security parameter bound: 100 bits

Parameters

challenge

Returns

std::array<DataType, 2>

Definition at line 38 of file transcript.hpp.

---

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

• src/barretenberg/stdlib/transcript/transcript.hpp