Primality proof updates