sp1-recursion-core 5.2.4

SP1 is a performant, 100% open-source, contributor-friendly zkVM.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#pragma once

#include "prelude.hpp"

namespace sp1_recursion_core_sys::public_values {
template <class F>
__SP1_HOSTDEV__ void event_to_row(const CommitPublicValuesEvent<F>& event,
                                  size_t digest_idx,
                                  PublicValuesCols<F>& cols) {
  cols.pv_element = event.public_values.digest[digest_idx];
}

template <class F>
__SP1_HOSTDEV__ void instr_to_row(const CommitPublicValuesInstr<F>& instr,
                                  size_t digest_idx,
                                  PublicValuesPreprocessedCols<F>& cols) {
  cols.pv_idx[digest_idx] = F::one();
  cols.pv_mem.addr = instr.pv_addrs.digest[digest_idx];
  cols.pv_mem.mult = F::zero() - F::one();
}
}  // namespace sp1_recursion_core_sys::public_values