bytecode_hashing.cpp

Go to the documentation of this file.

#include "barretenberg/vm2/simulation/gadgets/bytecode_hashing.hpp"
 
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
 
namespace bb::avm2::simulation {
 
void BytecodeHasher::assert_public_bytecode_commitment(const BytecodeId& bytecode_id,
                                                       const std::vector<uint8_t>& bytecode,
                                                       const FF& public_bytecode_commitment)
{
    BB_BENCH_NAME("BytecodeHasher::assert_public_bytecode_commitment");
    // TODO(MW): Remove bytecode length from event?
    [[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);
    assert(hash == public_bytecode_commitment);
    // To please the compiler.
    (void)hash;
    (void)public_bytecode_commitment;
 
    events.emit({ .bytecode_id = bytecode_id,
                  .bytecode_length = bytecode_length_in_bytes,
                  .bytecode_fields = std::move(bytecode_as_fields) });
}
 
} // namespace bb::avm2::simulation