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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

#pragma once

#include "prelude.hpp"

namespace sp1_recursion_core_sys::alu_ext {
template <class F>
__SP1_HOSTDEV__ void event_to_row(const ExtAluEvent<F>& event,
                                  ExtAluValueCols<F>& cols) {
  cols.vals = event;
}

template <class F>
__SP1_HOSTDEV__ void instr_to_row(const ExtAluInstr<F>& instr,
                                  ExtAluAccessCols<F>& access) {
  access.addrs = instr.addrs;
  access.is_add = F(0);
  access.is_sub = F(0);
  access.is_mul = F(0);
  access.is_div = F(0);
  access.mult = instr.mult;

  switch (instr.opcode) {
    case ExtAluOpcode::AddE:
      access.is_add = F(1);
      break;
    case ExtAluOpcode::SubE:
      access.is_sub = F(1);
      break;
    case ExtAluOpcode::MulE:
      access.is_mul = F(1);
      break;
    case ExtAluOpcode::DivE:
      access.is_div = F(1);
      break;
  }
}
}  // namespace sp1_recursion_core_sys::alu_ext