keccakf1600_event.hpp

Go to the documentation of this file.

#pragma once
 
#include <array>
#include <cstdint>
#include <stdexcept>
#include <string>
 
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
 
namespace bb::avm2::simulation {
 
struct KeccakF1600Exception : public std::runtime_error {
    explicit KeccakF1600Exception(const std::string& message)
        : std::runtime_error("Error in KeccakF1600 permutation: " + message)
    {}
};
 
using KeccakF1600State = std::array<std::array<uint64_t, 5>, 5>;
using KeccakF1600StateMemValues = std::array<std::array<MemoryValue, 5>, 5>;
 
struct KeccakF1600RoundData {
    KeccakF1600State state{};                           
    std::array<std::array<uint64_t, 4>, 5> theta_xor{}; 
    std::array<uint64_t, 5> theta_xor_row_rotl1{};      
    std::array<uint64_t, 5> theta_combined_xor{};       
    KeccakF1600State state_theta{};                     
    KeccakF1600State state_rho{};                       
    KeccakF1600State state_pi_not{};                    
    KeccakF1600State state_pi_and{};                    
    KeccakF1600State state_chi{};                       
    uint64_t state_iota_00 = 0;                         
};
 
struct KeccakF1600Event {
    uint32_t execution_clk = 0;
    MemoryAddress dst_addr = 0;
    MemoryAddress src_addr = 0;
    std::array<MemoryValue, AVM_KECCAKF1600_STATE_SIZE> src_mem_values{};
    uint16_t space_id = 0;
    std::array<KeccakF1600RoundData, AVM_KECCAKF1600_NUM_ROUNDS> rounds{}; 
    bool dst_out_of_range = false;
    bool src_out_of_range = false;
    bool tag_error = false;
};
 
} // namespace bb::avm2::simulation