Refactor lua node

onchain/permissionless-arbitration/Dockerfile

@@ -1,7 +1,7 @@
 FROM cartesi/machine-emulator:main
 
 USER 0
-RUN apt-get -y update; apt-get -y install curl git
+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
 

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

@@ -142,11 +142,12 @@ end
 local Client = {}
 Client.__index = Client
 
-function Client:new(blockchain)
+function Client:new(account_index)
+    local blockchain_data = require "blockchain.constants"
+
     local client = {
-        endpoint = blockchain.endpoint,
-        account = blockchain:new_account(),
-        blockchain = blockchain,
+        endpoint = blockchain_data.endpoint,
+        pk = blockchain_data.pks[account_index],
     }
 
     setmetatable(client, self)
@@ -193,8 +194,6 @@ function Client:_read_logs(tournament_address, sig, topics, data_sig)
     end
 
     local ret = parse_logs(logs, data_sig)
-
-    self.blockchain:read_to("eth_getLogs")
     return ret
 end
 
@@ -234,7 +233,6 @@ function Client:_call(address, sig, args)
     end
     handle:close()
 
-    self.blockchain:read_to("eth_call")
     return ret
 end
 
@@ -348,7 +346,7 @@ function Client:_send_tx(tournament_address, sig, args)
 
     local cmd = string.format(
         cast_send_template,
-        self.account.pk,
+        self.pk,
         self.endpoint,
         tournament_address,
         sig,
@@ -364,7 +362,6 @@ function Client:_send_tx(tournament_address, sig, args)
         error(string.format("Send transaction `%s` reverted:\n%s", sig, ret))
     end
     handle:close()
-    self.blockchain:read_to("eth_sendRawTransaction")
 end
 
 function Client:tx_join_tournament(tournament_address, final_state, proof, left_child, right_child)
@@ -429,100 +426,25 @@ function Client:tx_win_leaf_match(
     )
 end
 
-return Client
+local cast_advance_template = [[
+cast rpc -r "%s" evm_increaseTime %d
+]]
 
+function Client:advance_time(seconds)
+    local cmd = string.format(
+        cast_advance_template,
+        self.endpoint,
+        seconds
+    )
 
---[[
-local blockchain = require "blockchain":new()
-local initial_hash = "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
-local contract = blockchain:deploy_contract(initial_hash)
-
-local client1 = Client:new(blockchain.endpoint, blockchain:new_account())
-local p1_l1 = utils.keccak "0"
-local p1_l2 = utils.keccak "1"
-local p1_cmt = utils.join_hashes(utils.join_hashes(p1_l1, p1_l2), utils.join_hashes(p1_l2, p1_l2))
-client1:tx_join_tournament(contract, p1_l2, {p1_l1}, utils.join_hashes(p1_l1, p1_l2), utils.join_hashes(p1_l2, p1_l2))
-local commitment1 = client1:read_commitment(contract, p1_cmt)
-print(commitment1.clock.allowance, commitment1.clock.last_resume, commitment1.final_state)
-
-local client2 = Client:new(blockchain.endpoint, blockchain:new_account())
-local p2_l1 = utils.keccak "0"
-local p2_l2 = utils.keccak "2"
-local p2_cmt = utils.join_hashes(utils.join_hashes(p2_l1, p2_l2), utils.join_hashes(p2_l2, p2_l2))
-client2:tx_join_tournament(contract, p2_l2, {p2_l1}, utils.join_hashes(p2_l1, p2_l2), utils.join_hashes(p2_l2, p2_l2))
-local commitment2 = client1:read_commitment(contract, p2_cmt)
-print(commitment2.clock.allowance, commitment2.clock.last_resume, commitment2.final_state)
-
-local a = client1:read_match_created(contract, false, false)
-for k,log in ipairs(a) do
-    print("LOG ", k)
-    print("tournament_address", log.tournament_address)
-    print("commitment_one", log.commitment_one)
-    print("commitment_two", log.commitment_two)
-    print("match_id_hash", log.match_id_hash)
-    print("left_hash", log.left_hash)
-    print("meta", log.meta.block_hash, log.meta.block_number, log.meta.log_index)
-    print("END ", k)
-    print("")
-
-    local x = client1:match(contract, log.match_id_hash)
-    for _,v in ipairs(x) do print("A", v) end
+    local handle = io.popen(cmd)
+    assert(handle)
+    local ret = handle:read "*a"
+    handle:close()
+
+    if ret:find "Error" then
+        error(string.format("Advance time `%d`s failed:\n%s", seconds, ret))
+    end
 end
 
-client1:tx_advance_match(contract, p1_cmt, p2_cmt, utils.join_hashes(p1_l1, p1_l2), utils.join_hashes(p1_l2, p1_l2), p1_l1, p1_l2)
-
-client2:tx_seal_inner_match(contract, p1_cmt, p2_cmt, p2_l1, p2_l2, p2_l1, {})
-client1:read_tournament_created(contract, utils.join_hashes(p1_cmt, p2_cmt))
---]]
-
--- local client1 = Client:new(blockchain.endpoint, blockchain:new_account())
--- local p1_l1 = utils.keccak "0"
--- local p1_l2 = utils.keccak "1"
--- local p1_cmt = utils.join_hashes(p1_l1, p1_l2)
--- client1:tx_join_tournament(contract, p1_l2, {p1_l1}, p1_l1, p1_l2)
--- local commitment1 = client1:read_commitment(contract, p1_cmt)
--- print(commitment1.clock.allowance, commitment1.clock.last_resume, commitment1.final_state)
-
--- local client2 = Client:new(blockchain.endpoint, blockchain:new_account())
--- local p2_l1 = utils.keccak "0"
--- local p2_l2 = utils.keccak "2"
--- local p2_cmt = utils.join_hashes(p2_l1, p2_l2)
--- client2:tx_join_tournament(contract, p2_l2, {p2_l1}, p2_l1, p2_l2)
--- local commitment2 = client1:read_commitment(contract, p2_cmt)
--- print(commitment2.clock.allowance, commitment2.clock.last_resume, commitment2.final_state)
-
--- local a = client1:read_match_created(contract, false, false)
--- for k,log in ipairs(a) do
---     print("LOG ", k)
---     print("tournament_address", log.tournament_address)
---     print("commitment_one", log.commitment_one)
---     print("commitment_two", log.commitment_two)
---     print("match_id_hash", log.match_id_hash)
---     print("left_hash", log.left_hash)
---     print("meta", log.meta.block_hash, log.meta.block_number, log.meta.log_index)
---     print("END ", k)
---     print("")
-
---     local x = client1:match(contract, log.match_id_hash)
---     for _,v in ipairs(x) do print("A", v) end
--- end
-
-
-
--- client.joinRootTournament(commitmentId, leftChild, rightChild)
--- client.winByTimeout(id)
--- client.advanceMatch(id, leftChild, rightChild, leftChildChild, rightChildChild)
--- client.sealMatch() // seals match, creates nested tournament, updates current commitment
--- client.enterNestedTournament(parentMatch, parentCommitmentIdHash, childCommitment)
--- client.proveLeafMatch()
-
-
--- local LEVEL_LOG2_STEP_SIZES = { 24, 14, 7, 0 }
--- local LOG2_MAX_MCYCLE = 63
--- local last_log2_num_steps = LOG2_MAX_MCYCLE
-
--- for i, log2_step_size in ipairs(LEVEL_LOG2_STEP_SIZES) do
---     local log2_num_steps = last_log2_num_steps - log2_step_size
---     print(i, log2_num_steps)
---     last_log2_num_steps = log2_step_size
--- end
+return Client

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