diff --git a/protocol/operator-fee.md b/protocol/operator-fee.md new file mode 100644 index 00000000..7b59270c --- /dev/null +++ b/protocol/operator-fee.md @@ -0,0 +1,143 @@ +# Operator Fee + +#### Metadata + +Authors: @puma314, @yuwen01. +Created: September 15, 2024. + +# Purpose + + + +Today, the fee formula for the OP stack is computed as `totalFee = gasUsed * (baseFee + priorityFee) + l1Fee` where, the `l1Fee` is computed as follows ([spec](https://github.com/ethereum-optimism/specs/blob/06a2d0b8e5d08da66612d0e19aa7bc625ceb277e/specs/protocol/fjord/exec-engine.md?plain=1#L28)): + +``` +l1FeeScaled = l1BaseFeeScalar*l1BaseFee*16 + l1BlobFeeScalar*l1BlobBaseFee +estimatedSizeScaled = max(minTransactionSize * 1e6, intercept + fastlzCoef*fastlzSize) +l1Fee = estimatedSizeScaled * l1FeeScaled / 1e12 +``` + +This fee formula presents challenges for variants of the OP stack that leverage alt-DA, ZK proving or a custom gas token. These chains make use of different resources and the existing fee formula is too simplistic to properly charge users for their resource consumption. + +The purpose of this design doc is to propose a simple addition to the existing fee formula (that will be a no-op for most chains, to minimize disruptions), that will allow for greater fee flexibility for the OP stack variants covered above. + +# Summary + + + +We propose the addition of 2 new rollup operator configured scalars, collectively named the Operator Fee Parameters. These scalars are named +`operatorFeeScalar` and `operatorFeeConstant`, and they factor in the fee calculation as follows: +``` +operatorFee = operatorFeeConstant + operatorFeeScalar * gasUsed / 1e6 + +totalFee = operatorFee + gasUsed * (baseFee + priorityFee) + l1Fee +``` + +These scalars will be updated via the `SystemConfig` L1 contract. A new role, the `OperatorFeeManager`, is added +to administrate the `operatorFeeScalar` and `operatorFeeConstant`. + +A new fee vault, the `OperatorFeeVault`, is added to store the operator fee. + +# Problem Statement + Context + + + +There are several variants of the OP stack that have trouble with the existing fee formula. We cover them below: + +* **Alt-DA:** For chains leveraging alt-DA, the `l1Fee` is not an accurate measure of the DA costs for a transaction, as it is priced according to Ethereum's `blobGas` costs. These costs are entirely separate from the pricing of another DA layer. +* **ZK Proving:** For OP Stack variants that want to utilize ZK proofs (for example via [OP-Succinct](https://github.com/succinctlabs/op-succinct)), the cost of ZK proving a transaction is a significant resource that is not taken into consideration in the current fee structure. +* **Custom gas token:** For chains using a custom gas token, the `l1Fee` is priced in ETH, but transaction fees are paid in another token. + + +# Proposed Solution + + + +We propose the addition of two new rollup operator-configured scalars, collectively referred to as the **operator fee parameters**. These scalars, the `operatorFeeScalar` and `operatorFeeConstant`, play a role in calculating fees as follows. + +## Operator Fee Formula + +``` +operatorFee = operatorFeeConstant + operatorFeeScalar * gasUsed / 1e6 + +totalFee = operatorFee + gasUsed * (baseFee + priorityFee) + l1Fee +``` + +The `operatorFeeScalar` will be a `u32`, scaled by 1e6 in a similar fashion to the `baseFeeScalar` and `blobBaseFeeScalar`. The `operatorFeeConstant` will be a `u64`. + +The `operatorFee` will be directed to a new `FeeVault`, the `OperatorFeeVault`, in a similar fashion to the way the existing `l1Fee` is being directed to the `l1FeeVault`. + +## Setting the Operator Fee Parameters + +These 2 new config values can be added to the [`L1 attributes`](https://github.com/ethereum-optimism/specs/blob/main/specs/protocol/ecotone/l1-attributes.md) transaction, with a very small diff to the proof. + +We expose a new function in the `SystemConfig` contract for updating the `operatorFeeScalar` and `operatorFeeConstant`. This function is only callable by the `OperatorFeeManager`, a new role responsible for tuning the operator fee parameters. The `OperatorFeeManager` is administrated by +the chain governor. + +```solidity +function setOperatorFeeParams(uint32 operatorFeeScalar, uint64 operatorFeeConstant) external onlyOperatorFeeManager; +``` + +This function will emit a `ConfigUpdate` log-event, with a new `UpdateType`: `UpdateType.OPERATOR_FEE_PARAMS`. + +In order to ensure a smooth network upgrade process, these parameters are automatically set to zero at the start of the upgrade. + +### Standard values + +The standard values for the operator fee parameters are as follows: + +`operatorFeeScalar`: Between 0 and `0.5 * (baseFee + priorityFee)`. +`operatorFeeConstant`: Between 0 and 600 Gwei. + +## Operator Fee Manager + +The chain governor administers the operator fee manager role. It can change the operator fee manager with the following function: + +```solidity +function setOperatorFeeManager(address operatorFeeManager) external onlyOwner; +``` + +This function will emit a `ConfigUpdate` log-event, with a new `UpdateType`: `UpdateType.OPERATOR_FEE_MANAGER`. + +The operator fee manager is automatically set to the chain governor at the start of the upgrade. + +The operator fee manager is automatically set to the chain governor at the start of the upgrade. The chain governor administers +the operator fee manager role. + +## Analysis + +* **Alt-DA**: For chains using alt-DA, the `operatorFeeConstant` is useful if there is a relatively constant overhead to posting to another DA layer. +* **ZK Proving**: For chains with ZK proving, ZKP generation costs are usually proportional to `gasUsed` with a fixed overhead per transaction, making use of both the `operatorFeeConstant` and the `operatorFeeScalar`. +* **Custom gas token**: For chains with a custom gas token, both operator fee parameters can be useful as a ratio between the cost of the gas token and ETH to balance costs vs. the fee computation. + +## Resource Usage + + + +The L1Attributes deposited transactions includes one extra slot of calldata -- the two new scalars, +storage packed together. + +# Alternatives Considered + + + +Alternatives include [this proposal](https://github.com/ethereum-optimism/specs/issues/73) for fee abstraction. This proposal is a much higher lift, but fully generalizes the fee mechanism to be fully customizable by any team. However, it increases node resource costs because it includes additional EVM execution for each transaction in computing the fee and must be extensively benchmarked to ensure that its resource consumption is not too high. + +# Risks & Uncertainties + + + +There are perhaps other scalars that could be desireable to add in this change that would be simple lift before we go to the final endgame of fee abstraction. \ No newline at end of file