Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::test::TranscriptTest< Codec, HashFunction > Class Template Reference

#include <transcript_test_fixture.hpp>

Inheritance diagram for bb::test::TranscriptTest< Codec, HashFunction >:

Classes

struct  GetBuilder
 
struct  GetBuilder< C, std::void_t< typename C::Builder > >
 

Public Types

using Transcript = BaseTranscript< Codec, HashFunction >
 
using FF = typename Codec::fr
 
using BF = typename Codec::fq
 
using bn254_commitment = typename Codec::bn254_commitment
 
using grumpkin_commitment = typename Codec::grumpkin_commitment
 
using BuilderType = typename GetBuilder< Codec >::type
 

Public Member Functions

void SetUp () override
 
void skip_if_native (const char *reason)
 
void skip_if_stdlib (const char *reason)
 
void check_circuit ()
 
auto export_proof (NativeTranscript &prover)
 
template<typename T >
auto to_native (const T &val) const
 
void test_scalar_send_receive ()
 
void test_basefield_send_receive ()
 
void test_bn254_commitment_send_receive ()
 
void test_grumpkin_commitment_send_receive ()
 
template<size_t SIZE>
void test_array_send_receive ()
 
template<size_t SIZE>
void test_grumpkin_field_array_send_receive ()
 
template<size_t LENGTH>
void test_univariate_send_receive ()
 
template<size_t LENGTH>
void test_grumpkin_univariate_send_receive ()
 
void test_bn254_infinity_handling ()
 
void test_grumpkin_infinity_handling ()
 
void test_multi_round_protocol ()
 
void test_manifest_consistency ()
 
void test_challenges_are_nonzero ()
 
void test_hash_buffer_consistency ()
 
void test_prover_to_verifier_conversion ()
 
void test_tampering_detection ()
 

Public Attributes

BuilderType builder
 

Static Public Attributes

static constexpr bool IsStdlib = Transcript::in_circuit
 

Detailed Description

template<typename Codec, typename HashFunction>
class bb::test::TranscriptTest< Codec, HashFunction >

Definition at line 21 of file transcript_test_fixture.hpp.

Member Typedef Documentation

◆ BF

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::BF = typename Codec::fq

Definition at line 25 of file transcript_test_fixture.hpp.

◆ bn254_commitment

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::bn254_commitment = typename Codec::bn254_commitment

Definition at line 26 of file transcript_test_fixture.hpp.

◆ BuilderType

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::BuilderType = typename GetBuilder<Codec>::type

Definition at line 40 of file transcript_test_fixture.hpp.

◆ FF

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::FF = typename Codec::fr

Definition at line 24 of file transcript_test_fixture.hpp.

◆ grumpkin_commitment

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::grumpkin_commitment = typename Codec::grumpkin_commitment

Definition at line 27 of file transcript_test_fixture.hpp.

◆ Transcript

template<typename Codec , typename HashFunction >
using bb::test::TranscriptTest< Codec, HashFunction >::Transcript = BaseTranscript<Codec, HashFunction>

Definition at line 23 of file transcript_test_fixture.hpp.

Member Function Documentation

◆ check_circuit()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::check_circuit ( )
inline

Definition at line 67 of file transcript_test_fixture.hpp.

◆ export_proof()

template<typename Codec , typename HashFunction >
auto bb::test::TranscriptTest< Codec, HashFunction >::export_proof ( NativeTranscript &  prover)
inline

Definition at line 75 of file transcript_test_fixture.hpp.

◆ SetUp()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::SetUp ( )
inlineoverride

Definition at line 42 of file transcript_test_fixture.hpp.

◆ skip_if_native()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::skip_if_native ( const char *  reason)
inline

Definition at line 53 of file transcript_test_fixture.hpp.

◆ skip_if_stdlib()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::skip_if_stdlib ( const char *  reason)
inline

Definition at line 60 of file transcript_test_fixture.hpp.

◆ test_array_send_receive()

template<typename Codec , typename HashFunction >
template<size_t SIZE>
void bb::test::TranscriptTest< Codec, HashFunction >::test_array_send_receive ( )
inline

Definition at line 149 of file transcript_test_fixture.hpp.

◆ test_basefield_send_receive()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_basefield_send_receive ( )
inline

Definition at line 107 of file transcript_test_fixture.hpp.

◆ test_bn254_commitment_send_receive()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_bn254_commitment_send_receive ( )
inline

Definition at line 121 of file transcript_test_fixture.hpp.

◆ test_bn254_infinity_handling()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_bn254_infinity_handling ( )
inline

Definition at line 239 of file transcript_test_fixture.hpp.

◆ test_challenges_are_nonzero()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_challenges_are_nonzero ( )
inline

Definition at line 340 of file transcript_test_fixture.hpp.

◆ test_grumpkin_commitment_send_receive()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_grumpkin_commitment_send_receive ( )
inline

Definition at line 135 of file transcript_test_fixture.hpp.

◆ test_grumpkin_field_array_send_receive()

template<typename Codec , typename HashFunction >
template<size_t SIZE>
void bb::test::TranscriptTest< Codec, HashFunction >::test_grumpkin_field_array_send_receive ( )
inline

Definition at line 168 of file transcript_test_fixture.hpp.

◆ test_grumpkin_infinity_handling()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_grumpkin_infinity_handling ( )
inline

Definition at line 258 of file transcript_test_fixture.hpp.

◆ test_grumpkin_univariate_send_receive()

template<typename Codec , typename HashFunction >
template<size_t LENGTH>
void bb::test::TranscriptTest< Codec, HashFunction >::test_grumpkin_univariate_send_receive ( )
inline

Definition at line 210 of file transcript_test_fixture.hpp.

◆ test_hash_buffer_consistency()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_hash_buffer_consistency ( )
inline

Definition at line 354 of file transcript_test_fixture.hpp.

◆ test_manifest_consistency()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_manifest_consistency ( )
inline

Definition at line 317 of file transcript_test_fixture.hpp.

◆ test_multi_round_protocol()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_multi_round_protocol ( )
inline

Definition at line 277 of file transcript_test_fixture.hpp.

◆ test_prover_to_verifier_conversion()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_prover_to_verifier_conversion ( )
inline

Definition at line 370 of file transcript_test_fixture.hpp.

◆ test_scalar_send_receive()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_scalar_send_receive ( )
inline

Definition at line 93 of file transcript_test_fixture.hpp.

◆ test_tampering_detection()

template<typename Codec , typename HashFunction >
void bb::test::TranscriptTest< Codec, HashFunction >::test_tampering_detection ( )
inline

Definition at line 392 of file transcript_test_fixture.hpp.

◆ test_univariate_send_receive()

template<typename Codec , typename HashFunction >
template<size_t LENGTH>
void bb::test::TranscriptTest< Codec, HashFunction >::test_univariate_send_receive ( )
inline

Definition at line 190 of file transcript_test_fixture.hpp.

◆ to_native()

template<typename Codec , typename HashFunction >
template<typename T >
auto bb::test::TranscriptTest< Codec, HashFunction >::to_native ( const T &  val) const
inline

Definition at line 84 of file transcript_test_fixture.hpp.

Member Data Documentation

◆ builder

template<typename Codec , typename HashFunction >
BuilderType bb::test::TranscriptTest< Codec, HashFunction >::builder

Definition at line 430 of file transcript_test_fixture.hpp.

◆ IsStdlib

template<typename Codec , typename HashFunction >
constexpr bool bb::test::TranscriptTest< Codec, HashFunction >::IsStdlib = Transcript::in_circuit
staticconstexpr

Definition at line 29 of file transcript_test_fixture.hpp.

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