Member bb::BaseTranscript< Codec_, HashFunction_ >::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 smt_circuit::UltraCircuit::handle_delta_range_relation (size_t cursor): Useless?
Member smt_circuit::UltraCircuit::simulate_circuit_eval (std::vector< bb::fr > &witness) const override: Do we actually need this here?
Member smt_terms::SymSet< sym_entry >::contains (const sym_entry &entry) const: (alex) maybe it should return the term value, for bool comaptibility