bb::avm2::simulation::CalldataHasher Class Reference

#include <calldata_hashing.hpp>

Inheritance diagram for bb::avm2::simulation::CalldataHasher:

Public Member Functions
	CalldataHasher (uint32_t context_id, Poseidon2Interface &hasher, EventEmitterInterface< CalldataEvent > &events)
void	assert_calldata_hash (const FF &cd_hash, std::span< const FF > calldata) override
	Assert that the given calldata hashes to the expected hash, and emit a calldata event.
Public Member Functions inherited from bb::avm2::simulation::CalldataHashingInterface
virtual	~CalldataHashingInterface ()=default

Private Attributes
uint32_t	context_id
EventEmitterInterface< CalldataEvent > &	events
Poseidon2Interface &	hasher

Detailed Description

Definition at line 15 of file calldata_hashing.hpp.

Constructor & Destructor Documentation

CalldataHasher()

bb::avm2::simulation::CalldataHasher::CalldataHasher ( uint32_t  context_id, Poseidon2Interface &  hasher, EventEmitterInterface< CalldataEvent > &  events  )

inline

Definition at line 17 of file calldata_hashing.hpp.

Member Function Documentation

assert_calldata_hash()

void bb::avm2::simulation::CalldataHasher::assert_calldata_hash ( const FF &  cd_hash, std::span< const FF >  calldata  )

overridevirtual

Assert that the given calldata hashes to the expected hash, and emit a calldata event.

Prepends the public calldata domain separator, hashes via Poseidon2, and asserts the result matches the provided hash. Emits a CalldataEvent for trace generation.

Parameters

cd_hash	The expected calldata hash.
calldata	The calldata fields to hash.

Note

Asserts that the computed Poseidon2 hash of the calldata (with domain separator) equals cd_hash.

Implements bb::avm2::simulation::CalldataHashingInterface.

Definition at line 20 of file calldata_hashing.cpp.

Member Data Documentation

context_id

uint32_t bb::avm2::simulation::CalldataHasher::context_id

private

Definition at line 26 of file calldata_hashing.hpp.

events

EventEmitterInterface<CalldataEvent>& bb::avm2::simulation::CalldataHasher::events

private

Definition at line 27 of file calldata_hashing.hpp.

hasher

Poseidon2Interface& bb::avm2::simulation::CalldataHasher::hasher

private

Definition at line 28 of file calldata_hashing.hpp.

---

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

• src/barretenberg/vm2/simulation/gadgets/calldata_hashing.hpp
• src/barretenberg/vm2/simulation/gadgets/calldata_hashing.cpp