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)
 

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 19 of file translator.test.cpp.

Member Typedef Documentation

◆ Commitment

using TranslatorTests::Commitment = Flavor::Commitment
private

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

◆ FF

using TranslatorTests::FF = Flavor::FF
private

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

◆ Flavor

using TranslatorTests::Flavor = TranslatorFlavor
private

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

◆ Fq

using TranslatorTests::Fq = fq
private

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

◆ Fr

using TranslatorTests::Fr = fr
private

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

◆ G1

using TranslatorTests::G1 = g1::affine_element
private

Definition at line 20 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 173 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 166 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 43 rounds total:

  • Round 0: vk_hash, Gemini masking, 82 wire commitments -> beta challenge
  • Round 1: (empty) -> gamma challenge
  • Round 2: Z_PERM -> Sumcheck:alpha challenge
  • Rounds 3-19: Gate challenges (17 rounds)
  • Round 20: Libra:concatenation_commitment + Sum -> Libra:Challenge
  • Rounds 21-37: Sumcheck univariates (17 rounds)
  • Round 38: Sumcheck evaluations + Libra commitments -> rho
  • Round 39: Gemini fold commitments -> Gemini:r
  • Round 40: Gemini evaluations + Libra evals -> Shplonk:nu
  • Round 41: Shplonk:Q -> Shplonk:z
  • Round 42: KZG:W -> KZG:masking_challenge

Definition at line 45 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 186 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 204 of file translator.test.cpp.

◆ SetUpTestSuite()

static void TranslatorTests::SetUpTestSuite ( )
inlinestaticprotected

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

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