public_inputs_trace.cpp

Go to the documentation of this file.

#include "barretenberg/vm2/tracegen/public_inputs_trace.hpp"
 
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
 
namespace bb::avm2::tracegen {
 
void PublicInputsTraceBuilder::process_public_inputs(TraceContainer& trace, const PublicInputs& public_inputs)
{
    using C = Column;
 
    auto cols = public_inputs.to_columns();
 
    trace.reserve_column(C::public_inputs_cols_0_, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
    trace.reserve_column(C::public_inputs_cols_1_, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
    trace.reserve_column(C::public_inputs_cols_2_, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
    trace.reserve_column(C::public_inputs_cols_3_, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
 
    for (uint32_t row = 0; row < AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH; row++) {
        trace.set(C::public_inputs_cols_0_, row, cols[0][row]);
        trace.set(C::public_inputs_cols_1_, row, cols[1][row]);
        trace.set(C::public_inputs_cols_2_, row, cols[2][row]);
        trace.set(C::public_inputs_cols_3_, row, cols[3][row]);
    }
}
 
// precomputed trace size must be greater than the public inputs trace size
// because we use precomputed_idx to lookup into the public inputs trace.
static_assert(PRECOMPUTED_TRACE_SIZE >= AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
 
void PublicInputsTraceBuilder::process_public_inputs_aux_precomputed(TraceContainer& trace)
{
    using C = Column;
 
    // sel is precomputed to be 1 for all rows up to AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH
    trace.reserve_column(C::public_inputs_sel, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH);
    for (uint32_t row = 0; row < AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH; row++) {
        trace.set(C::public_inputs_sel, row, 1);
    }
}
 
} // namespace bb::avm2::tracegen