composer_lib.cpp File Reference

Contains some functions that are shared between the various Plonk composers. More...

#include "composer_lib.hpp"
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/srs/factories/crs_factory.hpp"

Namespaces
namespace	proof_system::plonk

Functions
void	proof_system::plonk::compute_monomial_and_coset_selector_forms (plonk::proving_key *circuit_proving_key, std::vector< SelectorProperties > selector_properties)
	Retrieve lagrange forms of selector polynomials and compute monomial and coset-monomial forms and put into cache.
std::shared_ptr< plonk::verification_key >	proof_system::plonk::compute_verification_key_common (std::shared_ptr< plonk::proving_key > const &proving_key, std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > > const &vrs)
	Computes the verification key by computing the: (1) commitments to the selector, permutation, and lagrange (first/last) polynomials, (2) sets the polynomial manifest using the data from proving key.

Detailed Description

Contains some functions that are shared between the various Plonk composers.