zemse/zk-proof-of-evm-challenge not found