From e6e5c30ceca73aa84191515b8e33771f06c06a96 Mon Sep 17 00:00:00 2001 From: William DeMeo Date: Mon, 27 Jan 2025 11:32:14 -0500 Subject: [PATCH 1/3] Update src/Ledger/Utxow.lagda Co-authored-by: Andre Knispel --- src/Ledger/Utxow.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Ledger/Utxow.lagda b/src/Ledger/Utxow.lagda index fcd51536f..f6668d636 100644 --- a/src/Ledger/Utxow.lagda +++ b/src/Ledger/Utxow.lagda @@ -198,7 +198,7 @@ unquoteDecl UTXOW-inductive-premises = \href{https://github.com/cardano-foundation/CIPs/tree/master/CIP-0069}{CIP-0069} unifies the arguments given to all types of Plutus scripts currently available -(spending, certifying, rewarding, minting) by removing the argument of a datum. +(spending, certifying, rewarding, minting, voting, proposing). This aims to address the mutual dependency issue (two validators that need to know each other's hash), which arises when designing dapps and is widely considered a substantial barrier to safe protocols and a considerable limitation From 47b5fe10e16930a0a7033313a93e088683b5eacb Mon Sep 17 00:00:00 2001 From: William DeMeo Date: Mon, 27 Jan 2025 11:32:31 -0500 Subject: [PATCH 2/3] Update src/Ledger/Utxow.lagda Co-authored-by: Andre Knispel --- src/Ledger/Utxow.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Ledger/Utxow.lagda b/src/Ledger/Utxow.lagda index f6668d636..b45a7f32a 100644 --- a/src/Ledger/Utxow.lagda +++ b/src/Ledger/Utxow.lagda @@ -209,7 +209,7 @@ context as arguments. Datums are provided by either looking them up in the \texttt{ScriptContext} or extending the \texttt{Spending} constructor of \texttt{TxInfo} to carry (\texttt{TxOutRef}, \texttt{Datum}). -The formal specification (in the Conway era) permits empty datums. +The formal specification permits running spending scripts in the absence datums in the Conway era. In Figure~\ref{fig:rules:utxow}, for example, the line \inputHashes~\subseteqfield~\txdatsHashes compares two inhabitants of \PowerSet~\DataHash.\footnote{In the original Alonzo spec, these two terms would From 0eb52954bfce2c71d4a71bce168d03f5797e3a01 Mon Sep 17 00:00:00 2001 From: William DeMeo Date: Mon, 27 Jan 2025 11:32:44 -0500 Subject: [PATCH 3/3] Update src/Ledger/Utxow.lagda Co-authored-by: Andre Knispel --- src/Ledger/Utxow.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Ledger/Utxow.lagda b/src/Ledger/Utxow.lagda index b45a7f32a..c095875c9 100644 --- a/src/Ledger/Utxow.lagda +++ b/src/Ledger/Utxow.lagda @@ -210,7 +210,7 @@ context as arguments. Datums are provided by either looking them up in the \texttt{TxInfo} to carry (\texttt{TxOutRef}, \texttt{Datum}). The formal specification permits running spending scripts in the absence datums in the Conway era. -In Figure~\ref{fig:rules:utxow}, for example, the line +In Figure~\ref{fig:rules:utxow}, the line \inputHashes~\subseteqfield~\txdatsHashes compares two inhabitants of \PowerSet~\DataHash.\footnote{In the original Alonzo spec, these two terms would have inhabited \PowerSet~(\Maybe~\DataHash), where a \nothing is thrown out.