: This reflects the design of Plonk. Perhaps we should author new classes to better reflect the structure of the newer code since there's much more of that code now?

Class barretenberg::BarycentricDataCompileTime< Fr, domain_end, num_evals, domain_start >

: TODO(https://github.com/AztecProtocol/barretenberg/issues/713) Optimize with lookup tables?

Member barretenberg::GoblinTestingUtils::perform_op_queue_interactions_for_mock_first_circuit (std::shared_ptr< proof_system::ECCOpQueue > &op_queue)

The transcript aggregation protocol in the Goblin proof system can not yet support an empty "previous transcript" (see issue #723) because the corresponding commitments are zero / the point at infinity. This function mocks the interactions with the op queue of a fictional "first" circuit. This way, when we go to generate a proof over our first "real" circuit, the transcript aggregation protocol can proceed nominally. The mock data is valid in the sense that it can be processed by all stages of Goblin as if it came from a genuine circuit.

File flavor.hpp

TODO(#395): Getters should return arrays?

TODO(#396): Access specifiers?

TODO(#397): Use more handle types?

TODO(#398): Selectors should come from arithmetization.

Member proof_system::honk::BaseTranscript::send_to_verifier (const std::string &label, const T &element)

Use a concept to only allow certain types to be passed. Requirements are that the object should be serializable.

Member proof_system::honk::construct_wire_polynomials_base_goblin_translator (const CircuitBuilder &circuit_builder, const size_t dyadic_circuit_size)

TODO(https://github.com/AztecProtocol/barretenberg/issues/783) Optimize memory operations.

Member proof_system::honk::flavor::ECCVMBase< CycleGroup_T, Curve_T, PCS_T >::FoldedPolynomials

TODO(#394) Use polynomial classes for guaranteed memory alignment.

Member proof_system::honk::flavor::ECCVMBase< CycleGroup_T, Curve_T, PCS_T >::RowPolynomials

TODO(#394) Use polynomial classes for guaranteed memory alignment.

Member proof_system::honk::flavor::GoblinTranslator::RowPolynomials

TODO(#394) Use polynomial classes for guaranteed memory alignment.

Member proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >::extend_univariates (ExtendedUnivariates &extended_univariates, const ProverInstances &instances, const size_t row_idx)

TODO(https://github.com/AztecProtocol/barretenberg/issues/751) Optimize memory

Class proof_system::plonk::stdlib::recursion::utility::StdlibTypesUtility< Builder >

Eliminate the need for these somehow?

Class smt_solver::SolverConfiguration

TODO(alex): more cvc5 options.

Class smt_terms::FFITerm

TODO(alex): mayb.. Have to patch cvc5 to create integers from hex...