feat(validate): introduce new crate with phase-1 and phase-2 validati…

…on (#607)
txpipe · Feb 27, 2025 · d9d71fb · d9d71fb
1 parent 2ddb5b0
commit d9d71fb
Show file tree

Hide file tree

Showing 37 changed files with 6,863 additions and 465 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,6 @@
 [workspace]
 resolver = "2"
 members = [
-  "pallas-applying",
   "pallas-codec",
   "pallas-addresses",
   "pallas-network",
@@ -14,6 +13,7 @@ members = [
   "pallas-hardano",
   "pallas-wallet",
   "pallas-math",
+  "pallas-validate",
   "pallas",
   "examples/block-download",
   "examples/block-decode",

diff --git a/pallas-applying/tests/common.rs b/pallas-applying/tests/common.rs
diff --git a/pallas-traverse/src/tx.rs b/pallas-traverse/src/tx.rs
@@ -28,6 +28,10 @@ impl<'b> MultiEraTx<'b> {
         Self::Babbage(Box::new(Cow::Borrowed(tx)))
     }
 
+    pub fn from_conway(tx: &'b conway::MintedTx<'b>) -> Self {
+        Self::Conway(Box::new(Cow::Borrowed(tx)))
+    }
+
     pub fn encode(&self) -> Vec<u8> {
         // to_vec is infallible
         match self {

diff --git a/pallas-utxorpc/Cargo.toml b/pallas-utxorpc/Cargo.toml
@@ -19,9 +19,7 @@ pallas-primitives = { version = "=0.32.0", path = "../pallas-primitives" }
 pallas-codec = { version = "=0.32.0", path = "../pallas-codec" }
 pallas-crypto = { version = "=0.32.0", path = "../pallas-crypto" }
 prost-types = "0.13.1"
-
-# TODO: remove this dep once we have multiera params in traverse
-pallas-applying = { version = "=0.32.0", path = "../pallas-applying" }
+pallas-validate = { version = "=0.32.0", path = "../pallas-validate" }
 
 [dev-dependencies]
 hex = "0.4.3"

diff --git a/pallas-utxorpc/src/params.rs b/pallas-utxorpc/src/params.rs
@@ -1,5 +1,5 @@
-use pallas_applying::MultiEraProtocolParameters;
 use pallas_primitives::conway;
+use pallas_validate::utils::MultiEraProtocolParameters;
 use utxorpc_spec::utxorpc::v1alpha::cardano as u5c;
 
 use crate::{rational_number_to_u5c, LedgerContext, Mapper};

diff --git a/pallas-applying/Cargo.toml → pallas-validate/Cargo.toml b/pallas-applying/Cargo.toml → pallas-validate/Cargo.toml
@@ -1,16 +1,7 @@
 [package]
-name = "pallas-applying"
-description = "Logic for validating and applying new blocks and txs to the chain state"
+name = "pallas-validate"
 version = "0.32.0"
 edition = "2021"
-repository = "/~https://github.com/MaicoLeberle/pallas"
-homepage = "/~https://github.com/MaicoLeberle/pallas"
-license = "Apache-2.0"
-readme = "README.md"
-authors = ["Maico Leberle <maico.leberle@gmail.com>"]
-
-[lib]
-doctest = false
 
 [dependencies]
 pallas-addresses = { version = "=0.32.0", path = "../pallas-addresses" }
@@ -22,6 +13,14 @@ rand = "0.8"
 hex = "0.4"
 chrono = "0.4.39"
 thiserror = "1.0.49"
+serde = { version = "1.0.136", features = ["derive"] }
+serde_json = "1.0.122"
+itertools = "0.14.0"
+tracing = "0.1.41"
 
-[dev-dependencies]
-hex = "0.4"
+# phase2 dependencies
+uplc = { git = "/~https://github.com/pragma-org/uplc.git", optional = true}
+rug = { version = "1.26.1", optional = true}
+
+[features]
+phase_two = ["uplc", "rug"]
diff --git a/pallas-applying/README.md → pallas-validate/README.md b/pallas-applying/README.md → pallas-validate/README.md
@@ -1,4 +1,4 @@
-# Pallas Applying
+# Pallas Validate
 
 Crate for performing transaction validation according to the Cardano protocol. Generally speaking, this crate is structured in multiple modules, each one handling a specific Cardano era. These eras are: Byron, ShelleyMA, Alonzo and Babbage.
 

diff --git a/pallas-applying/docs/alonzo.md → pallas-validate/docs/alonzo.md b/pallas-applying/docs/alonzo.md → pallas-validate/docs/alonzo.md
diff --git a/pallas-applying/docs/babbage.md → pallas-validate/docs/babbage.md b/pallas-applying/docs/babbage.md → pallas-validate/docs/babbage.md
diff --git a/pallas-applying/docs/byron.md → pallas-validate/docs/byron.md b/pallas-applying/docs/byron.md → pallas-validate/docs/byron.md
diff --git a/pallas-applying/docs/shelleyMA.md → pallas-validate/docs/shelleyMA.md b/pallas-applying/docs/shelleyMA.md → pallas-validate/docs/shelleyMA.md
diff --git a/pallas-validate/src/lib.rs b/pallas-validate/src/lib.rs
@@ -0,0 +1,8 @@
+pub mod utils;
+pub mod phase_one;
+
+#[cfg(feature = "phase_two")]
+pub mod phase_two;
+
+#[cfg(feature = "phase_two")]
+pub mod uplc;
diff --git a/pallas-applying/src/alonzo.rs → pallas-validate/src/phase_one/alonzo.rs b/pallas-applying/src/alonzo.rs → pallas-validate/src/phase_one/alonzo.rs
diff --git a/pallas-applying/src/babbage.rs → pallas-validate/src/phase_one/babbage.rs b/pallas-applying/src/babbage.rs → pallas-validate/src/phase_one/babbage.rs
diff --git a/pallas-applying/src/byron.rs → pallas-validate/src/phase_one/byron.rs b/pallas-applying/src/byron.rs → pallas-validate/src/phase_one/byron.rs