Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
calldata_hashing.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include <memory>
5#include <span>
6
12
13namespace bb::avm2::simulation {
14
30
47
48} // namespace bb::avm2::simulation
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.
CalldataHasher(uint32_t context_id, Poseidon2Interface &hasher, EventEmitterInterface< CalldataEvent > &events)
std::unique_ptr< CalldataHashingInterface > make_calldata_hasher(uint32_t context_id) override
CalldataHashingProvider(Poseidon2Interface &hasher, EventEmitterInterface< CalldataEvent > &event_emitter)
EventEmitterInterface< CalldataEvent > & events
EventEmitter< DataCopyEvent > event_emitter
AVM range check gadget for witness generation.
AvmFlavorSettings::FF FF
Definition field.hpp:10
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
uint32_t context_id