Proposal Functions

The Proposal.sol file contains a set of functions that all governance models inherit. Currently, there are four governance models inheriting from Proposal.sol: Bravo, Multisig, Timelock, and OpenZeppelin Governor. When using FPS for any of the aforementioned models to create proposals, all that needs to be done is to inherit one of the proposal types, such as GovernorBravoProposal.sol, and override the necessary functions to create the proposal, like build and deploy.

FPS is flexible enough so that for any different governance model, governance proposal types can be easily adjusted to fit into the governance architecture. An example has been provided using Arbitrum Governance on the FPS example repo. The following is a list of functions that the proposals can implement:

name(): This function is empty in the Proposal contract. Override this function in the proposal-specific contract to define the proposal name. For example:
```
function name() public pure override returns (string memory) {
    return "BRAVO_MOCK";
}
```
description(): This function is empty in the Proposal contract. Override this function in the proposal-specific contract to define the proposal description. For example:
```
function description() public pure override returns (string memory) {
    return "Bravo proposal mock";
}
```

deploy(): This function is empty in the Proposal contract. Override this function when there are deployments to be made in the proposal. Here is an example from a Governor Bravo Proposal demonstrating how to deploy two contracts, Vault and Token, if they are not already deployed.

function deploy() public override {
    address owner = addresses.getAddress("PROTOCOL_TIMELOCK_BRAVO");

    if (!addresses.isAddressSet("BRAVO_VAULT")) {
        // Here the vault is deployed
        Vault bravoVault = new Vault();

        addresses.addAddress("BRAVO_VAULT", address(bravoVault), true);
        bravoVault.transferOwnership(owner);
    }

    if (!addresses.isAddressSet("BRAVO_VAULT_TOKEN")) {
        // Here the token is deployed
        Token token = new Token();
        addresses.addAddress("BRAVO_VAULT_TOKEN", address(token), true);
        token.transferOwnership(owner);

        uint256 balance = token.balanceOf(address(this)) > 0
            ? token.balanceOf(address(this))
            : token.balanceOf(addresses.getAddress("DEPLOYER_EOA"));

        token.transfer(address(owner), balance);
    }
}

Deployments are done by DEPLOYER_EOA when running through a proposal forge script, and therefore, an address with this exact name must exist in the Addresses.json file. Foundry can be leveraged to actually broadcast the deployments when using the broadcast flag combined with --account flag. Please refer to the foundry docs for more information. Alternatively, when proposals are executed through forge script, the deployer address is the proposal contract itself.

preBuildMock(): Pre-build mock actions. Such actions can include pranking, etching, etc. Example: In Arbitrum Timelock this method is used to set a new outBox for Arbitrum bridge using vm.store foundry cheatcode.

build(): This function is where most of the FPS magic happens. It utilizes foundry cheat codes to automatically transform plain solidity code into calldata encoded for the user's governance model. This calldata can then be proposed on the Governance contract, signed by the multisig signers, or scheduled on the Timelock. For instance, an action might involve pointing a proxy to a new implementation address after deploying the implementation in the 'deploy' function as a privileged admin role in the system.

The buildModifier must be implemented when overriding so that FPS can store the actions to be used later on in the calldata generation. This modifier runs the _startBuild() function before build() and the endBuild() function after. This modifier also takes toPrank as a parameter, which represents the address used as the caller for the actions in the proposal, such as the multisig address or timelock address.

The startBuild() function pranks as the caller address, and takes a snapshot of the initial state using Foundry's vm.snapshot() cheat code. Then, it initiates a call to Foundry's vm.startStateDiffRecording() cheatcode to record all function calls made after this step. The build() function is then executed, and all the build steps are recorded. Finally, the endBuild() function is called which stops the state diff recording, retrieves all the call information, stops the prank and reverts the state to the initial snapshot. It then filters out the calls to only ones made by the specified caller address, ignoring any static calls and calls made to Foundry's Vm contract. This process ensures that only mutative calls made by the caller are filtered and stored in the actions array.

modifier buildModifier(address toPrank) {
    _startBuild(toPrank);
    _;
    _endBuild(toPrank);
}
/// @notice to be used by the build function to create a governance proposal
/// kick off the process of creating a governance proposal by:
///  1). taking a snapshot of the current state of the contract
///  2). starting prank as the caller
///  3). starting a recording of all calls created during the proposal
/// @param toPrank the address that will be used as the caller for the
/// actions, e.g., multisig address, timelock address, etc.
function _startBuild(address toPrank) private {
    vm.startPrank(toPrank);

    _startSnapshot = vm.snapshot();

    vm.startStateDiffRecording();
}

/// @notice to be used at the end of the build function to snapshot
/// the actions performed by the proposal and revert these changes
/// then, stop the prank and record the actions that were taken by the proposal.
/// @param caller the address that will be used as the caller for the
/// actions, e.g., multisig address, timelock address, etc.
function _endBuild(address caller) private {
    VmSafe.AccountAccess[] memory accountAccesses = vm
        .stopAndReturnStateDiff();

    vm.stopPrank();

    /// roll back all state changes made during the governance proposal
    require(
        vm.revertTo(_startSnapshot),
        "failed to revert back to snapshot, unsafe state to run proposal"
    );

    for (uint256 i = 0; i < accountAccesses.length; i++) {
        /// only care about calls from the original caller,
        /// static calls are ignored,
        /// calls to and from Addresses and the vm contract are ignored
        if (
            accountAccesses[i].account != address(addresses) &&
            accountAccesses[i].account != address(vm) &&
            /// ignore calls to vm in the build function
            accountAccesses[i].accessor != address(addresses) &&
            accountAccesses[i].kind == VmSafe.AccountAccessKind.Call &&
            accountAccesses[i].accessor == caller /// caller is correct, not a subcall
        ) {
            _validateAction(
                accountAccesses[i].account,
                accountAccesses[i].value,
                accountAccesses[i].data
            );

            actions.push(
                Action({
                    value: accountAccesses[i].value,
                    target: accountAccesses[i].account,
                    arguments: accountAccesses[i].data,
                    description: string(
                        abi.encodePacked(
                            "calling ",
                            vm.toString(accountAccesses[i].account),
                            " with ",
                            vm.toString(accountAccesses[i].value),
                            " eth and ",
                            vm.toString(accountAccesses[i].data),
                            " data."
                        )
                    )
                })
            );
        }

        _validateActions();
    }
}

For a clearer understanding, take a look at the Bravo proposal example snippet. Here, build() has the buildModifier, which takes the address of PROTOCOL_TIMELOCK_BRAVO as the caller. Multiple calls are made in the build() function, but only the mutative calls made by the caller will be stored in the actions array. In this example, there are three mutative actions. First, the deployed token is whitelisted on the deployed vault. Second, the vault is approved to transfer some balance on behalf of the Bravo timelock contract. Third, the balance amount of tokens is deposited in the vault from the Bravo timelock contract.

function build()
    public
    override
    buildModifier(addresses.getAddress("PROTOCOL_TIMELOCK_BRAVO"))
{
    /// STATICCALL -- non-mutative and hence not recorded for the run stage

    // Get vault address.
    address bravoVault = addresses.getAddress("BRAVO_VAULT");

    // Get token address.
    address token = addresses.getAddress("BRAVO_VAULT_TOKEN");

    // Get Bravo timelock's token balance.
    uint256 balance = Token(token).balanceOf(
        addresses.getAddress("PROTOCOL_TIMELOCK_BRAVO")
    );

    /// CALLS -- mutative and recorded

    // Whitelists the deployed token on the deployed vault.
    Vault(bravoVault).whitelistToken(token, true);

    // Approve the token for the vault.
    Token(token).approve(bravoVault, balance);

    // Deposit all tokens into the vault.
    Vault(bravoVault).deposit(token, balance);
}

_validateAction(): Hook that reviews a single proposal action. In this example, it ensures the action being added to the proposal is not a duplicate. This method can be further overridden to include additional checks for all proposal actions.

function _validateAction(
    address target,
    uint256 value,
    bytes memory data
) internal virtual {
    uint256 actionsLength = actions.length;
    for (uint256 i = 0; i < actionsLength; i++) {
        // Check if the target, arguments and value matches with other exciting actions.
        bool isDuplicateTarget = actions[i].target == target;
        bool isDuplicateArguments = keccak256(actions[i].arguments) ==
            keccak256(data);
        bool isDuplicateValue = actions[i].value == value;

        require(
            !(isDuplicateTarget &&
                isDuplicateArguments &&
                isDuplicateValue),
            "Duplicated action found"
        );
    }
}

_validateActions(): This method checks all proposal actions based on user defined checks. It can be overridden to add custom checks on all actions of proposals. As an example, checks performed could be that if a certain function is called, the next three actions should be a predefined set of actions, and if they are not, then revert. In this example, it ensures there is single action in proposal, target is not zero address, args and value cannot be zero and value must be zero if execution chain is L2.

function _validateActions() internal view override {
    uint256 actionsLength = actions.length;

    require(
        actionsLength == 1,
        "Arbitrum proposals must have a single action"
    );

    require(actions[0].target != address(0), "Invalid target for proposal");
    /// if there are no args and no eth, the action is not valid
    require(
        (actions[0].arguments.length == 0 && actions[0].value > 0) ||
            actions[0].arguments.length > 0,
        "Invalid arguments for proposal"
    );

    // Value is ignored on L2 proposals
    if (executionChain == ProposalExecutionChain.ARB_ONE) {
        require(actions[0].value == 0, "Value must be 0 for L2 execution");
    }
}

getProposalActions(): Retrieves the sequence of actions for a proposal. This function should not be overridden in most cases. It return targets, values and arguments for all the actions.

function getProposalActions()
    public
    view
    virtual
    override
    returns (
        address[] memory targets,
        uint256[] memory values,
        bytes[] memory arguments
    )
{
    uint256 actionsLength = actions.length;
    require(actionsLength > 0, "No actions found");

    targets = new address[](actionsLength);
    values = new uint256[](actionsLength);
    arguments = new bytes[](actionsLength);

    for (uint256 i; i < actionsLength; i++) {
        require(
            actions[i].target != address(0),
            "Invalid target for proposal"
        );
        /// if there are no args and no eth, the action is not valid
        require(
            (actions[i].arguments.length == 0 && actions[i].value > 0) ||
                actions[i].arguments.length > 0,
            "Invalid arguments for proposal"
        );
        targets[i] = actions[i].target;
        arguments[i] = actions[i].arguments;
        values[i] = actions[i].value;
    }
}

getCalldata(): Retrieves any generated governance proposal calldata. This function should not be overridden at the proposal contract level as it is already overridden in the proposal type contract. In this example, it returns propose calldata for the actions.

function getCalldata() public virtual override returns (bytes memory data) {
    (
        address[] memory targets,
        uint256[] memory values,
        bytes[] memory calldatas
    ) = getProposalActions();

    data = abi.encodeWithSignature(
        "propose(address[],uint256[],bytes[],string)",
        targets,
        values,
        calldatas,
        description()
    );
}

run(): This function serves as the entry point for proposal execution. It selects the primaryForkId which will be used to run the proposal simulation. It executes deploy(), afterDeployMock(), build(), simulate(), validate(), print() and addresses.updateJson() in that order if the flag for a function is set to true. deploy() is encapsulated in start and stop broadcast. This is done so that contracts can be deployed on-chain.
Flags used in run() function:
- DO_DEPLOY: When set to true, triggers the deployment of contracts on-chain. Default value is true.
- DO_AFTER_DEPLOY_MOCK: When set to true, initiates post-deployment mocking processes. Used to simulate an action that has not happened yet for testing such as dealing tokens for testing or simulating scenarios after deployment. Default value is true.
- DO_BUILD: When set to true, controls the build process and transforms plain solidity code into calldata encoded for the user's governance model. Default value is true.
- DO_SIMULATE: When set to true, allows for the simulation of saved actions during the build step. Default value is true.
- DO_VALIDATE: When set to true, validates the system state post-proposal simulation. Default value is true.
- DO_PRINT: When set to true, prints proposal description, actions, and calldata. Default value is true.
- DO_UPDATE_ADDRESS_JSON: When set to true, updates the Addresses.json file with the newly added and changed addresses. Default value is false.

function run() public virtual {
    vm.selectFork(primaryForkId);

    if (DO_DEPLOY) {
        address deployer = addresses.getAddress("DEPLOYER_EOA");

        vm.startBroadcast(deployer);
        deploy();
        addresses.printJSONChanges();
        vm.stopBroadcast();
    }

      if (DO_AFTER_DEPLOY_MOCK) afterDeployMock();
      if (DO_BUILD) build();
      if (DO_SIMULATE) simulate();
      if (DO_VALIDATE) validate();
      if (DO_PRINT) print();
      if (DO_UPDATE_ADDRESS_JSON) addresses.updateJson();
  }
  ```

This function is overridden at the proposal-specific contract. The `run()` function in governor bravo explains how this function works. Here, this function sets the environment for proposal execution and then finally simulates the proposal by calling the `run()` of the parent `Proposal` contract using `super.run()`. In this example, first `primaryForkId` is set to `sepolia`. Next, the `addresses` object is set by reading the `Addresses.json` file. Finally `governor` is set using `setGovernor()` method which is required in `simulate()` and `getProposalId()` functions.

```solidity
function run() public override {
    // Create and select sepolia fork for proposal execution.
    primaryForkId = vm.createFork("sepolia");
    vm.selectFork(primaryForkId);

    // Set addresses object reading addresses from json file.
    setAddresses(
        new Addresses(
            vm.envOr("ADDRESSES_PATH", string("addresses/Addresses.json"))
        )
    );

    // Set governor Bravo. This address is used for proposal simulation and check on
    // chain proposal state.
    setGovernor(addresses.getAddress("PROTOCOL_GOVERNOR"));

    // Call the run function of parent contract 'Proposal.sol'.
    super.run();
}

simulate(): Executes the previously saved actions during the build step. This function's execution depends on the successful execution of the build function.

This function can be overridden at the governance-specific contract or the proposal-specific contract, depending on the type of proposal. For example, the Governor Bravo type overrides this function at the governance-specific contract, while the Timelock type overrides it at the proposal-specific contract. In the Governor Bravo example, the proposer address proposes the proposal to the governance contract. It first transfers and delegates governance tokens that meet the minimum proposal threshold and quorum votes to itself. Then it registers the proposal, rolls the proposal to the Active state so that voting can begin, votes yes to the proposal, rolls to the block where the voting period has ended, putting the proposal in the Succeeded state. Then it queues the proposal in the governance Timelock contract, warps to the end of the timelock delay period, and finally executes the proposal, thus simulating the complete proposal on the local fork.

function simulate() public override {
    address proposerAddress = address(1);
    IERC20VotesComp governanceToken = governor.comp();
    {
        // Ensure the proposer meets the minimum proposal threshold and quorum votes to pass the proposal
        uint256 quorumVotes = governor.quorumVotes();
        uint256 proposalThreshold = governor.proposalThreshold();
        uint256 votingPower = quorumVotes > proposalThreshold
            ? quorumVotes
            : proposalThreshold;
        deal(address(governanceToken), proposerAddress, votingPower);
        // Delegate proposer's votes to itself
        vm.prank(proposerAddress);
        IERC20VotesComp(governanceToken).delegate(proposerAddress);
        vm.roll(block.number + 1);
    }

    bytes memory proposeCalldata = getCalldata();

    // Register the proposal
    vm.prank(proposerAddress);
    bytes memory data = address(governor).functionCall(proposeCalldata);
    uint256 proposalId = abi.decode(data, (uint256));

    // Check if the proposal is in Pending state
    require(
        governor.state(proposalId) == IGovernorBravo.ProposalState.Pending
    );

    // Roll to Active state (voting period)
    vm.roll(block.number + governor.votingDelay() + 1);
    require(
        governor.state(proposalId) == IGovernorBravo.ProposalState.Active
    );

    // Vote YES
    vm.prank(proposerAddress);
    governor.castVote(proposalId, 1);

    // Roll to allow proposal state transitions
    vm.roll(block.number + governor.votingPeriod());
    require(
        governor.state(proposalId) == IGovernorBravo.ProposalState.Succeeded
    );

    // Queue the proposal
    governor.queue(proposalId);
    require(
        governor.state(proposalId) == IGovernorBravo.ProposalState.Queued
    );

    // Warp to allow proposal execution on timelock
    ITimelockBravo timelock = ITimelockBravo(governor.timelock());
    vm.warp(block.timestamp + timelock.delay());

    // Execute the proposal
    governor.execute(proposalId);
    require(
        governor.state(proposalId) == IGovernorBravo.ProposalState.Executed
    );
}

Without calling build first, the simulate function would be a no-op as there would be no defined actions to execute.

validate(): Validates the system state post-proposal simulation. This allows checking that the contract's variables and newly deployed contracts are set up correctly and that the actions in the build function were applied correctly to the system.

This function is overridden at the proposal-specific contract. For example, take a look at the Governor Bravo validate() method. It checks the deployment by ensuring the total supply is 10 million and Bravo Timelock is the owner of the deployed token and vault, as the ownership of these contracts was transferred from the deployer EOA to the Bravo Timelock in the deploy() method for this proposal. It checks the proposal actions simulation by ensuring that the token was successfully whitelisted on the vault and the vault's token balance is equal to the Bravo Timelock's deposit in the vault.

function validate() public override {
    // Get vault address
    Vault bravoVault = Vault(addresses.getAddress("BRAVO_VAULT"));

    // Get token address
    Token token = Token(addresses.getAddress("BRAVO_VAULT_TOKEN"));

    // Get Governor Bravo's Timelock address
    address timelock = addresses.getAddress("PROTOCOL_TIMELOCK_BRAVO");

    // Ensure the token total supply is 10 million
    assertEq(token.totalSupply(), 10_000_000e18);

    // Ensure the Timelock is the owner of the deployed token.
    assertEq(token.owner(), address(timelock));

    // Ensure the Timelock is the owner of the deployed vault
    assertEq(bravoVault.owner(), address(timelock));

    // Ensure the vault is not paused
    assertFalse(bravoVault.paused());

    // Ensure the token is whitelisted on the vault
    assertTrue(bravoVault.tokenWhitelist(address(token)));

    // Get the vault's token balance
    uint256 balance = token.balanceOf(address(bravoVault));

    // Get the Timelock deposits in the vault
    (uint256 amount, ) = bravoVault.deposits(
        address(token),
        address(timelock)
    );

    // Ensure the Timelock deposit is the same as the vault's token balance
    assertEq(amount, balance);

    // Ensure all minted tokens are deposited into the vault
    assertEq(token.balanceOf(address(bravoVault)), token.totalSupply());
}

getProposalId(): Checks and returns proposal id if there are any on-chain proposals that match the proposal calldata. There is no need to override this function at the proposal specific contract as it is already overridden in the governance specific contract. Check Timelock Proposal, Governor Bravo Proposal and OZ Governor Proposal to get implementation details for each proposal type. This function is not implemented for a multisig proposal as it is not possible to check the state of a gnosis safe transaction on chain. This method reverts with "Not implemented" message for multisig proposals.
print(): Print proposal description, actions, and calldata. No need to override.

The actions in FPS are designed to be loosely coupled for flexible implementation, with the exception of the build and simulate functions, which require sequential execution. This design choice offers developers significant flexibility and power in tailoring the system to their specific needs. For example, a developer may choose to only execute the deploy and validate functions, bypassing the others. This could be suitable in situations where only initial deployment and final validation are necessary, without the need for intermediate steps. Alternatively, a developer might opt to simulate a proposal by executing only the build and simulate functions, omitting the deploy step if there is no need to deploy new contracts. FPS empowers developers with the ability to pick and choose functions from a proposal for integration tests, deployment scripts, and governance proposal creation as it becomes easy to access whichever part of a governance proposal that is needed and test it locally in as close to production conditions as possible.

PreviousAddresses NextIntroduction

Last updated 3 months ago