-
Notifications
You must be signed in to change notification settings - Fork 158
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.
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
AddedPlutusScriptAPI, evalScripts, TxInfo, valContext etc. #2192
Conversation
@j-mueller can you have a look at this too. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good so far!
P.TxInfo | ||
transTx tx = | ||
P.TxInfo | ||
(map transTxIn (Set.toList allinputs)) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Possible non-determinism alert! I guess it's probably fine... do we guarantee that the Ord
instance on inputs is stable?
dae8900
to
1d42448
Compare
db1ab81
to
18ad6c1
Compare
We are past the WIP stage. I think we should merge, and workout the FakePlutus later. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
other than the few things we've discussed on the call that we still want to tweak, looks good to me!
Added the module Cardano.Ledger.Alonzo.TxInfo Had to add SafeToHash and HashAnnotated instances for Alonxo Tx.
This module lets us experiment with small changes to the Plutus TxINfo and associated types. We made a few changes to make the structure more closely align with the actual Ledger code. Got close to completion on translating a Alonzo.Tx into a FakePlutus.TxInfo. Next step mke the changes in FakePlutus real in Plutus.
DCert, Wdrls, and others Worked out how to actually call plutus in eval_scripts.
Renamed module Caradano.Ledger.Alonzo.RunPlutus to Caradano.Ledger.Alonzo.PlutusScriptApi. Completed the ValidateScript instance for Alonzo, and the evalScripts function. Cleaned up the Utxos modue, that was way over constrained.
Renamed NativeScript constructor of Script to TimelockScript.
68a458d
to
537aa18
Compare
Added the module Cardano.Ledger.Alonzo.TxInfo
Had to add SafeToHash and HashAnnotated instances for Alonxo Tx.
This is an attempt to write the translation from Alonzo Tx to Plutus TxInfo.
There are many discontinuites between what the Ledger understands as a Tx and the information that Plutus wants included in TxInfo. This start isolates some of those differences, and is meant to start a discussion about what shoud really be in TxInfo on the Plutus side.
The next step, nce that is straightened out, is to embed TxInfo into Plutus Data.