bytecode_hashing.cpp

Go to the documentation of this file.

#include "barretenberg/vm2/simulation/bytecode_hashing.hpp"
 
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
 
namespace bb::avm2::simulation {
 
FF BytecodeHasher::compute_public_bytecode_commitment([[maybe_unused]] const BytecodeId bytecode_id,
                                                      const std::vector<uint8_t>& bytecode)
{
    [[maybe_unused]] auto bytecode_length_in_bytes = static_cast<uint32_t>(bytecode.size());
 
    std::vector<FF> inputs = { GENERATOR_INDEX__PUBLIC_BYTECODE };
    auto bytecode_as_fields = encode_bytecode(bytecode);
    inputs.insert(inputs.end(), bytecode_as_fields.begin(), bytecode_as_fields.end());
 
    FF hash = hasher.hash(inputs);
 
    // TODO(dbanks12): re-enable once C++ and PIL use standard poseidon2 hashing for bytecode commitments.
    // events.emit({ .bytecode_id = bytecode_id,
    //               .bytecode_length = bytecode_length_in_bytes,
    //               .bytecode_fields = std::move(bytecode_as_fields) });
    return hash;
}
 
} // namespace bb::avm2::simulation