HasPlookup Concept Reference

Contains all the headers required to adequately compile the types defined in circuit_builders_fwd.hpp and instantiate templates. More...

#include <circuit_builders.hpp>

Concept definition

template<typename T>
concept HasPlookup = 
    proof_system::IsAnyOf<T, proof_system::UltraCircuitBuilder, proof_system::GoblinUltraCircuitBuilder>

Detailed Description

Contains all the headers required to adequately compile the types defined in circuit_builders_fwd.hpp and instantiate templates.