modification for updating zkless-engine 0.9.0