@holiman @karalabe I tried to compare progpow verification results with https://github.com/chfast/ethash.
Single Ethash verification with the best currently available compiler is 0.9 ms.
The progpow implementation was done in this fork: https://github.com/ifdefelse/proghash/commit/dc8e918aa5cf68da0b6dc049634bde596170c14c#diff-551b1d6ef147e694c203c6e9a6dacbf7R521 but does not seem to work. At least they did not update the unit tests.
The same benchmark shows absurd 1.3 us.