A third-party audit of the ASIC-resistant PoW algorithm ProgPoW has been funded, Ethereum devs announce