Initial miner and verifier