Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::NativeTranscriptParams Struct Reference

#include <transcript.hpp>

Public Types

using DataType = bb::fr
 
using Proof = HonkProof
 

Static Public Member Functions

static DataType hash (const std::vector< DataType > &data)
 
template<typename T >
static T convert_challenge (const DataType &challenge)
 
static std::array< DataType, 2 > split_challenge (const DataType &challenge)
 Split a challenge field element into two half-width challenges.
 
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< DataTypeserialize (const T &element)
 

Detailed Description

Definition at line 90 of file transcript.hpp.

Member Typedef Documentation

◆ DataType

Definition at line 91 of file transcript.hpp.

◆ Proof

Definition at line 92 of file transcript.hpp.

Member Function Documentation

◆ calc_num_data_types()

template<typename T >
static constexpr size_t bb::NativeTranscriptParams::calc_num_data_types ( )
inlinestaticconstexpr

Definition at line 118 of file transcript.hpp.

◆ convert_challenge()

template<typename T >
static T bb::NativeTranscriptParams::convert_challenge ( const DataType challenge)
inlinestatic

Definition at line 95 of file transcript.hpp.

◆ deserialize()

template<typename T >
static T bb::NativeTranscriptParams::deserialize ( std::span< const DataType frs)
inlinestatic

Definition at line 122 of file transcript.hpp.

◆ hash()

bb::NativeTranscriptParams::DataType bb::NativeTranscriptParams::hash ( const std::vector< DataType > &  data)
static

Definition at line 10 of file transcript.cpp.

◆ serialize()

template<typename T >
static std::vector< DataType > bb::NativeTranscriptParams::serialize ( const T &  element)
inlinestatic

Definition at line 126 of file transcript.hpp.

◆ split_challenge()

static std::array< DataType, 2 > bb::NativeTranscriptParams::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<Fr, 2>

Definition at line 107 of file transcript.hpp.


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