This repository was archived by the owner on Jan 9, 2025. It is now read-only.
This repository was archived by the owner on Jan 9, 2025. It is now read-only.
bug: non-finalized dictionary in RIPEMD160 allows forging of output[1] #1561
Closed
Description
Bug Report
As the dict is never finalized, the prover can set arbitrary values and change the output hash.
Fix to implement
Call default_dict_finalize(start, x, 0); before let (x) = default_dict_new(0); to ensure the dict cannot be modified