feat!: prevent compiling blake3 hashes which barretenberg cannot prove

noir_stdlib/src/hash/mod.nr

@@ -30,11 +30,20 @@ pub fn blake2s<let N: u32>(input: [u8; N]) -> [u8; 32]
 // docs:end:blake2s
 {}
 
-#[foreign(blake3)]
 // docs:start:blake3
 pub fn blake3<let N: u32>(input: [u8; N]) -> [u8; 32]
 // docs:end:blake3
-{}
+{
+    if crate::runtime::is_unconstrained() {
+        // Temporary measure while Barretenberg is main proving system.
+        // Please open an issue if you're working on another proving system and running into problems due to this.
+        static_assert(N <= 1024, "Barretenberg cannot prove blake3 hashes with inputs larger than 1024 bytes");
+    }
+    __blake3(input)
+}
+
+#[foreign(blake3)]
+fn __blake3<let N: u32>(input: [u8; N]) -> [u8; 32] {}
 
 // docs:start:pedersen_commitment
 pub fn pedersen_commitment<let N: u32>(input: [Field; N]) -> EmbeddedCurvePoint {