@@ -3,39 +3,35 @@ use super::keccak256;
33#[oracle(getKeccak256)]
44unconstrained fn keccak256_hash_oracle (input : [u8 ], message_size : u32 ) -> [u8 ; 32 ] {}
55
6- unconstrained fn get_keccak256_hash (input : [u8 ], message_size : u32 ) -> [u8 ; 32 ] {
7- keccak256_hash_oracle (input , message_size )
8- }
9-
106#[test]
117unconstrained fn test_keccak256_1 (input : [u8 ; 1 ], len : u32 ) {
128 // Constrain len to be valid for the array size
139 let actual_len = len % 2 ;
1410 let result = keccak256 (input , actual_len );
15- let expected = get_keccak256_hash (input , actual_len );
11+ let expected = keccak256_hash_oracle (input , actual_len );
1612 assert_eq (result , expected );
1713}
1814
1915#[test]
2016unconstrained fn test_keccak256_100 (input : [u8 ; 100 ], len : u32 ) {
2117 let actual_len = len % 101 ;
2218 let result = keccak256 (input , actual_len );
23- let expected = get_keccak256_hash (input , actual_len );
19+ let expected = keccak256_hash_oracle (input , actual_len );
2420 assert_eq (result , expected );
2521}
2622
2723#[test]
2824unconstrained fn test_keccak256_135 (input : [u8 ; 135 ], len : u32 ) {
2925 let actual_len = len % 136 ;
3026 let result = keccak256 (input , actual_len );
31- let expected = get_keccak256_hash (input , actual_len );
27+ let expected = keccak256_hash_oracle (input , actual_len );
3228 assert_eq (result , expected );
3329}
3430
3531#[test]
3632unconstrained fn test_keccak256_256 (input : [u8 ; 256 ], len : u32 ) {
3733 let actual_len = len % 257 ;
3834 let result = keccak256 (input , actual_len );
39- let expected = get_keccak256_hash (input , actual_len );
35+ let expected = keccak256_hash_oracle (input , actual_len );
4036 assert_eq (result , expected );
4137}
0 commit comments