feat: access control

package.json

@@ -38,7 +38,7 @@
     "package.json": "sort-package-json"
   },
   "dependencies": {
-    "@defi-wonderland/prophet-core": "0.0.0-4d28a0ec",
+    "@defi-wonderland/prophet-core": "0.0.0-3afab791",
     "@openzeppelin/contracts": "4.9.5",
     "solmate": "https://github.com/transmissions11/solmate.git#bfc9c25865a274a7827fea5abf6e4fb64fc64e6c"
   },

solidity/contracts/extensions/BondEscalationAccounting.sol

@@ -29,6 +29,7 @@ contract BondEscalationAccounting is AccountingExtension, IBondEscalationAccount
     }
   }
 
+  /// @notice Checks if the caller is an authorized caller
   modifier onlyAuthorizedCaller() {
     if (!authorizedCallers[msg.sender]) revert BondEscalationAccounting_UnauthorizedCaller();
     _;

solidity/contracts/modules/accessControl/AccessControllerModule.sol

@@ -0,0 +1,31 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.19;
+
+import {AccessController} from '@defi-wonderland/prophet-core/solidity/contracts/AccessController.sol';
+import {Module} from '@defi-wonderland/prophet-core/solidity/contracts/Module.sol';
+import {IOracle} from '@defi-wonderland/prophet-core/solidity/interfaces/IOracle.sol';
+
+abstract contract AccessControllerModule is AccessController, Module {
+  constructor(IOracle _oracle) Module(_oracle) {}
+
+  /**
+   * @notice Returns an access control object using the contract address as user and the given data
+   * @dev should only be used by modules as the self-access-control object
+   * @param _data Arbitrary data
+   * @return _accessControl The self access control for this contract.
+   */
+  function _defaultAccessControl(bytes memory _data) internal view returns (AccessControl memory _accessControl) {
+    _accessControl = AccessControl({user: address(this), data: _data});
+  }
+
+  /**
+   * // todo: update name to _selfAccessControl
+   * @notice Returns an access control object using the contract address as user, and empty data
+   *
+   * @dev should only be used by modules as the self-access-control object
+   * @return _accessControl The self access control for this contract.
+   */
+  function _defaultAccessControl() internal view returns (AccessControl memory _accessControl) {
+    _accessControl = _defaultAccessControl(bytes(''));
+  }
+}

solidity/contracts/modules/dispute/BondEscalationModule.sol

@@ -7,7 +7,10 @@ import {FixedPointMathLib} from 'solmate/src/utils/FixedPointMathLib.sol';
 
 import {IBondEscalationModule} from '../../../interfaces/modules/dispute/IBondEscalationModule.sol';
 
-contract BondEscalationModule is Module, IBondEscalationModule {
+import {_PLEDGE_AGAINST_DISPUTE_TYPEHASH, _PLEDGE_FOR_DISPUTE_TYPEHASH} from '../../utils/Typehash.sol';
+import {AccessControllerModule} from '../accessControl/AccessControllerModule.sol';
+
+contract BondEscalationModule is AccessControllerModule, IBondEscalationModule {
   /// @inheritdoc IBondEscalationModule
   mapping(bytes32 _requestId => mapping(address _pledger => uint256 pledges)) public pledgesForDispute;
 
@@ -19,7 +22,7 @@ contract BondEscalationModule is Module, IBondEscalationModule {
    */
   mapping(bytes32 _requestId => BondEscalation) internal _escalations;
 
-  constructor(IOracle _oracle) Module(_oracle) {}
+  constructor(IOracle _oracle) AccessControllerModule(_oracle) {}
 
   /// @inheritdoc IModule
   function moduleName() external pure returns (string memory _moduleName) {
@@ -61,7 +64,7 @@ contract BondEscalationModule is Module, IBondEscalationModule {
       _escalation.disputeId = _disputeId;
       emit BondEscalationStatusUpdated(_dispute.requestId, _disputeId, BondEscalationStatus.Active);
     } else if (_disputeId != _escalation.disputeId) {
-      ORACLE.escalateDispute(_request, _response, _dispute);
+      ORACLE.escalateDispute(_request, _response, _dispute, _defaultAccessControl());
     }
   }
 
@@ -208,39 +211,62 @@ contract BondEscalationModule is Module, IBondEscalationModule {
   ////////////////////////////////////////////////////////////////////
 
   /// @inheritdoc IBondEscalationModule
-  function pledgeForDispute(IOracle.Request calldata _request, IOracle.Dispute calldata _dispute) external {
+  function pledgeForDispute(
+    IOracle.Request calldata _request,
+    IOracle.Dispute calldata _dispute,
+    AccessControl calldata _accessControl
+  )
+    external
+    hasAccess(_request.accessControlModule, _PLEDGE_FOR_DISPUTE_TYPEHASH, abi.encode(_request, _dispute), _accessControl)
+  {
     bytes32 _disputeId = _getId(_dispute);
     RequestParameters memory _params = _pledgeChecks(_request, _dispute, true);
 
+    address _pledger = _accessControl.user;
+
     _escalations[_dispute.requestId].amountOfPledgesForDispute += 1;
-    pledgesForDispute[_dispute.requestId][msg.sender] += 1;
+    pledgesForDispute[_dispute.requestId][_pledger] += 1;
     _params.accountingExtension.pledge({
-      _pledger: msg.sender,
+      _pledger: _pledger,
       _request: _request,
       _dispute: _dispute,
       _token: _params.bondToken,
       _amount: _params.bondSize
     });
 
-    emit PledgedForDispute(_disputeId, msg.sender, _params.bondSize);
+    emit PledgedForDispute(_disputeId, _pledger, _params.bondSize);
   }
 
   /// @inheritdoc IBondEscalationModule
-  function pledgeAgainstDispute(IOracle.Request calldata _request, IOracle.Dispute calldata _dispute) external {
+  function pledgeAgainstDispute(
+    IOracle.Request calldata _request,
+    IOracle.Dispute calldata _dispute,
+    AccessControl calldata _accessControl
+  )
+    external
+    hasAccess(
+      _request.accessControlModule,
+      _PLEDGE_AGAINST_DISPUTE_TYPEHASH,
+      abi.encode(_request, _dispute),
+      _accessControl
+    )
+  {
     bytes32 _disputeId = _getId(_dispute);
     RequestParameters memory _params = _pledgeChecks(_request, _dispute, false);
 
+    address _pledger = _accessControl.user;
+
     _escalations[_dispute.requestId].amountOfPledgesAgainstDispute += 1;
-    pledgesAgainstDispute[_dispute.requestId][msg.sender] += 1;
+    pledgesAgainstDispute[_dispute.requestId][_pledger] += 1;
     _params.accountingExtension.pledge({
-      _pledger: msg.sender,
+      _pledger: _pledger,
       _request: _request,
       _dispute: _dispute,
       _token: _params.bondToken,
       _amount: _params.bondSize
     });
 
-    emit PledgedAgainstDispute(_disputeId, msg.sender, _params.bondSize);
+    emit PledgedAgainstDispute(_disputeId, _pledger, _params.bondSize);
   }
 
   /// @inheritdoc IBondEscalationModule
@@ -274,9 +300,12 @@ contract BondEscalationModule is Module, IBondEscalationModule {
 
     emit BondEscalationStatusUpdated(_dispute.requestId, _disputeId, _escalation.status);
 
-    ORACLE.updateDisputeStatus(
-      _request, _response, _dispute, _disputersWon ? IOracle.DisputeStatus.Won : IOracle.DisputeStatus.Lost
-    );
+    ORACLE.updateDisputeStatus({
+      _request: _request,
+      _response: _response,
+      _dispute: _dispute,
+      _status: _disputersWon ? IOracle.DisputeStatus.Won : IOracle.DisputeStatus.Lost
+    });
   }
 
   /**

solidity/contracts/modules/dispute/CircuitResolverModule.sol

@@ -7,11 +7,13 @@ import {IOracle} from '@defi-wonderland/prophet-core/solidity/interfaces/IOracle
 import {IProphetVerifier} from '../../../interfaces/IProphetVerifier.sol';
 import {ICircuitResolverModule} from '../../../interfaces/modules/dispute/ICircuitResolverModule.sol';
 
-contract CircuitResolverModule is Module, ICircuitResolverModule {
+import {AccessControllerModule} from '../accessControl/AccessControllerModule.sol';
+
+contract CircuitResolverModule is AccessControllerModule, ICircuitResolverModule {
   /// @notice Keeps track of the correct responses to requests
   mapping(bytes32 _requestId => bytes _correctResponse) internal _correctResponses;
 
-  constructor(IOracle _oracle) Module(_oracle) {}
+  constructor(IOracle _oracle) AccessControllerModule(_oracle) {}
 
   /// @inheritdoc IModule
   function moduleName() external pure returns (string memory _moduleName) {
@@ -32,6 +34,7 @@ contract CircuitResolverModule is Module, ICircuitResolverModule {
   ) external onlyOracle {
     RequestParameters memory _params = decodeRequestData(_request.disputeModuleData);
     IOracle.DisputeStatus _status = ORACLE.disputeStatus(_disputeId);
+    AccessControl memory _accessControl = _defaultAccessControl();
 
     if (_status == IOracle.DisputeStatus.Won) {
       _params.accountingExtension.pay({
@@ -50,12 +53,12 @@ contract CircuitResolverModule is Module, ICircuitResolverModule {
 
       emit DisputeStatusChanged({_disputeId: _disputeId, _dispute: _dispute, _status: IOracle.DisputeStatus.Won});
 
-      ORACLE.proposeResponse(_request, _newResponse);
-      ORACLE.finalize(_request, _newResponse);
+      ORACLE.proposeResponse(_request, _newResponse, _accessControl);
+      ORACLE.finalize(_request, _newResponse, _accessControl);
     } else {
       emit DisputeStatusChanged({_disputeId: _disputeId, _dispute: _dispute, _status: IOracle.DisputeStatus.Lost});
 
-      ORACLE.finalize(_request, _response);
+      ORACLE.finalize(_request, _response, _accessControl);
     }
 
     delete _correctResponses[_dispute.requestId];
@@ -88,7 +91,7 @@ contract CircuitResolverModule is Module, ICircuitResolverModule {
       _dispute: _dispute
     });
 
-    ORACLE.updateDisputeStatus(_request, _response, _dispute, _status);
+    ORACLE.updateDisputeStatus({_request: _request, _response: _response, _dispute: _dispute, _status: _status});
   }
 
   /// @inheritdoc IModule

solidity/contracts/modules/dispute/RootVerificationModule.sol

@@ -6,16 +6,17 @@ import {IOracle} from '@defi-wonderland/prophet-core/solidity/interfaces/IOracle
 
 import {IRootVerificationModule} from '../../../interfaces/modules/dispute/IRootVerificationModule.sol';
 import {MerkleLib} from '../../libraries/MerkleLib.sol';
+import {AccessControllerModule} from '../accessControl/AccessControllerModule.sol';
 
-contract RootVerificationModule is Module, IRootVerificationModule {
+contract RootVerificationModule is AccessControllerModule, IRootVerificationModule {
   using MerkleLib for MerkleLib.Tree;
 
   /**
    * @notice The calculated correct root for a given request
    */
   mapping(bytes32 _requestId => bytes32 _correctRoot) internal _correctRoots;
 
-  constructor(IOracle _oracle) Module(_oracle) {}
+  constructor(IOracle _oracle) AccessControllerModule(_oracle) {}
 
   /// @inheritdoc IModule
   function moduleName() external pure returns (string memory _moduleName) {
@@ -36,6 +37,7 @@ contract RootVerificationModule is Module, IRootVerificationModule {
   ) external onlyOracle {
     RequestParameters memory _params = decodeRequestData(_request.disputeModuleData);
     IOracle.DisputeStatus _status = ORACLE.disputeStatus(_disputeId);
+    AccessControl memory _accessControl = _defaultAccessControl();
 
     if (_status == IOracle.DisputeStatus.Won) {
       _params.accountingExtension.pay({
@@ -54,11 +56,11 @@ contract RootVerificationModule is Module, IRootVerificationModule {
 
       emit DisputeStatusChanged({_disputeId: _disputeId, _dispute: _dispute, _status: IOracle.DisputeStatus.Won});
 
-      ORACLE.proposeResponse(_request, _newResponse);
-      ORACLE.finalize(_request, _newResponse);
+      ORACLE.proposeResponse(_request, _newResponse, _accessControl);
+      ORACLE.finalize(_request, _newResponse, _accessControl);
     } else {
       emit DisputeStatusChanged({_disputeId: _disputeId, _dispute: _dispute, _status: IOracle.DisputeStatus.Lost});
-      ORACLE.finalize(_request, _response);
+      ORACLE.finalize(_request, _response, _accessControl);
     }
 
     delete _correctRoots[_dispute.requestId];
@@ -86,7 +88,7 @@ contract RootVerificationModule is Module, IRootVerificationModule {
       _dispute: _dispute
     });
 
-    ORACLE.updateDisputeStatus(_request, _response, _dispute, _status);
+    ORACLE.updateDisputeStatus({_request: _request, _response: _response, _dispute: _dispute, _status: _status});
   }
 
   /// @inheritdoc IModule

solidity/contracts/modules/resolution/ArbitratorModule.sol

@@ -7,13 +7,15 @@ import {IOracle} from '@defi-wonderland/prophet-core/solidity/interfaces/IOracle
 import {IArbitrator} from '../../../interfaces/IArbitrator.sol';
 import {IArbitratorModule} from '../../../interfaces/modules/resolution/IArbitratorModule.sol';
 
-contract ArbitratorModule is Module, IArbitratorModule {
+import {AccessControllerModule} from '../accessControl/AccessControllerModule.sol';
+
+contract ArbitratorModule is AccessControllerModule, IArbitratorModule {
   /**
    * @notice The status of all disputes
    */
   mapping(bytes32 _disputeId => ArbitrationStatus _status) internal _disputeData;
 
-  constructor(IOracle _oracle) Module(_oracle) {}
+  constructor(IOracle _oracle) AccessControllerModule(_oracle) {}
 
   /// @inheritdoc IModule
   function moduleName() external pure returns (string memory _moduleName) {
@@ -41,7 +43,7 @@ contract ArbitratorModule is Module, IArbitratorModule {
     if (_params.arbitrator == address(0)) revert ArbitratorModule_InvalidArbitrator();
 
     _disputeData[_disputeId] = ArbitrationStatus.Active;
-    IArbitrator(_params.arbitrator).resolve(_request, _response, _dispute);
+    IArbitrator(_params.arbitrator).resolve(_request, _response, _dispute, _defaultAccessControl());
 
     emit ResolutionStarted(_dispute.requestId, _disputeId);
   }
@@ -61,7 +63,7 @@ contract ArbitratorModule is Module, IArbitratorModule {
     if (_status <= IOracle.DisputeStatus.Escalated) revert ArbitratorModule_InvalidResolutionStatus();
     _disputeData[_disputeId] = ArbitrationStatus.Resolved;
 
-    ORACLE.updateDisputeStatus(_request, _response, _dispute, _status);
+    ORACLE.updateDisputeStatus({_request: _request, _response: _response, _dispute: _dispute, _status: _status});
 
     emit DisputeResolved(_dispute.requestId, _disputeId, _status);
   }