This repository was archived by the owner on Jun 8, 2026. It is now read-only.
Repository navigation
This repository was archived by the owner on Jun 8, 2026. It is now read-only.
Support for symbolic KECCAK hashes #68
Description
We need at least basic support for solving simple constraints that involve keccak hashes. Such as keccak(A) == keccak(B).
Interesting strategies are already implemented in Manticore and we can probably re-use most of them. This will probably require to write a Solver wrapper in Optik with some expression/constraint rewriting rules.
Metadata
Metadata
Assignees
Labels
No labels
Activity