Added milestone report for project ID 1300050, including links to the final close out report and video.
Signed-off-by: Chris Gianelloni <[email protected]>
* improvements * Initial plan * Add batchMintedCoin constraint to prevent Ada forgery Co-authored-by: williamdemeo <[email protected]> * Add documentation for batchMintedCoin security constraint Co-authored-by: williamdemeo <[email protected]> * Use consistent aggregation syntax for batchMintedCoin Co-authored-by: williamdemeo <[email protected]> --------- Co-authored-by: William DeMeo <[email protected]> Co-authored-by: copilot-swe-agent[bot] <[email protected]> Co-authored-by: williamdemeo <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Co-authored-by: williamdemeo <[email protected]>
Co-authored-by: williamdemeo <[email protected]>
Co-authored-by: williamdemeo <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
- Update collectP2ScriptsWithContext to take both utxoSpendâ‚€ (initial snapshot) and utxoRefView (for reference lookups), preparing for batch-aware collection and single phase-2 eval. - Use txInfoForPurpose to construct validation context (TxLevel-indexed) instead of Conway's language-indexed txInfo. Dijkstra txInfo is indexed by TxLevel, not by Plutus language.
WIP. Starting to remove owners from the StakePoolSnapShot Reward computation is done Fix and Improve Arbitrary for SnapShot Move Stake definition to Stake module
Ensure original `ByteString` can be garbage collected as soon as the hash is computed