einzelne Thread zk CPU Beweisgenerierungstage