blake_circuit.hpp

#pragma once
#include "barretenberg/stdlib/hash/blake2s/blake2s.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/witness/witness.hpp"
 
using namespace proof_system::plonk;
using namespace proof_system::plonk::stdlib;
 
using numeric::uint256_t;
 
template <typename Builder> class BlakeCircuit {
  public:
    typedef stdlib::field_t<Builder> field_ct;
    typedef stdlib::public_witness_t<Builder> public_witness_ct;
    typedef stdlib::byte_array<Builder> byte_array_ct;
 
    static constexpr size_t NUM_PUBLIC_INPUTS = 4;
 
    static Builder generate(uint256_t public_inputs[])
    {
        Builder builder;
 
        byte_array_ct input_buffer(&builder);
        for (size_t i = 0; i < NUM_PUBLIC_INPUTS; ++i) {
            input_buffer.write(byte_array_ct(field_ct(public_witness_ct(&builder, public_inputs[i]))));
        }
 
        stdlib::blake2s<Builder>(input_buffer);
 
        return builder;
    }
};