Skip to content

Implement transaction validate command #1386

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
palas wants to merge 4 commits into
base: master
Choose a base branch
from
Draft

Implement transaction validate command #1386

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
4b4289e
Add stanza for `cardano-api`
palas May 20, 2026
118b013
Add scaffolding for `transaction validate`
palas May 21, 2026
24159b4
Implement `transaction validate`
palas May 22, 2026
c632e6e
Add SRP for `ouroboros-consensus` and `ourboros-network`
palas May 27, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
39 changes: 39 additions & 0 deletions cabal.project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,45 @@ active-repositories:
, :rest
, cardano-haskell-packages:override

-- BEGIN SRP STANZAS MANAGED BY STANZAMAN --

source-repository-package
type: git
location: https://github.com/IntersectMBO/ouroboros-network.git
tag: 65da1ad619473f9467d3336a6d6e9a2a8714913d
subdir: cardano-diffusion
--sha256: 1r5y5px0kj4nhb65s9i7pr0sikxghfqwfkzmsgiql2maic4nglwi

source-repository-package
type: git
location: https://github.com/IntersectMBO/ouroboros-consensus.git
tag: bca18fd361d8342bdbfb8a08366e86479677ce30
subdir: .
--sha256: 11znnl9zk59bxr6dn76zrni6i0q32bqnlxqf4wprvxikg4r666pa

source-repository-package
type: git
location: https://github.com/IntersectMBO/ouroboros-network.git
tag: 65da1ad619473f9467d3336a6d6e9a2a8714913d
subdir: network-mux
--sha256: 1r5y5px0kj4nhb65s9i7pr0sikxghfqwfkzmsgiql2maic4nglwi

source-repository-package
type: git
location: https://github.com/IntersectMBO/ouroboros-network.git
tag: 65da1ad619473f9467d3336a6d6e9a2a8714913d
subdir: ouroboros-network
--sha256: 1r5y5px0kj4nhb65s9i7pr0sikxghfqwfkzmsgiql2maic4nglwi

source-repository-package
type: git
location: https://github.com/IntersectMBO/cardano-api.git
tag: 13b452f32cf053a803988f455551a697726c65cc
subdir: cardano-api
--sha256: 1fq901pjq1k3hiqygnmifw6w9pydqb4xr4i987n69r2jp1k3025m

-- END SRP STANZAS MANAGED BY STANZAMAN --

packages:
cardano-cli

Expand Down
1 change: 1 addition & 0 deletions cardano-cli/cardano-cli.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -135,6 +135,7 @@ library
Cardano.CLI.EraBased.TextView.Option
Cardano.CLI.EraBased.TextView.Run
Cardano.CLI.EraBased.Transaction.Command
Cardano.CLI.EraBased.Transaction.Internal.ErrorRendering
Cardano.CLI.EraBased.Transaction.Internal.HashCheck
Cardano.CLI.EraBased.Transaction.Option
Cardano.CLI.EraBased.Transaction.Run
Expand Down
1 change: 0 additions & 1 deletion cardano-cli/src/Cardano/CLI/EraBased/Script/Mint/Read.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@ import Cardano.CLI.EraBased.Script.Read.Common
import Cardano.CLI.EraBased.Script.Type
import Cardano.CLI.Read
import Cardano.CLI.Type.Common (AnySLanguage (..))
import Cardano.Ledger.Core qualified as L

readMintScriptWitness
:: forall era e
Expand Down
9 changes: 9 additions & 0 deletions cardano-cli/src/Cardano/CLI/EraBased/Transaction/Command.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ module Cardano.CLI.EraBased.Transaction.Command
, TransactionSignWitnessCmdArgs (..)
, TransactionSubmitCmdArgs (..)
, TransactionTxIdCmdArgs (..)
, TransactionValidateCmdArgs (..)
, TransactionViewCmdArgs (..)
, TransactionWitnessCmdArgs (..)
, TxCborFormat (..)
Expand Down Expand Up @@ -55,6 +56,7 @@ data TransactionCmds era
| TransactionCalculatePlutusScriptCostCmd !(TransactionCalculatePlutusScriptCostCmdArgs era)
| TransactionHashScriptDataCmd !TransactionHashScriptDataCmdArgs
| TransactionTxIdCmd !TransactionTxIdCmdArgs
| TransactionValidateCmd !TransactionValidateCmdArgs

data TransactionBuildRawCmdArgs era = TransactionBuildRawCmdArgs
{ eon :: !(Exp.Era era)
Expand Down Expand Up @@ -253,6 +255,12 @@ data TransactionSubmitCmdArgs = TransactionSubmitCmdArgs
}
deriving Show

data TransactionValidateCmdArgs = TransactionValidateCmdArgs
{ nodeConnInfo :: !LocalNodeConnectInfo
, txFile :: !FilePath
}
deriving Show

newtype TransactionPolicyIdCmdArgs = TransactionPolicyIdCmdArgs
{ scriptFile :: ScriptFile
}
Expand Down Expand Up @@ -349,3 +357,4 @@ renderTransactionCmds = \case
TransactionCalculatePlutusScriptCostCmd{} -> "transaction calculate-plutus-script-cost"
TransactionHashScriptDataCmd{} -> "transaction hash-script-data"
TransactionTxIdCmd{} -> "transaction txid"
TransactionValidateCmd{} -> "transaction validate"
Loading