goblin_translator_composer.cpp File Reference

Contains the logic for transfroming a Goblin Translator Circuit Builder object into a witness and methods to create prover and verifier objects. More...

#include "goblin_translator_composer.hpp"
#include "barretenberg/flavor/goblin_translator.hpp"
#include "barretenberg/honk/proof_system/permutation_library.hpp"
#include "barretenberg/proof_system/circuit_builder/goblin_translator_circuit_builder.hpp"
#include "barretenberg/proof_system/composer/composer_lib.hpp"
#include "barretenberg/proof_system/composer/permutation_lib.hpp"

Namespaces
namespace	proof_system::honk
	Defines particular circuit builder types expected to be used for circuit construction in stdlib and contains macros for explicit instantiation.

Typedefs
using	proof_system::honk::Flavor = honk::flavor::GoblinTranslator
using	proof_system::honk::Curve = typename Flavor::Curve
using	proof_system::honk::FF = typename Flavor::FF
using	proof_system::honk::CircuitBuilder = typename Flavor::CircuitBuilder
using	proof_system::honk::ProvingKey = typename Flavor::ProvingKey
using	proof_system::honk::VerificationKey = typename Flavor::VerificationKey
using	proof_system::honk::PCS = typename Flavor::PCS
using	proof_system::honk::CommitmentKey = typename Flavor::CommitmentKey
using	proof_system::honk::VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey
using	proof_system::honk::Polynomial = typename Flavor::Polynomial
using	proof_system::honk::Transcript = typename Flavor::Transcript

Functions
std::vector< Polynomial >	proof_system::honk::construct_wire_polynomials_base_goblin_translator (const CircuitBuilder &circuit_builder, const size_t dyadic_circuit_size)
	Construct the witness polynomials from the witness vectors in the circuit constructor.

Detailed Description

Contains the logic for transfroming a Goblin Translator Circuit Builder object into a witness and methods to create prover and verifier objects.

Date

2023-10-05