From 2423d4455315db512c2bfc388f29a302181c799a Mon Sep 17 00:00:00 2001 From: geoknee Date: Tue, 16 Apr 2024 10:53:57 +0100 Subject: [PATCH] add section on invariants --- specs/protocol/revenue-sharing.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/specs/protocol/revenue-sharing.md b/specs/protocol/revenue-sharing.md index 9e43c239e..3d86905ce 100644 --- a/specs/protocol/revenue-sharing.md +++ b/specs/protocol/revenue-sharing.md @@ -37,6 +37,11 @@ Revenue sharing is the process by which chains in the superchain contribute a po ## `RevenueSharer` predeploy Revenue sharing is achieved through an L2 [predeploy](./predeploys.md) contract `RevenueSharer` with address `0x4200000000000000000000000000000000000024`. +### Invariants +* The `RevenueSharer` contract should not accumulate any ETH or Tokens itself. +* It should share revenue in the propotions `s, r-s` when the `execute()` function is called +* It should emit an event when `execute()` is called. + ### Deploying `RevenueSharer` The `RevenueSharer` contract is now included in the L2 genesis and is not scheduled to be part of a hardfork.