Description
Using abi.encodePacked() with dynamic types, as seen in Verifier.sol on L160 and in Endpoint.sol on L749, isn't advisable when feeding the outcome into a hashing function like keccak256(), due to hash collisions.
Recommendation
Use abi.encode() instead.
Status
Acknowledged