Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Protected Member Functions | Private Types | List of all members
TranslatorTests Class Reference
Inheritance diagram for TranslatorTests:

Static Protected Member Functions

static void SetUpTestSuite ()
 
static TranscriptManifest build_expected_translator_manifest ()
 Build the expected transcript manifest for Translator verification.
 
static void add_random_ops (std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count=1)
 
static void add_mixed_ops (std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count=100)
 
static CircuitBuilder generate_test_circuit (const Fq &batching_challenge_v, const Fq &evaluation_challenge_x, const size_t circuit_size_parameter=500)
 
static bool prove_and_verify (const CircuitBuilder &circuit_builder, const Fq &evaluation_challenge_x, const Fq &batching_challenge_v)
 
static bool prove_and_verify_short_monomial (const CircuitBuilder &circuit_builder, const Fq &evaluation_challenge_x, const Fq &batching_challenge_v)
 
template<typename FullRelation , typename ShortRelation >
static void expect_short_relation_matches_full_edges (const TranslatorShortMonomialFlavor::ProverUnivariates< 2 > &in, const RelationParameters< FF > &params, const FF &scaling_factor)
 
static TranslatorShortMonomialFlavor::ProverUnivariates< 2 > get_short_edge_input (bool random_inputs)
 

Private Types

using G1 = g1::affine_element
 
using Fr = fr
 
using Fq = fq
 
using Flavor = TranslatorFlavor
 
using FF = Flavor::FF
 
using Commitment = Flavor::Commitment
 

Detailed Description

Definition at line 54 of file translator.test.cpp.

Member Typedef Documentation

◆ Commitment

using TranslatorTests::Commitment = Flavor::Commitment
private

Definition at line 60 of file translator.test.cpp.

◆ FF

using TranslatorTests::FF = Flavor::FF
private

Definition at line 59 of file translator.test.cpp.

◆ Flavor

using TranslatorTests::Flavor = TranslatorFlavor
private

Definition at line 58 of file translator.test.cpp.

◆ Fq

using TranslatorTests::Fq = fq
private

Definition at line 57 of file translator.test.cpp.

◆ Fr

using TranslatorTests::Fr = fr
private

Definition at line 56 of file translator.test.cpp.

◆ G1

using TranslatorTests::G1 = g1::affine_element
private

Definition at line 55 of file translator.test.cpp.

Member Function Documentation

◆ add_mixed_ops()

static void TranslatorTests::add_mixed_ops ( std::shared_ptr< bb::ECCOpQueue > &  op_queue,
size_t  count = 100 
)
inlinestaticprotected

Definition at line 184 of file translator.test.cpp.

◆ add_random_ops()

static void TranslatorTests::add_random_ops ( std::shared_ptr< bb::ECCOpQueue > &  op_queue,
size_t  count = 1 
)
inlinestaticprotected

Definition at line 177 of file translator.test.cpp.

◆ build_expected_translator_manifest()

static TranscriptManifest TranslatorTests::build_expected_translator_manifest ( )
inlinestaticprotected

Build the expected transcript manifest for Translator verification.

The manifest has 25 rounds total (0-24):

  • Round 0: vk_hash, Gemini masking, 10 wire commitments -> beta, gamma challenges
  • Round 1: Z_PERM -> Sumcheck:alpha + all gate challenges
  • Round 2: Libra:concatenation_commitment + Sum -> Libra:Challenge
  • Rounds 3-15: Sumcheck univariates for rounds 0-12 (mini-circuit rounds)
  • Round 16: minicircuit_evaluations(154) + univariate_13 -> u_13
  • Rounds 17-19: Sumcheck univariates for rounds 14-16
  • Round 20: Sumcheck full-circuit evaluations(26) + Libra commitments -> rho
  • Round 21: Gemini fold commitments -> Gemini:r
  • Round 22: Gemini evaluations + Libra evals -> Shplonk:nu
  • Round 23: Shplonk:Q -> Shplonk:z
  • Round 24: KZG:W

Definition at line 80 of file translator.test.cpp.

◆ expect_short_relation_matches_full_edges()

template<typename FullRelation , typename ShortRelation >
static void TranslatorTests::expect_short_relation_matches_full_edges ( const TranslatorShortMonomialFlavor::ProverUnivariates< 2 > &  in,
const RelationParameters< FF > &  params,
const FF &  scaling_factor 
)
inlinestaticprotected

Definition at line 299 of file translator.test.cpp.

◆ generate_test_circuit()

static CircuitBuilder TranslatorTests::generate_test_circuit ( const Fq &  batching_challenge_v,
const Fq &  evaluation_challenge_x,
const size_t  circuit_size_parameter = 500 
)
inlinestaticprotected

Definition at line 197 of file translator.test.cpp.

◆ get_short_edge_input()

static TranslatorShortMonomialFlavor::ProverUnivariates< 2 > TranslatorTests::get_short_edge_input ( bool  random_inputs)
inlinestaticprotected

Definition at line 316 of file translator.test.cpp.

◆ prove_and_verify()

static bool TranslatorTests::prove_and_verify ( const CircuitBuilder &  circuit_builder,
const Fq &  evaluation_challenge_x,
const Fq &  batching_challenge_v 
)
inlinestaticprotected

Definition at line 214 of file translator.test.cpp.

◆ prove_and_verify_short_monomial()

static bool TranslatorTests::prove_and_verify_short_monomial ( const CircuitBuilder &  circuit_builder,
const Fq &  evaluation_challenge_x,
const Fq &  batching_challenge_v 
)
inlinestaticprotected

Definition at line 261 of file translator.test.cpp.

◆ SetUpTestSuite()

static void TranslatorTests::SetUpTestSuite ( )
inlinestaticprotected

Definition at line 63 of file translator.test.cpp.

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