fix: requiring blake3 inputs to have less than 1024 bytes

barretenberg/cpp/src/barretenberg/crypto/blake3s/blake3s.tcc

@@ -32,6 +32,7 @@
 #include <iostream>
 #include <type_traits>
 
+#include "barretenberg/common/assert.hpp"
 #include "blake3s.hpp"
 
 namespace blake3 {
@@ -240,6 +241,7 @@ constexpr void blake3_hasher_finalize(const blake3_hasher* self, uint8_t* out)
 
 std::vector<uint8_t> blake3s(std::vector<uint8_t> const& input)
 {
+    ASSERT(input.size() <= 1024, "Barretenberg does not support blake3s with input lengths greater than 1024 bytes.");
     blake3_hasher hasher;
     blake3_hasher_init(&hasher);
     blake3_hasher_update(&hasher, static_cast<const uint8_t*>(input.data()), input.size());

barretenberg/cpp/src/barretenberg/crypto/blake3s_full/blake3s.cpp

@@ -865,7 +865,6 @@ std::vector<uint8_t> blake3s(std::vector<uint8_t> const& input,
     // Initialize the hasher.
     blake3_hasher hasher;
     blake3_hasher_init(&hasher);
-
     switch (mode_id) {
     case HASH_MODE:
         blake3_hasher_init(&hasher);

barretenberg/cpp/src/barretenberg/dsl/acir_format/blake3_constraint.cpp

@@ -27,7 +27,7 @@ template <typename Builder> void create_blake3_constraints(Builder& builder, con
 
         // XXX: The implementation requires us to truncate the element to the nearest byte and not bit
         auto num_bytes = round_to_nearest_byte(num_bits);
-
+        ASSERT(num_bytes <= 1024, "barretenberg does not support blake3 inputs with more than 1024 bytes");
         field_ct element = to_field_ct(witness_index, builder);
         byte_array_ct element_bytes(element, num_bytes);
 

barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s.cpp

@@ -246,6 +246,8 @@ using namespace blake3_internal;
 
 template <typename Builder> byte_array<Builder> blake3s(const byte_array<Builder>& input)
 {
+    ASSERT(input.size() <= 1024, "Barretenberg does not support blake3s with input lengths greater than 1024 bytes.");
+
     if constexpr (HasPlookup<Builder>) {
         return blake3s_plookup::blake3s<Builder>(input);
     }