Skip to content

Commit

Permalink
Remove GovernanceActionId from the Voting script purpose
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 committed Jan 9, 2024
1 parent eaa817b commit 5e95bc2
Show file tree
Hide file tree
Showing 6 changed files with 61 additions and 64 deletions.
48 changes: 22 additions & 26 deletions plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -107,26 +107,6 @@
{all dead. dead})
{all dead. dead})
{all dead. dead}
!`$fUnsafeFromDataList_$cunsafeFromBuiltinData` :
all a. (\a -> data -> a) a -> data -> List a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) ->
letrec
!go : list data -> List a
= \(l : list data) ->
chooseList
{data}
{Unit -> List a}
l
(\(ds : Unit) -> Nil {a})
(\(ds : Unit) ->
Cons
{a}
(`$dUnsafeFromData` (headList {data} l))
(go (tailList {data} l)))
Unit
in
\(d : data) -> go (unListData d)
!`$fUnsafeFromDataTxId_$cunsafeFromBuiltinData` : data -> bytestring
= \(d : data) ->
let
Expand Down Expand Up @@ -160,6 +140,26 @@
(unIData (headList {data} (tailList {data} args))))
(/\dead -> traceError {GovernanceActionId} reconstructCaseError)
{all dead. dead}
!`$fUnsafeFromDataList_$cunsafeFromBuiltinData` :
all a. (\a -> data -> a) a -> data -> List a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) ->
letrec
!go : list data -> List a
= \(l : list data) ->
chooseList
{data}
{Unit -> List a}
l
(\(ds : Unit) -> Nil {a})
(\(ds : Unit) ->
Cons
{a}
(`$dUnsafeFromData` (headList {data} l))
(go (tailList {data} l)))
Unit
in
\(d : data) -> go (unListData d)
data TxOutRef | TxOutRef_match where
TxOutRef : bytestring -> integer -> TxOutRef
!`$fUnsafeFromDataTxOutRef_$cunsafeFromBuiltinData` : data -> TxOutRef
Expand Down Expand Up @@ -502,7 +502,7 @@
Proposing : integer -> ScriptPurpose
Rewarding : Credential -> ScriptPurpose
Spending : TxOutRef -> ScriptPurpose
Voting : Voter -> GovernanceActionId -> ScriptPurpose
Voting : Voter -> ScriptPurpose
!`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData` :
data -> ScriptPurpose
= \(d : data) ->
Expand Down Expand Up @@ -546,11 +546,7 @@
(/\dead ->
Voting
(`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData`
(headList {data} args))
(`$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData`
(headList
{data}
(tailList {data} args))))
(headList {data} args)))
(/\dead ->
ifThenElse
{all dead. ScriptPurpose}
Expand Down
2 changes: 1 addition & 1 deletion plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2816
2807
62 changes: 29 additions & 33 deletions plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -61,33 +61,6 @@
{all dead. dead})
{all dead. dead})
{all dead. dead}
in
letrec
data (List :: * -> *) a | List_match where
Nil : List a
Cons : a -> List a -> List a
in
let
!`$fUnsafeFromDataList_$cunsafeFromBuiltinData` :
all a. (\a -> data -> a) a -> data -> List a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) ->
letrec
!go : list data -> List a
= \(l : list data) ->
chooseList
{data}
{Unit -> List a}
l
(\(ds : Unit) -> Nil {a})
(\(ds : Unit) ->
Cons
{a}
(`$dUnsafeFromData` (headList {data} l))
(go (tailList {data} l)))
Unit
in
\(d : data) -> go (unListData d)
!`$fUnsafeFromDataTxId_$cunsafeFromBuiltinData` : data -> bytestring
= \(d : data) ->
let
Expand Down Expand Up @@ -121,6 +94,33 @@
(unIData (headList {data} (tailList {data} args))))
(/\dead -> traceError {GovernanceActionId} reconstructCaseError)
{all dead. dead}
in
letrec
data (List :: * -> *) a | List_match where
Nil : List a
Cons : a -> List a -> List a
in
let
!`$fUnsafeFromDataList_$cunsafeFromBuiltinData` :
all a. (\a -> data -> a) a -> data -> List a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) ->
letrec
!go : list data -> List a
= \(l : list data) ->
chooseList
{data}
{Unit -> List a}
l
(\(ds : Unit) -> Nil {a})
(\(ds : Unit) ->
Cons
{a}
(`$dUnsafeFromData` (headList {data} l))
(go (tailList {data} l)))
Unit
in
\(d : data) -> go (unListData d)
data TxOutRef | TxOutRef_match where
TxOutRef : bytestring -> integer -> TxOutRef
!`$fUnsafeFromDataTxOutRef_$cunsafeFromBuiltinData` : data -> TxOutRef
Expand Down Expand Up @@ -469,7 +469,7 @@
Proposing : integer -> ScriptPurpose
Rewarding : Credential -> ScriptPurpose
Spending : TxOutRef -> ScriptPurpose
Voting : Voter -> GovernanceActionId -> ScriptPurpose
Voting : Voter -> ScriptPurpose
!`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData` :
data -> ScriptPurpose
= \(d : data) ->
Expand Down Expand Up @@ -513,11 +513,7 @@
(/\dead ->
Voting
(`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData`
(headList {data} args))
(`$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData`
(headList
{data}
(tailList {data} args))))
(headList {data} args)))
(/\dead ->
ifThenElse
{all dead. ScriptPurpose}
Expand Down
2 changes: 1 addition & 1 deletion plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2756
2747
5 changes: 5 additions & 0 deletions plutus-ledger-api/changelog.d/20240109_074148_unsafeFixIO_voter.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@

### Changed

- Removed `GovernanceActionId` from the `Voting` script purpose. It is not needed because
the script for a given voter will be run only once for all votes.
6 changes: 3 additions & 3 deletions plutus-ledger-api/src/PlutusLedgerApi/V3/Contexts.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -324,7 +324,7 @@ data ScriptPurpose
| Spending V2.TxOutRef
| Rewarding V2.Credential
| Certifying TxCert
| Voting Voter GovernanceActionId
| Voting Voter
| Proposing Haskell.Integer
deriving stock (Generic, Haskell.Show, Haskell.Eq)
deriving (Pretty) via (PrettyShow ScriptPurpose)
Expand All @@ -339,8 +339,8 @@ instance PlutusTx.Eq ScriptPurpose where
a PlutusTx.== a'
Certifying a == Certifying a' =
a PlutusTx.== a'
Voting a b == Voting a' b' =
a PlutusTx.== a' PlutusTx.&& b PlutusTx.== b'
Voting a == Voting a' =
a PlutusTx.== a'
Proposing a == Proposing a' =
a PlutusTx.== a'
_ == _ = Haskell.False
Expand Down

0 comments on commit 5e95bc2

Please sign in to comment.