huinali / automatic-preimage-attack-framework-on-ascon-xof Goto Github PK

the CNFs are hard coded with ROUNDS=4. There are a few comments about the case of 3 rounds, but the code wouldn't work if ROUNDS=3

B_start is not defined. Also, it would be better if the file could be described in the readme. Thanks Huina

I tried to run ascon_optimal_ls.py. It turns out there is a bug along with the following information. The bug occurred when executing line Q = [[R(x(i + ROUNDS*state + (ROUNDS-1)*state + state + r*state)) for i in range(state) ] for r in range(ROUNDS-1) ] .
libc++abi: terminating with uncaught exception of type polybori::VariableIndexException

(no backtrace available)

Unhandled SIGABRT: An abort() occurred.
This probably occurred because a compiled module has a bug
in it and is not properly wrapped with sig_on(), sig_off().
Python will now terminate.