Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
sha256_event.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <array>
4#include <cstdint>
5#include <stdexcept>
6#include <string>
7#include <vector>
8
10
11namespace bb::avm2::simulation {
12
13namespace {
14
15const auto default_value = MemoryValue::from_tag(MemoryTag::FF, 0);
16
17const std::array<MemoryValue, 8> DEFAULT_STATE = { default_value, default_value, default_value, default_value,
18 default_value, default_value, default_value, default_value };
19
20} // namespace
21
22struct Sha256CompressionException : public std::runtime_error {
23 Sha256CompressionException(const std::string& message)
24 : std::runtime_error("Sha256CompressionException: " + message)
25 {}
26};
27
38
39} // namespace bb::avm2::simulation
static TaggedValue from_tag(ValueTag tag, FF value)
AVM range check gadget for witness generation.
uint32_t MemoryAddress
STL namespace.
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
Sha256CompressionException(const std::string &message)