chore: ensure blake3 input length is less than 1024 bytes

acvm-repo/blackbox_solver/src/hash.rs

@@ -18,6 +18,12 @@
 }
 
 pub fn blake3(inputs: &[u8]) -> Result<[u8; 32], BlackBoxResolutionError> {
+    if inputs.len() > 1024 {
+        return Err(BlackBoxResolutionError::Failed(
+            BlackBoxFunc::Blake3,
+            "the input length should be less than 1024 bytes".to_string(),
+        ));
+    }
     Ok(blake3::hash(inputs).into())
 }
 
@@ -27,7 +33,7 @@
         let bytes = block.to_be_bytes();
         blocks[i * 4..i * 4 + 4].copy_from_slice(&bytes);
     }
     let blocks: GenericArray<u8, sha2::digest::typenum::U64> = blocks.into();
     sha2::compress256(state, &[blocks]);
 }
 
@@ -46,7 +52,7 @@
 
     #[test]
     fn sanity_check() {
         // Test vectors are copied from XKCP (eXtended Keccak Code Package)
         // https://github.com/XKCP/XKCP/blob/master/tests/TestVectors/KeccakF-1600-IntermediateValues.txt
         let zero_state = [0u64; 25];