proof_system::plonk::ProverRandomWidget Class Reference

Inheritance diagram for proof_system::plonk::ProverRandomWidget:

Public Member Functions
	ProverRandomWidget (proving_key *input_key)
	ProverRandomWidget (const ProverRandomWidget &other)
	ProverRandomWidget (ProverRandomWidget &&other)
ProverRandomWidget &	operator= (const ProverRandomWidget &other)
ProverRandomWidget &	operator= (ProverRandomWidget &&other)
virtual void	compute_round_commitments (transcript::StandardTranscript &, const size_t, work_queue &)
virtual barretenberg::fr	compute_quotient_contribution (const barretenberg::fr &alpha_base, const transcript::StandardTranscript &transcript)=0

Public Attributes
proving_key *	key

Protected Types
typedef barretenberg::fr	fr
typedef barretenberg::polynomial	polynomial

Member Function Documentation

compute_quotient_contribution()

virtual barretenberg::fr proof_system::plonk::ProverRandomWidget::compute_quotient_contribution ( const barretenberg::fr &  alpha_base, const transcript::StandardTranscript &  transcript  )

pure virtual

Implemented in proof_system::plonk::ProverPermutationWidget< program_width, idpolys, num_roots_cut_out_of_vanishing_polynomial >, and proof_system::plonk::ProverPlookupWidget< num_roots_cut_out_of_vanishing_polynomial >.

compute_round_commitments()

virtual void proof_system::plonk::ProverRandomWidget::compute_round_commitments ( transcript::StandardTranscript &  , const  size_t, work_queue &    )

inlinevirtual

Reimplemented in proof_system::plonk::ProverPermutationWidget< program_width, idpolys, num_roots_cut_out_of_vanishing_polynomial >, and proof_system::plonk::ProverPlookupWidget< num_roots_cut_out_of_vanishing_polynomial >.

---

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

• src/barretenberg/plonk/proof_system/widgets/random_widgets/random_widget.hpp