sp1-recursion-machine 6.2.3

Machine definitions for SP1 recursion
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use sp1_derive::AlignedBorrow;
use sp1_hypercube::operations::poseidon2::WIDTH;
use sp1_recursion_executor::Address;

use crate::chips::mem::MemoryAccessColsChips;

/// A column layout for the preprocessed Poseidon2 AIR.
#[derive(AlignedBorrow, Clone, Copy, Debug)]
#[repr(C)]
pub struct Poseidon2PreprocessedColsWide<T: Copy> {
    pub input: [Address<T>; WIDTH],
    pub output: [MemoryAccessColsChips<T>; WIDTH],
    pub is_real: T,
}