bb::avm2::simulation::KeccakF1600 Class Reference

#include <keccakf1600.hpp>

Inheritance diagram for bb::avm2::simulation::KeccakF1600:

Public Member Functions
	KeccakF1600 (ExecutionIdManagerInterface &execution_id_manager, EventEmitterInterface< KeccakF1600Event > &keccakf1600_emitter, BitwiseInterface &bitwise, RangeCheckInterface &range_check, GreaterThanInterface &gt)
void	permutation (MemoryInterface &memory, MemoryAddress dst_addr, MemoryAddress src_addr) override
	Permutation Keccak-f[1600] consisting in AVM_KECCAKF1600_NUM_ROUNDS (24) rounds and a state of 25 64-bit values (aliased as KeccakF1600State).
Public Member Functions inherited from bb::avm2::simulation::KeccakF1600Interface
virtual	~KeccakF1600Interface ()=default

Private Attributes
ExecutionIdManagerInterface &	execution_id_manager
EventEmitterInterface< KeccakF1600Event > &	perm_events
BitwiseInterface &	bitwise
RangeCheckInterface &	range_check
GreaterThanInterface &	gt

Detailed Description

Definition at line 49 of file keccakf1600.hpp.

Constructor & Destructor Documentation

KeccakF1600()

bb::avm2::simulation::KeccakF1600::KeccakF1600 ( ExecutionIdManagerInterface &  execution_id_manager, EventEmitterInterface< KeccakF1600Event > &  keccakf1600_emitter, BitwiseInterface &  bitwise, RangeCheckInterface &  range_check, GreaterThanInterface &  gt  )

inline

Definition at line 51 of file keccakf1600.hpp.

Member Function Documentation

permutation()

void bb::avm2::simulation::KeccakF1600::permutation ( MemoryInterface &  memory, MemoryAddress  dst_addr, MemoryAddress  src_addr  )

overridevirtual

Permutation Keccak-f[1600] consisting in AVM_KECCAKF1600_NUM_ROUNDS (24) rounds and a state of 25 64-bit values (aliased as KeccakF1600State).

Parameters

memory
dst_addr	Base slice address pointing to output of KeccakF1600 permutation.
src_addr	Address pointing to a contiguous memory slice containing KeccakF1600State input.

Implements bb::avm2::simulation::KeccakF1600Interface.

Definition at line 67 of file keccakf1600.cpp.

Member Data Documentation

bitwise

BitwiseInterface& bb::avm2::simulation::KeccakF1600::bitwise

private

Definition at line 68 of file keccakf1600.hpp.

execution_id_manager

ExecutionIdManagerInterface& bb::avm2::simulation::KeccakF1600::execution_id_manager

private

Definition at line 66 of file keccakf1600.hpp.

gt

GreaterThanInterface& bb::avm2::simulation::KeccakF1600::gt

private

Definition at line 70 of file keccakf1600.hpp.

perm_events

EventEmitterInterface<KeccakF1600Event>& bb::avm2::simulation::KeccakF1600::perm_events

private

Definition at line 67 of file keccakf1600.hpp.

range_check

RangeCheckInterface& bb::avm2::simulation::KeccakF1600::range_check

private

Definition at line 69 of file keccakf1600.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/simulation/gadgets/keccakf1600.hpp
• src/barretenberg/vm2/simulation/gadgets/keccakf1600.cpp