empty-deploy-proof is deployed