bb::IsDeserializableFromPublicInputs Concept Reference

A concept defining requirements for types that are to be deserialized from the public inputs of a circuit via the PublicInputComponent class. More...

#include <public_input_component.hpp>

Concept definition

template<typename ComponentType>
concept bb::IsDeserializableFromPublicInputs = 
    requires(std::span<bb::fr, ComponentType::PUBLIC_INPUTS_SIZE> public_inputs) {
        { 
            ComponentType::reconstruct_from_public(public_inputs)
        } -> std::same_as<ComponentType>;
        { 
            ComponentType::PUBLIC_INPUTS_SIZE
        } -> std::convertible_to<size_t>;
    }

Detailed Description

A concept defining requirements for types that are to be deserialized from the public inputs of a circuit via the PublicInputComponent class.

Template Parameters

ComponentType

The type of the object to be deserialized

Definition at line 23 of file public_input_component.hpp.