-
Notifications
You must be signed in to change notification settings - Fork 155
/
Alonzo.hs
245 lines (188 loc) · 8.3 KB
/
Alonzo.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE UndecidableInstances #-}
module Cardano.Ledger.Alonzo
( AlonzoEra,
Self,
TxOut,
Value,
TxBody,
Script,
AuxiliaryData,
PParams,
PParamsDelta,
Tx,
)
where
import Cardano.Ledger.Alonzo.Data (AuxiliaryData (..), getPlutusData)
import Cardano.Ledger.Alonzo.PParams (PParams, PParams' (..), PParamsUpdate, updatePParams)
import Cardano.Ledger.Alonzo.Rules.Ledger (AlonzoLEDGER)
import qualified Cardano.Ledger.Alonzo.Rules.Utxo as Alonzo (AlonzoUTXO)
import qualified Cardano.Ledger.Alonzo.Rules.Utxos as Alonzo (UTXOS)
import qualified Cardano.Ledger.Alonzo.Rules.Utxow as Alonzo (AlonzoUTXOW)
import Cardano.Ledger.Alonzo.Scripts (Script (..), isPlutusScript)
import Cardano.Ledger.Alonzo.Tx (IsValidating (..), Tx, alonzoSeqTx, body', isValidating', wits')
import Cardano.Ledger.Alonzo.TxBody (TxBody, TxOut (..), vldt')
import Cardano.Ledger.Alonzo.TxInfo (validPlutusdata, validScript)
import Cardano.Ledger.Alonzo.TxWitness (TxWitness (txwitsVKey'))
import Cardano.Ledger.AuxiliaryData (AuxiliaryDataHash (..), ValidateAuxiliaryData (..))
import qualified Cardano.Ledger.Core as Core
import qualified Cardano.Ledger.Crypto as CC
import qualified Cardano.Ledger.Era as EraModule
import qualified Cardano.Ledger.Mary.Value as V (Value)
import Cardano.Ledger.SafeHash (hashAnnotated)
import Cardano.Ledger.Shelley (nativeMultiSigTag)
import Cardano.Ledger.Shelley.Constraints
( UsesPParams (..),
UsesTxOut (..),
UsesValue,
)
import Cardano.Ledger.ShelleyMA.Timelocks (evalTimelock)
import Control.State.Transition.Extended (STUB)
import qualified Control.State.Transition.Extended as STS
import qualified Data.Set as Set
import Data.Typeable (Typeable)
import qualified Plutus.V1.Ledger.Api as Plutus (validateScript)
import qualified Shelley.Spec.Ledger.API as API
import qualified Shelley.Spec.Ledger.BaseTypes as Shelley
import Shelley.Spec.Ledger.CompactAddr (CompactAddr)
import Shelley.Spec.Ledger.Metadata (validMetadatum)
import qualified Shelley.Spec.Ledger.STS.Bbody as STS
import qualified Shelley.Spec.Ledger.STS.Bbody as Shelley
import qualified Shelley.Spec.Ledger.STS.Epoch as Shelley
import qualified Shelley.Spec.Ledger.STS.Mir as Shelley
import qualified Shelley.Spec.Ledger.STS.Newpp as Shelley
import qualified Shelley.Spec.Ledger.STS.Ocert as Shelley
import qualified Shelley.Spec.Ledger.STS.Overlay as Shelley
import qualified Shelley.Spec.Ledger.STS.Rupd as Shelley
import qualified Shelley.Spec.Ledger.STS.Snap as Shelley
import qualified Shelley.Spec.Ledger.STS.Tick as Shelley
import qualified Shelley.Spec.Ledger.STS.Upec as Shelley
import qualified Shelley.Spec.Ledger.Tx as Shelley
import Shelley.Spec.Ledger.TxBody (witKeyHash)
-- | The Alonzo era
data AlonzoEra c
{-
instance
( Show (CompactAddr c),
API.PraosCrypto c
) => API.ApplyTx (AlonzoEra c)
-}
instance (Show (CompactAddr c), API.PraosCrypto c) => API.ApplyBlock (AlonzoEra c)
instance (Show (CompactAddr c), API.PraosCrypto c) => API.GetLedgerView (AlonzoEra c)
instance (CC.Crypto c) => Shelley.ValidateScript (AlonzoEra c) where
isNativeScript x = not (isPlutusScript x)
scriptPrefixTag script =
if isPlutusScript script
then "\x01"
else nativeMultiSigTag -- "\x00"
validateScript (TimelockScript timelock) tx = evalTimelock vhks (vldt' (body' tx)) timelock
where
vhks = Set.map witKeyHash (txwitsVKey' (wits' tx))
validateScript (PlutusScript scr) _tx = Plutus.validateScript scr
-- hashScript x = ... We use the default method for hashScript
instance
( CC.Crypto c
) =>
API.CanStartFromGenesis (AlonzoEra c)
where
-- type AdditionalGenesisConfig era = ()
-- initialState :: ShelleyGenesis era -> AdditionalGenesisConfig era -> NewEpochState era
initialState _ _ = error "TODO: implement initialState"
instance (Show (CompactAddr c), CC.Crypto c) => UsesTxOut (AlonzoEra c) where
makeTxOut _proxy addr val = TxOut addr val Shelley.SNothing
instance
(CC.Crypto c) =>
EraModule.Era (AlonzoEra c)
where
type Crypto (AlonzoEra c) = c
type instance Core.TxOut (AlonzoEra c) = TxOut (AlonzoEra c)
type instance Core.TxBody (AlonzoEra c) = TxBody (AlonzoEra c)
type instance Core.TxOut (AlonzoEra c) = TxOut (AlonzoEra c)
type instance Core.Value (AlonzoEra c) = V.Value c
type instance Core.Script (AlonzoEra c) = Script (AlonzoEra c)
type instance Core.AuxiliaryData (AlonzoEra c) = AuxiliaryData (AlonzoEra c)
type instance Core.PParams (AlonzoEra c) = PParams (AlonzoEra c)
type instance Core.Tx (AlonzoEra c) = Tx (AlonzoEra c)
type instance Core.Witnesses (AlonzoEra c) = TxWitness (AlonzoEra c)
instance CC.Crypto c => UsesValue (AlonzoEra c)
instance
(CC.Crypto c) =>
UsesPParams (AlonzoEra c)
where
type
PParamsDelta (AlonzoEra c) =
PParamsUpdate (AlonzoEra c)
mergePPUpdates _ = updatePParams
instance CC.Crypto c => ValidateAuxiliaryData (AlonzoEra c) c where
hashAuxiliaryData x = AuxiliaryDataHash (hashAnnotated x)
validateAuxiliaryData (AuxiliaryData metadata scrips plutusdata) =
all validMetadatum metadata
&& all validScript scrips
&& all (validPlutusdata . getPlutusData) plutusdata
instance CC.Crypto c => EraModule.BlockDecoding (AlonzoEra c) where
seqTx body wit isval aux = alonzoSeqTx body wit isval aux
seqIsValidating tx = case isValidating' tx of IsValidating b -> b
seqHasValidating = True -- Tx in AlonzoEra has an IsValidating field
{-
instance
( Show (CompactAddr c),
API.PraosCrypto c,
Core.Witnesses c ~ TxWitness c
) => API.ShelleyBasedEra (AlonzoEra c)
-}
-------------------------------------------------------------------------------
-- Era Mapping
-------------------------------------------------------------------------------
-- These rules are new or changed in Alonzo
type instance Core.EraRule "UTXOS" (AlonzoEra c) = Alonzo.UTXOS (AlonzoEra c)
type instance Core.EraRule "UTXO" (AlonzoEra c) = Alonzo.AlonzoUTXO (AlonzoEra c)
type instance Core.EraRule "UTXOW" (AlonzoEra c) = Alonzo.AlonzoUTXOW (AlonzoEra c)
{-
type LEDGERSTUB c =
STUB
(API.LedgerEnv (AlonzoEra c))
(API.UTxOState (AlonzoEra c), API.DPState c)
(API.Tx (AlonzoEra c))
()
Shelley.ShelleyBase
instance Typeable c => STS.Embed (LEDGERSTUB c) (API.LEDGERS (AlonzoEra c)) where
wrapFailed = error "TODO: implement LEDGER rule"
-}
type instance Core.EraRule "LEDGER" (AlonzoEra c) = AlonzoLEDGER c
type instance
Core.EraRule "BBODY" (AlonzoEra c) =
STUB
(Shelley.BbodyEnv (AlonzoEra c))
(STS.BbodyState (AlonzoEra c))
(API.Block (AlonzoEra c))
()
Shelley.ShelleyBase
-- Rules inherited from Shelley
type instance Core.EraRule "DELEG" (AlonzoEra c) = API.DELEG (AlonzoEra c)
type instance Core.EraRule "DELEGS" (AlonzoEra c) = API.DELEGS (AlonzoEra c)
type instance Core.EraRule "DELPL" (AlonzoEra c) = API.DELPL (AlonzoEra c)
type instance Core.EraRule "EPOCH" (AlonzoEra c) = Shelley.EPOCH (AlonzoEra c)
type instance Core.EraRule "LEDGERS" (AlonzoEra c) = API.LEDGERS (AlonzoEra c)
type instance Core.EraRule "MIR" (AlonzoEra c) = Shelley.MIR (AlonzoEra c)
type instance Core.EraRule "NEWEPOCH" (AlonzoEra c) = API.NEWEPOCH (AlonzoEra c)
type instance Core.EraRule "NEWPP" (AlonzoEra c) = Shelley.NEWPP (AlonzoEra c)
type instance Core.EraRule "OCERT" (AlonzoEra c) = Shelley.OCERT (AlonzoEra c)
type instance Core.EraRule "OVERLAY" (AlonzoEra c) = Shelley.OVERLAY (AlonzoEra c)
type instance Core.EraRule "POOL" (AlonzoEra c) = API.POOL (AlonzoEra c)
type instance Core.EraRule "POOLREAP" (AlonzoEra c) = API.POOLREAP (AlonzoEra c)
type instance Core.EraRule "PPUP" (AlonzoEra c) = API.PPUP (AlonzoEra c)
type instance Core.EraRule "RUPD" (AlonzoEra c) = Shelley.RUPD (AlonzoEra c)
type instance Core.EraRule "SNAP" (AlonzoEra c) = Shelley.SNAP (AlonzoEra c)
type instance Core.EraRule "TICK" (AlonzoEra c) = Shelley.TICK (AlonzoEra c)
type instance Core.EraRule "TICKF" (AlonzoEra c) = Shelley.TICKF (AlonzoEra c)
type instance Core.EraRule "TICKN" (AlonzoEra _c) = API.TICKN
type instance Core.EraRule "UPEC" (AlonzoEra c) = Shelley.UPEC (AlonzoEra c)
-- Self-Describing type synomyms
type Self c = AlonzoEra c
type Value era = V.Value (EraModule.Crypto era)