Add foreign Keccak256 function that accepts variable message size at prover time

[Savio-Sou]

Problem

Followup of noir-lang/acvm#313.

Supporting variable-sized input to the hash function is useful for e.g. Ethereum storage proofs.

Happy Case

let message_size = 4;
let hash_a = std::hash::keccak256([1,2,3,4], message_size);
let hash_b = std::hash::keccak256([1,2,3,4,0,0,0,0], message_size);

assert hash_a == hash_b;

let message_size_big = 8;
let hash_c = std::hash::keccak256([1,2,3,4,0,0,0,0], message_size_big);

assert hash_a != hash_c;

Additional Context

Blocked by

Preview Give feedback

1. Epic: Update Barretenberg Planning#21
   7 of 7
   +0

Would you like to submit a PR for this Issue?

No