keccakf1600_event.hpp File Reference

#include <array>
#include <cstdint>
#include <stdexcept>
#include <string>
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::simulation::KeccakF1600Exception
	Exception thrown on errors during the Keccak-f[1600] permutation. More...
struct	bb::avm2::simulation::KeccakF1600RoundData
	Intermediate values produced by a single Keccak-f[1600] round. More...
struct	bb::avm2::simulation::KeccakF1600Event
	Event emitted by the Keccak-f[1600] simulation for trace generation. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::simulation
	AVM range check gadget for witness generation.

Typedefs
using	bb::avm2::simulation::KeccakF1600State = std::array< std::array< uint64_t, 5 >, 5 >
	5x5 matrix of 64-bit words representing the Keccak state A[x][y].
using	bb::avm2::simulation::KeccakF1600StateMemValues = std::array< std::array< MemoryValue, 5 >, 5 >
	5x5 matrix of MemoryValue representing the Keccak state (used during simulation).