verify_simon
QC-008 Simon collision: certify a presented collision for a hidden mask. x and y are equal-length bit strings with x != y and x XOR y == mask, and f(x) == f(y) (fx and fy are the presented function values). WIN when all three hold, MISS naming the failing relation. The mask is presented, never recovered. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| x | Yes | first input bit string, same length as mask. e.g. 00 | |
| y | Yes | second input bit string; x XOR y must equal mask. e.g. 11 | |
| fx | Yes | presented f(x), decimal or bit string. e.g. 0 | |
| fy | Yes | presented f(y); must equal fx. e.g. 0 | |
| mask | Yes | hidden mask as a bit string, e.g. 11 |