@iexec/poco

iExec PoCo Smart Contracts

Introduction

This repository contains the smart contract implementation of iExec's Proof of Contribution protocol.

Related articles

• PoCo Series #1 — About Trust and Agents Incentives
• PoCo Series #2 — On the use of staking to prevent attacks
• PoCo Series #3 — PoCo protocol update
• PoCo Series #4 — Enclaves and Trusted Executions
• PoCo Series #5 — Open decentralized brokering on the iExec platform
• PoCo Series #6 — Smart Contract Upgradeability and Governance
• PoCo Series #8 — Future-proofing iExec - Smart Contract Interoperability and Modularity
• iExec PoCo v6 — Building the diamond foundation

Documentation

• Protocol documentation
• Solidity API documentation

UML and storage diagrams

• Contracts and Actors Architecture
• State diagrams
• Nominal workflow sequence
• Nominal workflow sequence w/ TEE
• Boost workflow sequence
• Storage diagrams
  • Diamond storage
  • PoCo storage
• UML classes related to:
  • IexecPoco1Facet & IexecPoco2Facet
  • IexecPocoBoostFacet
  • IexecEscrows
  • iExec PoCo registries
  • iExec PoCo libraries
  • iExec PoCo modules (facets)

Audits

All contract audit files can be found in audits/ folder.

How to?

Resources

• NPM Package: all contract ABIs, source code, and deployment artifacts (with addresses) are bundled in the @iexec/poco package.
• ABIs: available in the abis/ folder of this repository and in the NPM package (/abis).
• Deployment addresses: published in the deployments/ folder of this repository and in the NPM package (/deployments/<chain>).
• Artifacts: ⚠️ DEPRECATED and replaced by abis. This will be removed in future versions.

Note: abis/ folder contains the most up to date version of the ABIs even before deployment on live networks.

Configure a deployment

Starting from version 5, the PoCo uses a modular design based on ERC-2535. Tests and deployment scripts will use different modules (facets) and deployment process depending on the required configuration. In particular, the configuration can use a create2 factory for the deployment, and enable native token or ERC20 token based escrow depending on the targeted blockchain. This means that the codebase is the same on public blockchains (ERC20 based RLC) and dedicated sidechains (Native token based RLC).

The configuration file is located in ./config/config.json.

It contains:

• A list of categories created during the deployment process. Additional categories can be created by the contract administrator using the createCategory function.
• For each chain id, a quick configuration:
  • "asset": can be "Token" or "Native", select which escrow to use.
  • "token": the address of the token to use. If asset is set to token, and no token address is provided, a mock will be deployed on the fly.
  • "v3": a list of resources from a previous (v3) deployment. This allows previous resources to be automatically available. It also enables score transfer from v3 to v5. [optional]
  • "v5": deployment parameters for the new version. If factory address is set, and no salt is provided, bytes32(0) will be used by default.

If you want to deploy the iExec PoCo V5 smart contracts on a new blockchain, the recommended process is to:

• Edit the ./config/config.json file as follows:
• Create a new entry under "chains" with your chain id;
• Set the asset type depending on your blockchain;
• If you are using "asset": "Token", provide the address of the token you want to use;
• Unless you know what you are doing, leave all "v3" resources to Null;
• Use the factory with the same salt as the other blockchains, and use the same wallet as previous deployments to have the same deployment address on this new blockchain.

Additional configuration & environment variables

Environment variable can be used to alter the configuration of a deployment:

• SALT: if set, the SALT env var will overwrite the salt parameter from the config. This can be useful to distinguish different deployments without modifying the config.

Additionally, the migration process will look for some smart contracts before deploying new instances. This is true of the application, dataset and workerpool registries. Thus, if different marketplaces are deployed to the same network, they will share these registries.

Development

This project uses trunk-based development workflow with automatic release management. It means that:

• Only squash merge commits are accepted.
• When merging a PR, its title is used as the commit message.
• A check is added to enforce using the correct format for PR titles (feat:..., fix:..., ...).
• Release please is used to manage Github releases.

Build

The PoCo smart contracts are in the contracts/ folder. Json artifacts, containing the contracts bytecode and ABI can be found in the artifacts/ folder. In case you need to regenerate them, you can use the following command:

npm install
npm run build

Test

Automatic testing

PoCo smart contracts come with a test suite in the ./test folder. You can startup a sandbox blockchain and run the tests using the following command:

npm install
npm run test

Additionally, you can produce a coverage report using the following command:

npm run coverage

The automatic testing command uses the Hardhat network by default to run the tests.

Testing on a custom blockchain

• Start a blockchain

  • You can either use the Hardhat CLI with the following command:

  npx hardhat node [<any additional arguments>]
  

  • Or run any other blockchain client.

• [Optional] Update the configuration

  If your blockchain listen to a port that is not 8545, or if the blockchain is on a different node, update the hardhat.config.ts configuration (network ports, accounts with mnemonic, ..) accordingly to the Hardhat Configuration documentation.

• Run tests

npm run test -- --network <networkUrl>

Deploy

The iExec PoCo contracts support automated deployment through both command-line interface and GitHub Actions workflows.

Command Line Deployment

You can deploy the smart contracts according to the deploy/0_deploy.ts content. This will automatically save addresses of the deployed artifacts to deployments/ folder.

To deploy using the CLI:

• Make sure you followed the "Configure a deployment" section above
• Enter your targeted blockchain parameters in hardhat.config.ts
• Run the deployment using:

npm run deploy -- --network <your network name>

Example with custom salt:

SALT=0x0000000000000000000000000000000000000000000000000000000000000001 npx hardhat deploy --network hardhat

Verification

To verify contracts:

npm run verify:all -- --network <your network name> # e.g. arbitrum

This script automatically reads all deployed contract addresses and their constructor arguments from the deployment artifacts and verifies them on the relevant block explorer.

Formatting

Format a specific file or files in a directory:

npm run format <filePath|folderPath>

Render UML diagrams

To render all UML diagrams:

npm run uml

To render only class diagrams:

npm run sol-to-uml

To render only .puml files:

npm run puml-to-links

To render only storage diagrams:

npm run storage-to-diagrams