wip

Author: GCdePaula

Cargo.lock

@@ -10,11 +10,12 @@ members = [
     "common-rs/arithmetic",
 
     # prt
-    "prt/client-rs",
-    "prt/tests/compute-rs",
+    "prt/client-rs/core",
+    "prt/client-rs/executable",
 
     # rollups-node
     "cartesi-rollups/node/blockchain-reader",
+    "cartesi-rollups/node/prt-runner",
     "cartesi-rollups/node/dave-rollups",
     "cartesi-rollups/node/epoch-manager",
     "cartesi-rollups/node/machine-runner",
@@ -48,7 +49,7 @@ cartesi-prt-contracts = { path = "prt/contracts/bindings-rs" }
 
 # rollups-node
 rollups-blockchain-reader = { version = "0.1", path = "cartesi-rollups/node/blockchain-reader" }
-rollups-compute-runner = { version = "0.1", path = "cartesi-rollups/node/compute-runner" }
+rollups-prt-runner = { version = "0.1", path = "cartesi-rollups/node/prt-runner" }
 rollups-epoch-manager = { version = "0.1", path = "cartesi-rollups/node/epoch-manager" }
 rollups-machine-runner = { version = "0.1", path = "cartesi-rollups/node/machine-runner" }
 rollups-state-manager = { version = "0.1", path = "cartesi-rollups/node/state-manager" }
@@ -58,7 +59,7 @@ cartesi-dave-arithmetic = { path = "common-rs/arithmetic" }
 cartesi-dave-merkle = { path = "common-rs/merkle" }
 
 # prt
-cartesi-prt-core = { path = "prt/client-rs" }
+cartesi-prt-core = { path = "prt/client-rs/core" }
 
 
 ## Dependencies
@@ -80,6 +81,11 @@ async-trait = "0.1"
 futures = "0.3"
 tokio = { version = "1", features = ["full"] }
 
+# sqlite
+lazy_static = "1.4"
+rusqlite = { version = "0.31.0", features = ["bundled"] }
+rusqlite_migration = "1.2.0"
+
 clap = { version = "4.5", features = ["derive", "env"] }
 hex = "0.4"
 log = "0.4"

Cargo.toml

@@ -11,36 +11,39 @@ default: build
 
 build: build-smart-contracts bind
 
+fmt:
+    forge fmt
+
 # compile smart contracts
 build-smart-contracts:
-	forge build
+    forge build
 
 # clean smart contracts artifacts
 clean-smart-contracts:
-	forge clean
+    forge clean
 
 # clean generated bindings
 clean-bindings:
-	rm -rf {{BINDINGS_DIR}}
+    rm -rf {{BINDINGS_DIR}}
 
 # generate Rust bindings from Solidity code
 bind: clean-bindings
-	forge bind --alloy --select {{BINDINGS_FILTER}} \
-		--module --bindings-path {{BINDINGS_DIR}} \
-		--root {{SRC_DIR}}
+    forge bind --alloy --select {{BINDINGS_FILTER}} \
+        --module --bindings-path {{BINDINGS_DIR}} \
+        --root {{SRC_DIR}}
 
 deploy-dev INITIAL_HASH:
-	forge script \
-		script/InputBox.s.sol \
-		--fork-url {{ANVIL_ENDPOINT}} \
-		--broadcast \
-		--sig 'run()' \
-		-vvvv 2>&1
-	forge script \
-		script/DaveConsensus.s.sol \
-		--fork-url {{ANVIL_ENDPOINT}} \
-		--broadcast \
-		--sig 'run(bytes32,address)' \
-		{{INITIAL_HASH}} \
-		$(jq -r '.transactions[] | select(.transactionType=="CREATE").contractAddress' broadcast/InputBox.s.sol/{{ANVIL_CHAIN_ID}}/run-latest.json) \
-		-vvvv 2>&1
+    forge script \
+        script/InputBox.s.sol \
+        --fork-url {{ANVIL_ENDPOINT}} \
+        --broadcast \
+        --sig 'run()' \
+        -vvvv 2>&1
+    forge script \
+        script/DaveConsensus.s.sol \
+        --fork-url {{ANVIL_ENDPOINT}} \
+        --broadcast \
+        --sig 'run(bytes32,address)' \
+        {{INITIAL_HASH}} \
+        $(jq -r '.transactions[] | select(.transactionType=="CREATE").contractAddress' broadcast/InputBox.s.sol/{{ANVIL_CHAIN_ID}}/run-latest.json) \
+        -vvvv 2>&1

cartesi-rollups/contracts/justfile

@@ -30,6 +30,7 @@ cartesi-dave-merkle = { workspace = true }
 cartesi-prt-core = { workspace = true }
 cartesi-prt-contracts = { workspace = true }
 
+rusqlite = { workspace = true }
+rusqlite_migration = { workspace = true }
+
 clap = { workspace = true }
-rusqlite = { version = "0.31.0", features = ["bundled"] }
-rusqlite_migration = "1.2.0"

cartesi-rollups/node/Dockerfile.test

@@ -12,7 +12,7 @@ repository = { workspace = true }
 
 [dependencies]
 rollups-blockchain-reader = { workspace = true }
-rollups-compute-runner = { workspace = true }
+rollups-prt-runner = { workspace = true }
 rollups-epoch-manager = { workspace = true }
 rollups-machine-runner = { workspace = true }
 rollups-state-manager = { workspace = true }
@@ -26,5 +26,5 @@ clap = { workspace = true }
 futures = { workspace = true }
 tokio = { workspace = true }
 log = { workspace = true }
-rusqlite = { version = "0.31.0", features = ["bundled"] }
+rusqlite = { workspace = true }
 env_logger = "0.11.5"

cartesi-rollups/node/blockchain-reader/Cargo.toml

@@ -3,7 +3,7 @@ use cartesi_prt_core::arena::{BlockchainConfig, EthArenaSender, SenderFiller};
 use clap::Parser;
 use log::error;
 use rollups_blockchain_reader::{AddressBook, BlockchainReader};
-use rollups_compute_runner::ComputeRunner;
+use rollups_prt_runner::ComputeRunner;
 use rollups_epoch_manager::EpochManager;
 use rollups_machine_runner::MachineRunner;
 use rollups_state_manager::persistent_state_access::PersistentStateAccess;

cartesi-rollups/node/dave-rollups/Cargo.toml

@@ -18,7 +18,7 @@ use cartesi_machine::{
 use cartesi_prt_core::machine::constants::{LOG2_EMULATOR_SPAN, LOG2_INPUT_SPAN, LOG2_UARCH_SPAN};
 use rollups_state_manager::{InputId, StateManager};
 
-// gap of each leaf in the commitment tree, should use the same value as CanonicalConstants.sol:log2step(0)a
+// gap of each leaf in the commitment tree, should use the same value as CanonicalConstants.sol:log2step(0)
 const LOG2_STRIDE: u64 = 44;
 
 pub struct MachineRunner<SM: StateManager> {