MemoryValue modulo_sum(std::span< const MemoryValue > values)
Sum a span of U32 MemoryValues and return the result modulo 2^32.
GreaterThanInterface & gt
BitwiseInterface & bitwise
EventEmitterInterface< Sha256CompressionEvent > & events
void compression(MemoryInterface &memory, MemoryAddress state_addr, MemoryAddress input_addr, MemoryAddress output_addr) override
Execute the SHA-256 compression function: read state and input from memory, compress,...
MemoryValue shr(const MemoryValue &x, uint8_t shift)
Perform a 32-bit right shift on a MemoryValue.
ExecutionIdGetterInterface & execution_id_manager
Sha256(ExecutionIdGetterInterface &execution_id_manager, BitwiseInterface &bitwise, GreaterThanInterface >, EventEmitterInterface< Sha256CompressionEvent > &event_emitter)
MemoryValue ror(const MemoryValue &x, uint8_t shift)
Perform a 32-bit right rotation on a MemoryValue.
EventEmitter< DataCopyEvent > event_emitter
AVM range check gadget for witness generation.
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept