sha256.hpp

#pragma once
#include "barretenberg/stdlib/primitives/byte_array/byte_array.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/primitives/packed_byte_array/packed_byte_array.hpp"
#include "barretenberg/stdlib/primitives/uint/uint.hpp"
#include "sha256_plookup.hpp"
#include <array>
// namespace proof_system::plonk
 
namespace proof_system::plonk {
namespace stdlib {
template <typename Builder> class bit_array;
 
template <typename Builder>
std::array<uint32<Builder>, 8> sha256_block(const std::array<uint32<Builder>, 8>& h_init,
                                            const std::array<uint32<Builder>, 16>& input);
 
template <typename Builder> byte_array<Builder> sha256_block(const byte_array<Builder>& input);
template <typename Builder> packed_byte_array<Builder> sha256(const packed_byte_array<Builder>& input);
 
template <typename Builder> field_t<Builder> sha256_to_field(const packed_byte_array<Builder>& input)
{
    std::vector<field_t<Builder>> slices = stdlib::sha256<Builder>(input).to_unverified_byte_slices(16);
    return slices[1] + (slices[0] * (uint256_t(1) << 128));
}
 
#define SHA256_BLOCK(circuit_type) byte_array<circuit_type> sha256_block(const byte_array<circuit_type>& input)
#define SHA256(circuit_type) packed_byte_array<circuit_type> sha256(const packed_byte_array<circuit_type>& input)
 
EXTERN_STDLIB_METHOD(SHA256_BLOCK)
EXTERN_STDLIB_METHOD(SHA256)
 
} // namespace stdlib
} // namespace proof_system::plonk