keccak256 circuit implementation

Benchmark

keccak256([0 bytes]) constraints = 213230

keccak256([23 bytes]) constraints = 218008

keccak256([135 bytes]) constraints = 220856

keccak256([136 bytes]) constraints = 440472

keccak256([183 bytes]) constraints = 440720