18 default_value, default_value, default_value, default_value };
24 :
std::runtime_error(
"Sha256CompressionException: " + message)
static TaggedValue from_tag(ValueTag tag, FF value)
AVM range check gadget for witness generation.
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
std::array< MemoryValue, 8 > state
MemoryAddress output_addr
std::vector< MemoryValue > input
std::array< MemoryValue, 8 > output
Sha256CompressionException(const std::string &message)