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 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
 

Detailed Description

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

Member Typedef Documentation

◆ Fq

using TranslatorTests::Fq = fq
private

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

◆ Fr

using TranslatorTests::Fr = fr
private

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

◆ G1

using TranslatorTests::G1 = g1::affine_element
private

Definition at line 19 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 34 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 27 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 47 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 65 of file translator.test.cpp.

◆ SetUpTestSuite()

static void TranslatorTests::SetUpTestSuite ( )
inlinestaticprotected

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

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