transcript.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/debug_log.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/hash/poseidon2/poseidon2.hpp"
#include "barretenberg/stdlib/primitives/field/field_conversion.hpp"
#include "transcript_manifest.hpp"
#include <atomic>
#include <concepts>

Go to the source code of this file.

Classes
struct	bb::is_iterable< T, typename >
struct	bb::is_iterable< T, std::void_t< decltype(std::begin(std::declval< T & >())), decltype(std::end(std::declval< T & >()))> >
class	bb::BaseTranscript< Codec_, HashFunction >
	Common transcript class for both parties. Stores the data for the current round, as well as the manifest. More...

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

Concepts
concept	bb::Loggable
concept	bb::InCircuit

Typedefs
using	bb::NativeTranscript = BaseTranscript< FrCodec, bb::crypto::Poseidon2< bb::crypto::Poseidon2Bn254ScalarFieldParams > >
using	bb::KeccakTranscript = BaseTranscript< U256Codec, bb::crypto::Keccak >
template<typename Builder >
using	bb::StdlibTranscript = BaseTranscript< stdlib::StdlibCodec< stdlib::field_t< Builder > >, stdlib::poseidon2< Builder > >
using	bb::UltraStdlibTranscript = BaseTranscript< stdlib::StdlibCodec< stdlib::field_t< UltraCircuitBuilder > >, stdlib::poseidon2< UltraCircuitBuilder > >
using	bb::MegaStdlibTranscript = BaseTranscript< stdlib::StdlibCodec< stdlib::field_t< MegaCircuitBuilder > >, stdlib::poseidon2< MegaCircuitBuilder > >

Variables
template<typename T >
constexpr bool	bb::is_iterable_v = is_iterable<T>::value
std::atomic< size_t >	bb::unique_transcript_index { 0 }