# \[Proposal\] Cooperative proving network for Fernet

**URL:** <https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400>\
**Category:** Aztec\
**Tags:** rfp, provers\
**Created:** [October 12, 2023, 7:23pm UTC](https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400 "2023-10-12T19:23:06Z")\
**Posts on this page:** 1\
**Showing post:** 6

<div class="post-metadata">

**Author:** ![Anon](https://avatars.discourse-cdn.com/v4/letter/a/47e85d/32.png) [@Anon](https://forum.aztec.network/u/Anon)\
**Post date:** [October 18, 2023, 5:10pm UTC](https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400/6 "2023-10-18T17:10:54Z")

</div>

> [@spalladino](#):
>
> The L1 fee advantage can probably be removed with a gas rebate for the tx.origin that submits a valid tree

The sequencer is slashed if no proof is submitted, and so has incentive to submit a proof as early as possible.  
Rebates for all valid proofs sounds too costly. If you only rebate gas for the winning tree, that might work. However, this ensures the proof lands in the final L1 slot (may affect liveness), which means L1 proposers can just steal it (like with [block proposals in Fernet](http://forum.aztec.network/t/proposal-sequencer-selection-fernet/533/13)).

---

_[View the full topic](https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400)._
