Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::KeccakF1600 Class Reference

#include <keccakf1600.hpp>

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

Public Member Functions

 KeccakF1600 (ExecutionIdManagerInterface &execution_id_manager, EventEmitterInterface< KeccakF1600Event > &keccakf1600_emitter, BitwiseInterface &bitwise, RangeCheckInterface &range_check)
 
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

ExecutionIdManagerInterfaceexecution_id_manager
 
EventEmitterInterface< KeccakF1600Event > & perm_events
 
BitwiseInterfacebitwise
 
RangeCheckInterfacerange_check
 

Detailed Description

Definition at line 53 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 
)
inline

Definition at line 55 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_addrBase slice address pointing to output of KeccakF1600 permutation.
src_addrAddress 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 70 of file keccakf1600.hpp.

◆ execution_id_manager

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

Definition at line 68 of file keccakf1600.hpp.

◆ perm_events

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

Definition at line 69 of file keccakf1600.hpp.

◆ range_check

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

Definition at line 71 of file keccakf1600.hpp.


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