Module constraints

This module contains the constraints for one Keccak step.

Structs

Env

This struct contains all that needs to be kept track of during the execution of the Keccak step interpreter