Merge pull request #231 from kleros/fix/evidence-submission-escrow-v1

fix: Escrow V1 evidence submission + appeals

Author: kyrers

src/app.js

@@ -294,6 +294,11 @@ class App extends React.Component {
       network: this.state.network
     });
 
+    //Means it is an EscrowV1 dispute
+    if (networkMap[this.state.network].ESCROW_V1_CONTRACTS.includes(arbitrableAddress)) {
+      return this.getArbitrableDisputeIDFromEscrowV1(arbitrableAddress, arbitratorDisputeID);
+    }
+
     const contract = getContract(
       "IDisputeResolver",
       arbitrableAddress,
@@ -331,6 +336,26 @@ class App extends React.Component {
     }
   }
 
+  //For EscrowV1 the externalIDtoLocalID function is not available, but the mapping disputeIDtoTransactionID is.
+  getArbitrableDisputeIDFromEscrowV1 = async (arbitrableAddress, arbitratorDisputeID) => {
+    try {
+      //Note that EscrowV1 uses MultipleArbitrableTransaction and MultipleArbitrableTokenTransaction contracts. 
+      //However, we can always use the same ABI here because the function is the same and available in both.
+      const contract = getContract(
+        "MultipleArbitrableTokenTransaction",
+        arbitrableAddress,
+        this.state.provider
+      );
+
+      const result = await contract.disputeIDtoTransactionID.staticCall(arbitratorDisputeID);
+      console.debug(`✅ [getArbitrableDisputeID] EscrowV1 success:`, result.toString());
+      return result;
+    } catch (error) {
+      console.error(`❌ [getArbitrableDisputeID] EscrowV1 error:`, error);
+      return null;
+    }
+  }
+
   findArbitrableFromArbitrator = async (arbitratorDisputeID) => {
     const { network } = this.state;
     const arbitratorAddress = networkMap[network]?.KLEROS_LIQUID;
@@ -1787,6 +1812,13 @@ class App extends React.Component {
   };
 
   appeal = async (arbitrableAddress, arbitrableDisputeID, party, contribution) => {
+    //EscrowV1 does not support crowdfunding and so does not have the fundAppeal function, users can only appeal by paying the appeal cost
+    if (networkMap[this.state.network].ESCROW_V1_CONTRACTS
+      .includes(arbitrableAddress)) {
+
+      return this.handleEscrowV1Appeal(arbitrableAddress, arbitrableDisputeID, contribution);
+    }
+
     const contract = await getSignableContract(
       "IDisputeResolver",
       arbitrableAddress,
@@ -1805,6 +1837,25 @@ class App extends React.Component {
     }
   }
 
+  handleEscrowV1Appeal = async (arbitrableAddress, arbitrableDisputeID, contribution) => {
+    const contract = await getSignableContract(
+      "MultipleArbitrableTokenTransaction",
+      arbitrableAddress,
+      this.state.provider
+    );
+
+    try {
+      const tx = await contract.appeal(
+        arbitrableDisputeID,
+        { value: ethers.parseEther(contribution) }
+      );
+      return tx.wait();
+    } catch (err) {
+      console.error("EscrowV1 appeal failed:", err);
+      return null;
+    }
+  }
+
   withdrawFeesAndRewardsForAllRounds = async (
     arbitrableAddress,
     arbitrableDisputeID,

src/components/disputeDetails.js

@@ -9,6 +9,7 @@ import DisputeTimeline from "components/disputeTimeline";
 import EvidenceTimeline from "components/evidenceTimeline";
 import CrowdfundingCard from "components/crowdfundingCard";
 import { ethers } from "ethers";
+import networkMap from "../ethereum/network-contract-mapping";
 
 import AlertMessage from "components/alertMessage";
 
@@ -66,6 +67,11 @@ class DisputeDetails extends React.Component {
 
     const { currentRuling, appealCost, multipliers, exceptionalContractAddresses, arbitrated } = this.props;
 
+    //Means it is an EscrowV1 dispute, for which there are no calculations needed
+    if (networkMap[this.props.network].ESCROW_V1_CONTRACTS.includes(arbitrated)) {
+      return appealCost;
+    }
+
     let stake;
 
     if (currentRuling == rulingOption || (exceptionalContractAddresses.includes(arbitrated) && currentRuling == 0)) {
@@ -373,6 +379,21 @@ class DisputeDetails extends React.Component {
     </Card.Body>
   );
 
+  renderEscrowV1AppealSection = (disputePeriod, appealCallback, appealCost) => (
+    <Card.Body>
+      <div className="h1">{disputePeriod == DISPUTE_PERIOD_APPEAL ? "Appeal the decision" : "Appeal period ended"}</div>
+      {disputePeriod == DISPUTE_PERIOD_APPEAL && <p className="label">In order to appeal the decision, you need to pay the appeal cost.</p>}
+      {disputePeriod == DISPUTE_PERIOD_APPEAL && (
+        <Button
+          onClick={() =>
+            appealCallback(0, ethers.formatEther(appealCost))
+          }>
+          Appeal - {ethers.formatEther(appealCost)} ETH
+        </Button>
+      )}
+    </Card.Body>
+  );
+
   // Helper method to render question section
   renderQuestionSection = (metaevidenceJSON, arbitratorDisputeID) => (
     <Card.Body className={styles.question}>
@@ -444,7 +465,7 @@ class DisputeDetails extends React.Component {
   };
 
   // Helper method to render appeal card conditionally
-  renderAppealCard = (arbitratorDispute, disputePeriod, contributions, multipliers, appealCost, appealPeriod, arbitrated, totalWithdrawable, metaevidenceJSON, currentRuling, appealCallback, exceptionalContractAddresses, activeKey) => {
+  renderAppealCard = (arbitratorDispute, disputePeriod, contributions, multipliers, appealCost, appealPeriod, arbitrated, totalWithdrawable, metaevidenceJSON, currentRuling, appealCallback, exceptionalContractAddresses, activeKey, isEscrowV1Dispute) => {
     if (!arbitratorDispute || disputePeriod < DISPUTE_PERIOD_APPEAL || !contributions || !multipliers || !appealCost || !appealPeriod || !arbitrated) {
       return null;
     }
@@ -455,7 +476,9 @@ class DisputeDetails extends React.Component {
           Appeal
         </Accordion.Toggle>
         <Accordion.Collapse eventKey="1">
-          {this.renderAppealSection(disputePeriod, totalWithdrawable, metaevidenceJSON, currentRuling, contributions, appealCallback, exceptionalContractAddresses, arbitrated)}
+          {isEscrowV1Dispute ?
+            this.renderEscrowV1AppealSection(disputePeriod, appealCallback, appealCost)
+            : this.renderAppealSection(disputePeriod, totalWithdrawable, metaevidenceJSON, currentRuling, contributions, appealCallback, exceptionalContractAddresses, arbitrated)}
         </Accordion.Collapse>
       </Card>
     );
@@ -557,7 +580,7 @@ class DisputeDetails extends React.Component {
       // Try to use Reality.eth parsed outcomes if available
       const realityOutcomes = this.findRealityOutcomes(metaevidenceJSON);
       const fallbackTitles = realityOutcomes || ["Yes", "No"]; // Basic fallback for Reality.eth questions
-      
+
       fallbackTitles.forEach((title, index) => {
         cards.push(
           <Col key={`fallback-${index + 1}`} className="pb-4" xl={8} lg={12} xs={24}>
@@ -672,6 +695,7 @@ class DisputeDetails extends React.Component {
   render() {
     const {
       arbitrated,
+      network,
       metaevidenceJSON,
       evidences,
       arbitratorDisputeID,
@@ -702,6 +726,7 @@ class DisputeDetails extends React.Component {
     }
 
     const disputePeriod = parseInt(arbitratorDispute.period, 10);
+    const isEscrowV1Dispute = networkMap[network].ESCROW_V1_CONTRACTS.includes(arbitrated);
 
     return (
       <section className={styles.disputeDetails}>
@@ -720,7 +745,7 @@ class DisputeDetails extends React.Component {
           className={`mt-4 ${styles.accordion}`}
           onSelect={this.handleAccordionSelect}
         >
-          {this.renderAppealCard(arbitratorDispute, disputePeriod, contributions, multipliers, appealCost, appealPeriod, arbitrated, totalWithdrawable, metaevidenceJSON, currentRuling, appealCallback, exceptionalContractAddresses, activeKey)}
+          {this.renderAppealCard(arbitratorDispute, disputePeriod, contributions, multipliers, appealCost, appealPeriod, arbitrated, totalWithdrawable, metaevidenceJSON, currentRuling, appealCallback, exceptionalContractAddresses, activeKey, isEscrowV1Dispute)}
 
           <Card>
             <Accordion.Toggle className={activeKey == 2 ? "open" : "closed"} as={Card.Header} eventKey="2">

src/containers/interact.js

@@ -210,11 +210,11 @@ class Interact extends React.Component {
       this.props.getMultipliersCallback(arbitrated).catch(err => {
         console.warn('getMultipliersCallback failed:', err.message);
         return {
-          winner: "10000", // 1.0 multiplier in basis points
-          loser: "10000",
-          shared: "5000",
-          divisor: "10000"
-        };
+          winnerStakeMultiplier: 10000n,
+          loserStakeMultiplier: 10000n,
+          loserAppealPeriodMultiplier: 10000n,
+          denominator: 10000n
+        }
       })
     ]);
 
@@ -412,20 +412,20 @@ class Interact extends React.Component {
   renderIncompatibleWarning = () => {
     const { metaevidence } = this.state;
     const isGenericMetaEvidence = metaevidence?.metaEvidenceJSON?.category === "Non-Standard Contract";
-    
+
     return (
-      <div style={{ 
-        padding: "1rem 2rem", 
-        fontSize: "14px", 
+      <div style={{
+        padding: "1rem 2rem",
+        fontSize: "14px",
         background: isGenericMetaEvidence ? "#fff3cd" : "#fafafa",
         border: isGenericMetaEvidence ? "1px solid #ffeaa7" : "none",
         borderRadius: "4px",
         marginBottom: "1rem"
       }}>
         {isGenericMetaEvidence ? (
           <>
-            <b>⚠️ Non-Standard Contract:</b> This arbitrable contract doesn't follow standard Kleros patterns. 
-            The dispute information shown is generic. Limited functionality is available - you may not be able to submit evidence 
+            <b>⚠️ Non-Standard Contract:</b> This arbitrable contract doesn't follow standard Kleros patterns.
+            The dispute information shown is generic. Limited functionality is available - you may not be able to submit evidence
             or fund appeals through this interface.
             <br />
             <small style={{ color: "#856404", marginTop: "0.5rem", display: "block" }}>
@@ -434,7 +434,7 @@ class Interact extends React.Component {
           </>
         ) : (
           <>
-            <b>View mode only:</b> the arbitrable contract of this dispute is not compatible with the interface of Dispute Resolver. 
+            <b>View mode only:</b> the arbitrable contract of this dispute is not compatible with the interface of Dispute Resolver.
             You can't submit evidence or fund appeal on this interface. You can do these on the arbitrable application, if implemented.
           </>
         )}
@@ -558,6 +558,7 @@ class Interact extends React.Component {
         />
         <DisputeDetails
           activeAddress={activeAddress}
+          network={network}
           metaevidenceJSON={metaevidence?.metaEvidenceJSON}
           evidences={evidences}
           ipfsGateway="https://cdn.kleros.link"

src/ethereum/interface.js

@@ -6,6 +6,7 @@ import PolicyRegistry from "../../node_modules/@kleros/kleros/build/contracts/Po
 import ArbitrableProxy from "../../node_modules/@kleros/arbitrable-proxy-contracts/build/contracts/ArbitrableProxy.json";
 import IDisputeResolver_v2_0_0 from "../../node_modules/IDRv2/build/contracts/IDisputeResolver.json";
 import IDisputeResolver_v1_0_2 from "../../node_modules/IDRv1/build/contracts/IDisputeResolver.json";
+import MultipleArbitrableTokenTransaction from "../../node_modules/@kleros/kleros-interaction/build/contracts/MultipleArbitrableTokenTransaction.json";
 
 import { ethers } from "ethers";
 
@@ -18,6 +19,7 @@ const contractABIs = {
   IArbitrable,
   IEvidence,
   PolicyRegistry,
+  MultipleArbitrableTokenTransaction,
 };
 
 export const getContract = (contractName, address, provider) => {

src/ethereum/network-contract-mapping.js

@@ -22,14 +22,17 @@ const arbitratorDeployedAtBlock = {
   1: 7303699,
   5: 5893941,
   11155111: 3635742,
-
 }
 
+const ESCROW_V1_ETH_MAINNET_ADDRESSES = ["0xE2Dd8CCe2c33a04215074ADb4B5820B765d8Ed9D", "0x0d67440946949fe293b45c52efd8a9b3d51e2522", "0xC25a0b9681ABF6F090AEd71a8c08fB564b41dab6", "0xBCf0d1AD453728F75e9cFD4358ED187598A45e6c"]
+const ESCROW_V1_ETH_SEPOLIA_ADDRESSES = ["0x338f1A474e0FB0ae9E913cFA3d7c6Aa19b92015B", "0x9262c1c7810571B189db83F945e7e8b67abcE1c8", "0x58fc7e398B4a1886695ab2C7fE7c31F49393a8c5", "0x6048002b6E93A4A5d93E902F2427D7472790aC97"]
+
 const map = {
   1: {
     NAME: "Ethereum Mainnet",
     KLEROS_LIQUID: arbitrators["1"],
     ARBITRABLE_PROXY: ArbitrableProxy.networks[1]?.address,
+    ESCROW_V1_CONTRACTS: ESCROW_V1_ETH_MAINNET_ADDRESSES,
     POLICY_REGISTRY: "0xCf1f07713d5193FaE5c1653C9f61953D048BECe4",
     WEB3_PROVIDER: process.env.REACT_APP_WEB3_PROVIDER_URL,
     CURRENCY_SHORT: "ETH",
@@ -39,6 +42,7 @@ const map = {
     NAME: "Ethereum Testnet Görli",
     KLEROS_LIQUID: arbitrators["5"],
     ARBITRABLE_PROXY: "0x78ac5F189FC6DAB261437a7B95D11cAcf0234FFe",
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: "0x28c8A3A2E3c8Cd3F795DB83764316a1129a069bA",
     WEB3_PROVIDER: process.env.REACT_APP_WEB3_GOERLI_PROVIDER_URL,
     CURRENCY_SHORT: "ETH",
@@ -48,6 +52,7 @@ const map = {
     NAME: "Gnosis Network",
     KLEROS_LIQUID: arbitrators["100"],
     ARBITRABLE_PROXY: ArbitrableProxy.networks[100].address,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: "0x9d494768936b6bDaabc46733b8D53A937A6c6D7e",
     WEB3_PROVIDER: process.env.REACT_APP_WEB3_XDAI_PROVIDER_URL,
     CURRENCY_SHORT: "xDai",
@@ -58,6 +63,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["1"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "1",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["1"],
     WEB3_PROVIDER: process.env.REACT_APP_UNICHAIN,
     CURRENCY_SHORT: "ETH",
@@ -68,6 +74,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["11155111"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "11155111",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["11155111"],
     WEB3_PROVIDER: process.env.REACT_APP_UNICHAIN_SEPOLIA,
     CURRENCY_SHORT: "ETH",
@@ -79,13 +86,15 @@ const map = {
     CURRENCY_SHORT: "MATIC",
     FOREIGN_KLEROS_LIQUID: arbitrators["1"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "1",
+    ESCROW_V1_CONTRACTS: [],
     QUERY_FROM_BLOCK: arbitratorDeployedAtBlock["1"],
   },
   300: {
     NAME: "zkSync Era Testnet Sepolia",
     FOREIGN_KLEROS_LIQUID: arbitrators["11155111"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "11155111",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["11155111"],
     WEB3_PROVIDER: "https://sepolia.era.zksync.dev/",
     CURRENCY_SHORT: "sETH",
@@ -96,6 +105,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["1"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "1",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["1"],
     WEB3_PROVIDER: "https://mainnet.era.zksync.io",
     CURRENCY_SHORT: "ETH",
@@ -106,6 +116,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["1"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "1",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["1"],
     WEB3_PROVIDER: process.env.REACT_APP_REDSTONE,
     CURRENCY_SHORT: "ETH",
@@ -116,6 +127,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["1"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "1",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["1"],
     WEB3_PROVIDER: process.env.REACT_APP_ARBITRUM_ONE,
     CURRENCY_SHORT: "ETH",
@@ -126,6 +138,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["11155111"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "11155111",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["11155111"],
     WEB3_PROVIDER: process.env.REACT_APP_ARBITRUM_SEPOLIA,
     CURRENCY_SHORT: "ETH",
@@ -138,6 +151,7 @@ const map = {
     CURRENCY_SHORT: "MATIC",
     FOREIGN_KLEROS_LIQUID: arbitrators["5"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "5",
+    ESCROW_V1_CONTRACTS: [],
     QUERY_FROM_BLOCK: arbitratorDeployedAtBlock["5"],
   },
   10200: {
@@ -147,12 +161,14 @@ const map = {
     POLICY_REGISTRY: "0x53FC70FE1EC3a60f8939A62aBCc61bf1A57938D7",
     WEB3_PROVIDER: process.env.REACT_APP_WEB3_CHIADO_PROVIDER_URL,
     CURRENCY_SHORT: "xDai",
+    ESCROW_V1_CONTRACTS: [],
     QUERY_FROM_BLOCK: 1165867,
   },
   11155111: {
     NAME: "Ethereum Testnet Sepolia",
     KLEROS_LIQUID: arbitrators["11155111"],
     ARBITRABLE_PROXY: "0x009cA5A0B816156F91B29A93d7688c52480BaB24",
+    ESCROW_V1_CONTRACTS: ESCROW_V1_ETH_SEPOLIA_ADDRESSES,
     POLICY_REGISTRY: policyRegistries["11155111"],
     WEB3_PROVIDER: process.env.REACT_APP_WEB3_SEPOLIA_PROVIDER_URL,
     CURRENCY_SHORT: "sETH",
@@ -163,6 +179,7 @@ const map = {
     FOREIGN_KLEROS_LIQUID: arbitrators["11155111"],
     FOREIGN_ARBITRATOR_NETWORK_CODE: "11155111",
     ARBITRABLE_PROXY: null,
+    ESCROW_V1_CONTRACTS: [],
     POLICY_REGISTRY: policyRegistries["11155111"],
     WEB3_PROVIDER: process.env.REACT_APP_OPTIMISM_SEPOLIA,
     CURRENCY_SHORT: "ETH",