Add missing restriction to VKey in witsVKeyNeeded

This would have prevented any script witnesses in delegation certificates, which would have prevented delegation for script addresses.
IntersectMBO · Nov 4, 2020 · 50a1a28 · 50a1a28
1 parent 9f2dcf4
commit 50a1a28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shelley/chain-and-ledger/formal-spec/utxo.tex b/shelley/chain-and-ledger/formal-spec/utxo.tex
@@ -475,7 +475,7 @@ \subsection{Witnesses}
  \cup & ~~
  \{\fun{stakeCred_r}~a\mid a\mapsto \wcard \in \AddrRWDVKey
  \restrictdom \txwdrls{tx}\}\\
- \cup & ~~\fun{certWitsNeeded}~{tx} \\
+ \cup & ~~(\AddrVKey \cap \fun{certWitsNeeded}~{tx}) \\
  \cup & ~~\fun{propWits}~(\fun{txup}~\var{tx})~\var{genDelegs} \\
  \cup & ~~\bigcup_{\substack{c \in \txcerts{tx} \\ ~c \in\DCertRegPool}} \fun{poolOwners}~{c}
  \end{align*}