fix(protocol): reward non-assigned prover 7/8 liveness bond

[dantaik]

Without this small fix, provers other than the assigned prover won't have an incentive to prove a block out of the proving window.

[openzeppelin-code]

fix(protocol): reward non-assigned prover 7/8 liveness bond

Generated at commit: 463012bce0cb94ed71a16be391565535dba06a7e

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	2 2 0 8 43 55
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0

---

For more details view the full report in OpenZeppelin Code Inspector

[adaki2004]

Also since the proposer is paying the liveness bonds (in LibProposing):
LibBonds.debitBond(_state, _resolver, local.params.proposer, _config.livenessBond);

Should not we take into consideration the proposer when it comes to returning it ? Maybe it changed in the meantime, but i was in the belief that prover pays the bond, not the proposer. 🤔 (Or proposer == prover ? but i dont see this enforced anywhere )

[dantaik]

Also since the proposer is paying the liveness bonds (in LibProposing): LibBonds.debitBond(_state, _resolver, local.params.proposer, _config.livenessBond);

Should not we take into consideration the proposer when it comes to returning it ? Maybe it changed in the meantime, but i was in the belief that prover pays the bond, not the proposer. 🤔 (Or proposer == prover ? but i dont see this enforced anywhere )

The proposer and assignedProver is the same address, we named them differently because of back-ward compatible reasons. They ARE the same.

[adaki2004]

LGTM but for some reason L2 Genesis tests seems to be failing - so disabled the auto-merge.