update blake2 tests

zokrates_stdlib/tests/tests/hashes/blake2/blake2s_1024bit.zok

@@ -4,14 +4,14 @@ import "hashes/blake2/blake2s"
 // >>> from hashlib import blake2s
 
 // >>> digest = blake2s()
-// >>> digest.update(b'\x00' * 128)
+// >>> digest.update(b'\x12\x34\x56\x78' * 32)
 // >>> digest.hexdigest()
-// '4e420520b981ce7bdbf4ce2c4dbadb9450079b7deb9737b5232957d323f801cb'
+// '4858b8174f8f5851ddac0507003b2490f42c33df8362770c5e79b770c84ffdb4'
 
 def main():
-    u32[8] h = blake2s::<2>([[0; 16]; 2]) // 2 * 16 * 32 = 1024 bit input
+    u32[8] h = blake2s::<2>([[0x12345678; 16]; 2]) // 2 * 16 * 32 = 1024 bit input
     assert(h == [
-        0x4E420520, 0xB981CE7B, 0xDBF4CE2C, 0x4DBADB94,
-        0x50079B7D, 0xEB9737B5, 0x232957D3, 0x23F801CB
+        0x4858B817, 0x4F8F5851, 0xDDAC0507, 0x003B2490,
+        0xF42C33DF, 0x8362770C, 0x5E79B770, 0xC84FFDB4
     ])
     return

zokrates_stdlib/tests/tests/hashes/blake2/blake2s_1536bit.zok

@@ -4,14 +4,14 @@ import "hashes/blake2/blake2s"
 // >>> from hashlib import blake2s
 
 // >>> digest = blake2s()
-// >>> digest.update(b'\x00\x00\x00\x2A' * 48)
+// >>> digest.update(b'\x12\x34\x56\x78' * 48)
 // >>> digest.hexdigest()
-// '2707edbde466a6632371e0611804ecdbe3e21dd683ce9d2060c50341b6fa99ed'
+// '879043503b04cab2f3c0d7a4bb01c1db74c238c49887da84e8a619893092b6e2'
 
 def main():
-    u32[8] h = blake2s::<3>([[42; 16]; 3]) // 3 * 16 * 32 = 1536 bit input
+    u32[8] h = blake2s::<3>([[0x12345678; 16]; 3]) // 3 * 16 * 32 = 1536 bit input
     assert(h == [
-        0x2707EDBD, 0xE466A663, 0x2371E061, 0x1804ECDB,
-        0xE3E21DD6, 0x83CE9D20, 0x60C50341, 0xB6FA99ED
+        0x87904350, 0x3B04CAB2, 0xF3C0D7A4, 0xBB01C1DB,
+        0x74C238C4, 0x9887DA84, 0xE8A61989, 0x3092B6E2
     ])
     return

zokrates_stdlib/tests/tests/hashes/blake2/blake2s_512bit.zok

@@ -4,14 +4,14 @@ import "hashes/blake2/blake2s"
 // >>> from hashlib import blake2s
 
 // >>> digest = blake2s()
-// >>> digest.update(b'\x00' * 64)
+// >>> digest.update(b'\x12\x34\x56\x78' * 16)
 // >>> digest.hexdigest()
-// 'ae09db7cd54f42b490ef09b6bc541af688e4959bb8c53f359a6f56e38ab454a3'
+// '52af1aec3e6663bcc759d55fc7557fbb2f710219f0de138b1b52c919f5c94415'
 
 def main():
-    u32[8] h = blake2s::<1>([[0; 16]; 1]) // 16 * 32 = 512 bit input
+    u32[8] h = blake2s::<1>([[0x12345678; 16]; 1]) // 16 * 32 = 512 bit input
     assert(h == [
-        0xAE09DB7C, 0xD54F42B4, 0x90EF09B6, 0xBC541AF6,
-        0x88E4959B, 0xB8C53F35, 0x9A6F56E3, 0x8AB454A3
+        0x52AF1AEC, 0x3E6663BC, 0xC759D55F, 0xC7557FBB,
+        0x2F710219, 0xF0DE138B, 0x1B52C919, 0xF5C94415
     ])
     return

zokrates_stdlib/tests/tests/hashes/blake2/blake2s_8192bit.zok

@@ -4,14 +4,14 @@ import "hashes/blake2/blake2s"
 // >>> from hashlib import blake2s
 
 // >>> digest = blake2s()
-// >>> digest.update(b'\x00' * 1024)
+// >>> digest.update(b'\x12\x34\x56\x78' * 256)
 // >>> digest.hexdigest()
-// '035366632a506c045d4a51c833e8b76791d5daa9bca821b4a2732a66fb5aa22d'
+// 'b41c4704f49df139039bbc91c6e23a84198ffedc78d0b677e8b2a6a57f3460e8'
 
 def main():
-    u32[8] h = blake2s::<16>([[0; 16]; 16]) // 16 * 16 * 32 = 8192 bit input
+    u32[8] h = blake2s::<16>([[0x12345678; 16]; 16]) // 16 * 16 * 32 = 8192 bit input
     assert(h == [
-        0x03536663, 0x2A506C04, 0x5D4A51C8, 0x33E8B767,
-        0x91D5DAA9, 0xBCA821B4, 0xA2732A66, 0xFB5AA22D
+        0xB41C4704, 0xF49DF139, 0x039BBC91, 0xC6E23A84,
+        0x198FFEDC, 0x78D0B677, 0xE8B2A6A5, 0x7F3460E8
     ])
     return

zokrates_stdlib/tests/tests/hashes/blake2/blake2s_p.zok

@@ -4,14 +4,14 @@ import "hashes/blake2/blake2s_p" as blake2s
 // >>> from hashlib import blake2s
 
 // >>> digest = blake2s(person=b'\x12\x34\x56\x78\x00\x00\x00\x00')
-// >>> digest.update(b'\x00' * 64)
+// >>> digest.update(b'\x12\x34\x56\x78' * 16)
 // >>> digest.hexdigest()
-// 'a6e927d1b9d50453bc6eb5e4050c443a7203a541cc06ba78a7dc00caa69fb3e9'
+// '780105bc9ca7633b1f289b3d1558dece65e04ac23f88e711dc29600fa3e0258a'
 
 def main():
-    u32[8] h = blake2s::<1>([[0; 16]; 1], [0x12345678, 0])
+    u32[8] h = blake2s::<1>([[0x12345678; 16]; 1], [0x12345678, 0])
     assert(h == [
-        0xA6E927D1, 0xB9D50453, 0xBC6EB5E4, 0x050C443A,
-        0x7203A541, 0xCC06BA78, 0xA7DC00CA, 0xA69FB3E9
+        0x780105BC, 0x9CA7633B, 0x1F289B3D, 0x1558DECE,
+        0x65E04AC2, 0x3F88E711, 0xDC29600F, 0xA3E0258A
     ])
     return