Plutus Core Team Update

High level summary

Over the past two weeks, the Plutus Core team has completed the implementation of case analysis for booleans and integers. The PR is currently pending merge.

On the Plinth side, we've made several improvements:

• Added support for evaluating CompiledCode using the CEK machine. A new user guide page explains how to use this functionality.
• Enhanced ToData and FromData instance generation: product types can now use the List constructor of Data instead of Constr, resulting in improved efficiency.
• Expanded the API for builtin lists with additional utility functions.

We’ve completed the Plutus section of the blueprint, which we hope will be helpful for those implementing alternative Plutus evaluators. We invite the community to give it a read and share feedback.

Finally, we’ve begun releasing plutus-metatheory on CHaP, paving the way for integrating the certifier into the Plinth compiler.

Low level summary

Key Pull Requests Merged

• Add support for evaluating CompiledCode using the CEK machine
• Add makeIsDataAsList for generating IsData instances that uses List internally
• Add plutus-metatheory to CHaP release
• PlutusTx.Data.List & PlutusTx.BuiltinList - Feature Parity
• Write about Plutus script serialization

Issues and Pull Requests In Progress

• Case analysis on booleans and integers
• Add builtin arrays to Plutus metatheory
• Add MSM builtin