Ethereum core developers reaffirmed during a meeting today that mining algorithm change "ProgPoW" would be added to a coming hard fork.