pub trait Poseidon2<'a, T: Copy + 'a> {
    // Required methods
    fn control_flow(&self) -> &ControlFlow<T>;
    fn syscall_params(&self) -> &SyscallParams<T>;
    fn memory(&self) -> &Memory<T>;
    fn opcode_workspace(&self) -> &OpcodeWorkspace<T>;
    fn permutation(&self) -> Box<dyn Permutation<T> + 'a>;
}
Expand description

Trait for getter methods for Poseidon2 columns.

Required Methods§

source

fn control_flow(&self) -> &ControlFlow<T>

source

fn syscall_params(&self) -> &SyscallParams<T>

source

fn memory(&self) -> &Memory<T>

source

fn opcode_workspace(&self) -> &OpcodeWorkspace<T>

source

fn permutation(&self) -> Box<dyn Permutation<T> + 'a>

Implementors§

source§

impl<'a, T: Copy + 'a> Poseidon2<'a, T> for Poseidon2Degree3<T>

source§

impl<'a, T: Copy + 'a> Poseidon2<'a, T> for Poseidon2Degree9<T>