Change BLS proof to take effort int instead of boolean.