bb::stdlib::IsSerializableToAndFromPublicInputs Concept Reference

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

#include <public_input_component.hpp>

Concept definition

template<typename ComponentType>
concept bb::stdlib::IsSerializableToAndFromPublicInputs =  requires(
    ComponentType component,
    std::span<stdlib::field_t<typename ComponentType::Builder>, ComponentType::PUBLIC_INPUTS_SIZE> public_inputs) {
    { 
        component.set_public()
    } -> std::same_as<uint32_t>;
    { 
        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 serialized to and from the public inputs of a circuit via the PublicInputComponent class.

Template Parameters

ComponentType

The type of the object to be serialized

Definition at line 21 of file public_input_component.hpp.