Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feature: targets and standardized proposal #99

Merged
merged 28 commits into from
Nov 5, 2024

Conversation

novaknole
Copy link
Contributor

@novaknole novaknole commented Aug 14, 2024

Description

A couple of things remaining:

  1. Code of targets and execute functions are duplicated in abstract contracts. Either:
  • We leave it as it is
  • We use free function utils
  • We design another abstract contract and inherit from it in those - be careful with storage clashes in inheritance.
  1. Revert happens inside _execute functions but it might be desirable to leave this choice to consumer, but if we do so, consumer will have to do this decode stuff manually which is also not ideal. Considering how OZ does such stuff, the current way seems better than others.

Task ID: OS-1481

Checklist:

  • I have selected the correct base branch.
  • I have performed a self-review of my own code.
  • I have commented my code, particularly in hard-to-understand areas.
  • I have made corresponding changes to the documentation.
  • My changes generate no new warnings.
  • Any dependent changes have been merged and published in downstream modules.
  • I created tasks to update dependent repositories (OSx, Plugins)
  • I ran all tests with success and extended them if necessary.
  • I have updated the CHANGELOG.md file in the root folder.

@novaknole novaknole changed the base branch from main to develop August 14, 2024 09:08
@clauBv23 clauBv23 mentioned this pull request Aug 21, 2024
9 tasks
@clauBv23 clauBv23 changed the title Feature/targets and standardized proposal feature: targets and standardized proposal Aug 21, 2024
* feat: add test for checking the ExecuteFailed is properly emitted

* feat: add new case in mock executor to simulate the tests

* feat: refactor code to avoid duplications

* ci: fix solhint warnings

* ci: fix lint issues
function proposalCount() public view override returns (uint256) {
return proposalCounter.current();
function proposalCount() public pure override returns (uint256) {
return type(uint256).max;
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We probably should add here a comment to explain why we are doing this now.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Description is added in IProposal which is clear as this function has inheritdoc above which dev should go and check in IProposal anyways.

Copy link
Contributor

@brickpop brickpop Oct 9, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Even if we added a @dev comment, this function would be returning a 100% incorrect value. Any contract/UI depending on it would incorrectly assume that things are still working while getting 2^256-1 can lead to unpredictable consequences.

In terms of reliability, I would either:

  • Remove the function
  • Make it revert() to signal that this function is no longer valid

This is a breaking change anyway

/// @param _allowFailureMap Bitmap-encoded number. TODO:
/// @return execResults address of the implementation contract.
/// @return failureMap address of the implementation contract.
function _execute(
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We have quite some code duplication over all different Plugin* contracts.. probably worth refactoring it to have those methods only in one place..

clauBv23
clauBv23 previously approved these changes Sep 23, 2024
Copy link
Contributor

@clauBv23 clauBv23 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

* add params byte approach

* add simple executor (#103)

* add simple executor

* action as free level export
/// Most useful use-case is to deploy as non-upgradeable and call from another contract via delegatecall.
/// If used with delegatecall, DO NOT add state variables in sequential slots, otherwise this will overwrite
/// the storage of the calling contract.
contract Executor is IExecutor {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shouldn't this contract be abstract?

error TooManyActions();

/// @notice Thrown if an action has insufficient gas left.
error InsufficientGas();
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
error InsufficientGas();
error InsufficientGasLeft();

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We're already using InsufficientGas name in DAO.sol so better to stick with this name.

contracts/src/executors/IExecutor.sol Outdated Show resolved Hide resolved
contracts/src/executors/IExecutor.sol Outdated Show resolved Hide resolved
/// @notice Checks if this or the parent contract supports an interface by its ID.
/// @notice Returns the currently set target contract.
/// @return TargetConfig The currently set target.
function getCurrentTargetConfig() public view virtual returns (TargetConfig memory) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
function getCurrentTargetConfig() public view virtual returns (TargetConfig memory) {
function getRawTargetConfig() public view virtual returns (TargetConfig memory) {

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another alternative:

  • getTargetConfig() (raw)
  • getEffectiveTargetConfig()

contracts/src/plugin/extensions/proposal/IProposal.sol Outdated Show resolved Hide resolved
contracts/src/plugin/extensions/proposal/IProposal.sol Outdated Show resolved Hide resolved
Comment on lines 28 to 32
type(IProposal).interfaceId ^
IProposal.createProposal.selector ^
IProposal.canExecute.selector ^
IProposal.createProposalId.selector ^
IProposal.createProposalParamsABI.selector ||
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shouldn't this be a versioned IProposalv1 and IProposalv2 interface?
It makes little sense that we are checking 2 different subsets of one interface

Comment on lines 33 to 39
_interfaceId ==
type(IProposal).interfaceId ^
IProposal.createProposal.selector ^
IProposal.canExecute.selector ^
IProposal.createProposalId.selector ^
IProposal.createProposalParamsABI.selector ||
_interfaceId == type(IProposal).interfaceId ||
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same (versioned)

* metadata contracts

* rename

* diamond storage for metadata

* remove revert
function proposalCount() public view override returns (uint256) {
return proposalCounter.current();
function proposalCount() public pure override returns (uint256) {
return type(uint256).max;
Copy link
Contributor

@brickpop brickpop Oct 9, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Even if we added a @dev comment, this function would be returning a 100% incorrect value. Any contract/UI depending on it would incorrectly assume that things are still working while getting 2^256-1 can lead to unpredictable consequences.

In terms of reliability, I would either:

  • Remove the function
  • Make it revert() to signal that this function is no longer valid

This is a breaking change anyway

uint256 internal constant MAX_ACTIONS = 256;

// keccak256("osx-commons.storage.Executor")
bytes32 private constant ReentrancyGuardStorageLocation =
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could this value be computed? We are doing this for permission ID's

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It can but then assembly's sstore fails with:

TypeError: Only direct number constants and references to such constants are supported by inline assembly.

event TargetSet(TargetConfig newTargetConfig);

/// @notice Thrown when `delegatecall` fails.
error ExecuteFailed();
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
error ExecuteFailed();
error DelegateCallFailed();

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done in 2f31a61

Comment on lines 22 to 30
enum Operation {
Call,
DelegateCall
}

struct TargetConfig {
address target;
Operation operation;
}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Move to IPlugin. They produce no code when not used

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done in 2f31a61

/// @notice Checks if this or the parent contract supports an interface by its ID.
/// @notice Returns the currently set target contract.
/// @return TargetConfig The currently set target.
function getCurrentTargetConfig() public view virtual returns (TargetConfig memory) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another alternative:

  • getTargetConfig() (raw)
  • getEffectiveTargetConfig()

contracts/src/utils/metadata/MetadataExtension.sol Outdated Show resolved Hide resolved
novaknole and others added 4 commits October 17, 2024 11:43
* add condition

* rename

* fix linter

* fix: executor 63/64 rule tests for coverage

* feat: add tests for powerful condition contract

* ci: undo changes

* ci: rmv not used import

* fix: prettier

* feat: add tests for conditions that checks block number and timestamp

* ci: prettier

* ci: lint fix

* Feat/rule condition clean up (#109)

* cd: rename powerfulCondtion to RuledCondition

* add natspecs

* remove redandant imports

* extension alwaystruecondition

* extension folder

* rename, fix and add tests

* add rules updated event

* Feat: add missing tests (#111)

* feat: add test for always true condition

* feat: modify mock code to allow sending the compare list on the data

* feat: add tests for rule condition

* feat: simplify ruled condition tests

* fix lint

* add supportsinterface on executor

* change const name

---------

Co-authored-by: Claudia <[email protected]>
Co-authored-by: Rekard0 <[email protected]>
* add hasSucceeded instead of

* remove .only
@novaknole novaknole merged commit 7c9546c into develop Nov 5, 2024
6 of 7 checks passed
@novaknole novaknole deleted the feature/targets-and-standardized-proposal branch November 5, 2024 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants