Permissionless arbitration (NxN) prototype

.gitmodules

@@ -10,3 +10,9 @@
 [submodule "onchain/rollups/lib/forge-std"]
 	path = onchain/rollups/lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "onchain/permissionless-arbitration/lib/forge-std"]
+	path = onchain/permissionless-arbitration/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "onchain/permissionless-arbitration/lib/machine-solidity-step"]
+	path = onchain/permissionless-arbitration/lib/machine-solidity-step
+	url = https://github.com/cartesi/machine-solidity-step

onchain/permissionless-arbitration/.dockerignore

@@ -0,0 +1,2 @@
+offchain/program/simple-linux-program/
+offchain/program/simple-program/

onchain/permissionless-arbitration/.gitignore

@@ -0,0 +1,21 @@
+# Compiler files
+cache/
+out/
+
+# Ignores development broadcast logs
+!/broadcast
+/broadcast/*/31337/
+/broadcast/**/dry-run/
+
+# Docs
+docs/
+
+# Dotenv file
+.env
+
+# Coverage
+report
+lcov.info
+
+# Test
+test/uarch-log

onchain/permissionless-arbitration/Dockerfile

@@ -0,0 +1,17 @@
+FROM cartesi/machine-emulator:main
+
+USER 0
+RUN apt-get -y update; apt-get -y install curl git; apt-get install -y procps
+RUN curl -sSL https://github.com/foundry-rs/foundry/releases/download/nightly/foundry_nightly_linux_$(dpkg --print-architecture).tar.gz | \
+    tar -zx -C /usr/local/bin
+
+ADD foundry.toml ./project/
+ADD lib ./project/lib/
+ADD src ./project/src/
+WORKDIR "./project"
+RUN forge --version
+RUN forge build
+
+ADD ./offchain/ ./offchain/
+RUN chmod +x ./offchain/entrypoint.lua
+ENTRYPOINT ["./offchain/entrypoint.lua"]

onchain/permissionless-arbitration/README.md

@@ -0,0 +1,7 @@
+# Permissionless Arbitration (NxN) Lua prototype Node
+
+## Run example
+
+```
+docker build -t nxn_playground:latest . && docker run --rm nxn_playground:latest
+```

onchain/permissionless-arbitration/coverage.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+forge coverage --report lcov
+genhtml -o report --branch-coverage lcov.info

onchain/permissionless-arbitration/foundry.toml

@@ -0,0 +1,8 @@
+[profile.default]
+src = "src"
+out = "out"
+libs = ["lib"]
+
+remappings = [
+    'step/=lib/machine-solidity-step/',
+]

onchain/permissionless-arbitration/offchain/.luarc.json

@@ -0,0 +1,13 @@
+{
+    "$schema": "https://raw.githubusercontent.com/sumneko/vscode-lua/master/setting/schema.json",
+
+    "runtime.version": "Lua 5.4",
+
+    "diagnostics": {
+        "enable": true
+    },
+
+    "workspace.library": {
+      "runtime/lua": true
+    }
+}

onchain/permissionless-arbitration/offchain/blockchain/constants.lua

@@ -0,0 +1,90 @@
+-- contains default 40 accounts of anvil test node
+local constants = {
+    endpoint = "http://127.0.0.1:8545",
+    addresses = {
+        "0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266",
+        "0x70997970C51812dc3A010C7d01b50e0d17dc79C8",
+        "0x3C44CdDdB6a900fa2b585dd299e03d12FA4293BC",
+        "0x90F79bf6EB2c4f870365E785982E1f101E93b906",
+        "0x15d34AAf54267DB7D7c367839AAf71A00a2C6A65",
+        "0x9965507D1a55bcC2695C58ba16FB37d819B0A4dc",
+        "0x976EA74026E726554dB657fA54763abd0C3a0aa9",
+        "0x14dC79964da2C08b23698B3D3cc7Ca32193d9955",
+        "0x23618e81E3f5cdF7f54C3d65f7FBc0aBf5B21E8f",
+        "0xa0Ee7A142d267C1f36714E4a8F75612F20a79720",
+        "0xBcd4042DE499D14e55001CcbB24a551F3b954096",
+        "0x71bE63f3384f5fb98995898A86B02Fb2426c5788",
+        "0xFABB0ac9d68B0B445fB7357272Ff202C5651694a",
+        "0x1CBd3b2770909D4e10f157cABC84C7264073C9Ec",
+        "0xdF3e18d64BC6A983f673Ab319CCaE4f1a57C7097",
+        "0xcd3B766CCDd6AE721141F452C550Ca635964ce71",
+        "0x2546BcD3c84621e976D8185a91A922aE77ECEc30",
+        "0xbDA5747bFD65F08deb54cb465eB87D40e51B197E",
+        "0xdD2FD4581271e230360230F9337D5c0430Bf44C0",
+        "0x8626f6940E2eb28930eFb4CeF49B2d1F2C9C1199",
+        "0x09DB0a93B389bEF724429898f539AEB7ac2Dd55f",
+        "0x02484cb50AAC86Eae85610D6f4Bf026f30f6627D",
+        "0x08135Da0A343E492FA2d4282F2AE34c6c5CC1BbE",
+        "0x5E661B79FE2D3F6cE70F5AAC07d8Cd9abb2743F1",
+        "0x61097BA76cD906d2ba4FD106E757f7Eb455fc295",
+        "0xDf37F81dAAD2b0327A0A50003740e1C935C70913",
+        "0x553BC17A05702530097c3677091C5BB47a3a7931",
+        "0x87BdCE72c06C21cd96219BD8521bDF1F42C78b5e",
+        "0x40Fc963A729c542424cD800349a7E4Ecc4896624",
+        "0x9DCCe783B6464611f38631e6C851bf441907c710",
+        "0x1BcB8e569EedAb4668e55145Cfeaf190902d3CF2",
+        "0x8263Fce86B1b78F95Ab4dae11907d8AF88f841e7",
+        "0xcF2d5b3cBb4D7bF04e3F7bFa8e27081B52191f91",
+        "0x86c53Eb85D0B7548fea5C4B4F82b4205C8f6Ac18",
+        "0x1aac82773CB722166D7dA0d5b0FA35B0307dD99D",
+        "0x2f4f06d218E426344CFE1A83D53dAd806994D325",
+        "0x1003ff39d25F2Ab16dBCc18EcE05a9B6154f65F4",
+        "0x9eAF5590f2c84912A08de97FA28d0529361Deb9E",
+        "0x11e8F3eA3C6FcF12EcfF2722d75CEFC539c51a1C",
+        "0x7D86687F980A56b832e9378952B738b614A99dc6",
+    },
+    pks = {
+        "0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80",
+        "0x59c6995e998f97a5a0044966f0945389dc9e86dae88c7a8412f4603b6b78690d",
+        "0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a",
+        "0x7c852118294e51e653712a81e05800f419141751be58f605c371e15141b007a6",
+        "0x47e179ec197488593b187f80a00eb0da91f1b9d0b13f8733639f19c30a34926a",
+        "0x8b3a350cf5c34c9194ca85829a2df0ec3153be0318b5e2d3348e872092edffba",
+        "0x92db14e403b83dfe3df233f83dfa3a0d7096f21ca9b0d6d6b8d88b2b4ec1564e",
+        "0x4bbbf85ce3377467afe5d46f804f221813b2bb87f24d81f60f1fcdbf7cbf4356",
+        "0xdbda1821b80551c9d65939329250298aa3472ba22feea921c0cf5d620ea67b97",
+        "0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6",
+        "0xf214f2b2cd398c806f84e317254e0f0b801d0643303237d97a22a48e01628897",
+        "0x701b615bbdfb9de65240bc28bd21bbc0d996645a3dd57e7b12bc2bdf6f192c82",
+        "0xa267530f49f8280200edf313ee7af6b827f2a8bce2897751d06a843f644967b1",
+        "0x47c99abed3324a2707c28affff1267e45918ec8c3f20b8aa892e8b065d2942dd",
+        "0xc526ee95bf44d8fc405a158bb884d9d1238d99f0612e9f33d006bb0789009aaa",
+        "0x8166f546bab6da521a8369cab06c5d2b9e46670292d85c875ee9ec20e84ffb61",
+        "0xea6c44ac03bff858b476bba40716402b03e41b8e97e276d1baec7c37d42484a0",
+        "0x689af8efa8c651a91ad287602527f3af2fe9f6501a7ac4b061667b5a93e037fd",
+        "0xde9be858da4a475276426320d5e9262ecfc3ba460bfac56360bfa6c4c28b4ee0",
+        "0xdf57089febbacf7ba0bc227dafbffa9fc08a93fdc68e1e42411a14efcf23656e",
+        "0xeaa861a9a01391ed3d587d8a5a84ca56ee277629a8b02c22093a419bf240e65d",
+        "0xc511b2aa70776d4ff1d376e8537903dae36896132c90b91d52c1dfbae267cd8b",
+        "0x224b7eb7449992aac96d631d9677f7bf5888245eef6d6eeda31e62d2f29a83e4",
+        "0x4624e0802698b9769f5bdb260a3777fbd4941ad2901f5966b854f953497eec1b",
+        "0x375ad145df13ed97f8ca8e27bb21ebf2a3819e9e0a06509a812db377e533def7",
+        "0x18743e59419b01d1d846d97ea070b5a3368a3e7f6f0242cf497e1baac6972427",
+        "0xe383b226df7c8282489889170b0f68f66af6459261f4833a781acd0804fafe7a",
+        "0xf3a6b71b94f5cd909fb2dbb287da47badaa6d8bcdc45d595e2884835d8749001",
+        "0x4e249d317253b9641e477aba8dd5d8f1f7cf5250a5acadd1229693e262720a19",
+        "0x233c86e887ac435d7f7dc64979d7758d69320906a0d340d2b6518b0fd20aa998",
+        "0x85a74ca11529e215137ccffd9c95b2c72c5fb0295c973eb21032e823329b3d2d",
+        "0xac8698a440d33b866b6ffe8775621ce1a4e6ebd04ab7980deb97b3d997fc64fb",
+        "0xf076539fbce50f0513c488f32bf81524d30ca7a29f400d68378cc5b1b17bc8f2",
+        "0x5544b8b2010dbdbef382d254802d856629156aba578f453a76af01b81a80104e",
+        "0x47003709a0a9a4431899d4e014c1fd01c5aad19e873172538a02370a119bae11",
+        "0x9644b39377553a920edc79a275f45fa5399cbcf030972f771d0bca8097f9aad3",
+        "0xcaa7b4a2d30d1d565716199f068f69ba5df586cf32ce396744858924fdf827f0",
+        "0xfc5a028670e1b6381ea876dd444d3faaee96cffae6db8d93ca6141130259247c",
+        "0x5b92c5fe82d4fabee0bc6d95b4b8a3f9680a0ed7801f631035528f32c9eb2ad5",
+        "0xb68ac4aa2137dd31fd0732436d8e59e959bb62b4db2e6107b15f594caf0f405f",
+    },
+}
+
+return constants

onchain/permissionless-arbitration/offchain/blockchain/node.lua

@@ -0,0 +1,183 @@
+local default_account_number = 40
+
+local function stop_blockchain(handle, pid)
+    print(string.format("Stopping blockchain with pid %d...", pid))
+    os.execute(string.format("kill -15 %i", pid))
+    handle:close()
+    print "Blockchain stopped"
+end
+
+local function start_blockchain()
+    print(string.format("Starting blockchain with %d accounts...", default_account_number))
+
+    local cmd = string.format([[sh -c "echo $$ ; exec anvil --block-time 1 -a %d > anvil.log 2>&1"]], default_account_number)
+
+    local reader = io.popen(cmd)
+    assert(reader, "`popen` returned nil reader")
+
+    local pid = tonumber(reader:read())
+
+    local handle = { reader = reader, pid = pid }
+    setmetatable(handle, {
+        __gc = function(t)
+            stop_blockchain(t.reader, t.pid)
+        end
+    })
+
+    print(string.format("Blockchain running with pid %d", pid))
+    return handle
+end
+
+local function capture_blockchain_data()
+    local blockchain_data = require "blockchain.constants"
+    return { address = blockchain_data.addresses, pk = blockchain_data.pks }, blockchain_data.endpoint
+end
+
+
+local function deploy_contracts(endpoint, deployer, initial_hash)
+    --
+    -- Deploy Single Level Factory
+    print "Deploying Single Level factory..."
+
+    local cmd_sl = string.format(
+        [[sh -c "forge create SingleLevelTournamentFactory --rpc-url=%s --private-key=%s"]],
+        endpoint, deployer
+    )
+
+    local handle_sl = io.popen(cmd_sl)
+    assert(handle_sl, "`popen` returned nil handle")
+
+    local _, _, sl_factory_address = handle_sl:read("*a"):find("Deployed to: (0x%x+)")
+    assert(sl_factory_address, "deployment failed, factory_address is nil")
+    print("Single Level factory deployed at: " .. sl_factory_address)
+    handle_sl:close()
+
+    --
+    -- Deploy top Factory
+    print "Deploying Top factory..."
+
+    local cmd_top = string.format(
+        [[sh -c "forge create TopTournamentFactory --rpc-url=%s --private-key=%s"]],
+        endpoint, deployer
+    )
+
+    local handle_top = io.popen(cmd_top)
+    assert(handle_top, "`popen` returned nil handle")
+
+    local _, _, top_factory_address = handle_top:read("*a"):find("Deployed to: (0x%x+)")
+    assert(top_factory_address, "deployment failed, factory_address is nil")
+    print("Top factory deployed at: " .. top_factory_address)
+    handle_top:close()
+
+    --
+    -- Deploy middle Factory
+    print "Deploying Middle factory..."
+
+    local cmd_mid = string.format(
+        [[sh -c "forge create MiddleTournamentFactory --rpc-url=%s --private-key=%s"]],
+        endpoint, deployer
+    )
+
+    local handle_mid = io.popen(cmd_mid)
+    assert(handle_mid, "`popen` returned nil handle")
+
+    local _, _, mid_factory_address = handle_mid:read("*a"):find("Deployed to: (0x%x+)")
+    assert(mid_factory_address, "deployment failed, factory_address is nil")
+    print("Middle factory deployed at: " .. mid_factory_address)
+    handle_mid:close()
+
+    --
+    -- Deploy bottom Factory
+    print "Deploying Bottom factory..."
+
+    local cmd_bot = string.format(
+        [[sh -c "forge create BottomTournamentFactory --rpc-url=%s --private-key=%s"]],
+        endpoint, deployer
+    )
+
+    local handle_bot = io.popen(cmd_bot)
+    assert(handle_bot, "`popen` returned nil handle")
+
+    local _, _, bot_factory_address = handle_bot:read("*a"):find("Deployed to: (0x%x+)")
+    assert(bot_factory_address, "deployment failed, factory_address is nil")
+    print("Bottom factory deployed at: " .. bot_factory_address)
+    handle_bot:close()
+
+
+    --
+    -- Deploy Tournament Factory
+    print "Deploying Tournament factory..."
+
+    local cmd_tournament = string.format(
+        [[sh -c "forge create TournamentFactory --rpc-url=%s --private-key=%s --constructor-args %s %s %s %s"]],
+        endpoint, deployer, sl_factory_address, top_factory_address, mid_factory_address, bot_factory_address
+    )
+
+    local handle_tournament = io.popen(cmd_tournament)
+    assert(handle_tournament, "`popen` returned nil handle")
+
+    local _, _, tournament_factory_address = handle_tournament:read("*a"):find("Deployed to: (0x%x+)")
+    assert(tournament_factory_address, "deployment failed, factory_address is nil")
+    print("tournament factory deployed at: " .. tournament_factory_address)
+    handle_tournament:close()
+
+
+    --
+    -- Instantiate Root Tournament
+    print "Instantiate root tournament contract..."
+
+    local cmd_root = string.format(
+        [[cast send --private-key "%s" --rpc-url "%s" "%s" "instantiateTop(bytes32)" "%s"]],
+        deployer, endpoint, tournament_factory_address, initial_hash
+    )
+
+    local handle_root = io.popen(cmd_root)
+    assert(handle_root, "`popen` returned nil handle")
+
+    local _, _, a = handle_root:read("*a"):find [["data":"0x000000000000000000000000(%x+)"]]
+    local address = "0x" .. a
+    assert(address, "deployment failed, address is nil")
+    print("Contract deployed at: " .. address)
+    handle_root:close()
+
+    return address
+end
+
+local Blockchain = {}
+Blockchain.__index = Blockchain
+
+function Blockchain:new()
+    local blockchain = {}
+
+    local handle = start_blockchain()
+    local accounts, endpoint = capture_blockchain_data()
+
+    blockchain._handle = handle
+    blockchain._accounts = accounts
+    blockchain.endpoint = endpoint
+
+    setmetatable(blockchain, self)
+    return blockchain
+end
+
+function Blockchain:default_account()
+    local current_account = 1
+    local accounts = self._accounts
+    assert(current_account <= #accounts.address, "no more accounts")
+
+    local account = {
+        address = accounts.address[current_account],
+        pk = accounts.pk[current_account]
+    }
+
+    return account
+end
+
+function Blockchain:deploy_contract(initial_hash, deployer)
+    assert(initial_hash)
+    deployer = deployer or self:default_account()
+    local address = deploy_contracts(self.endpoint, deployer.pk, initial_hash)
+    return address, deployer
+end
+
+return Blockchain