High level summary
Over the past two weeks, the Plutus Core team made a range of improvements across Plutus, Plinth, and supporting documentation.
On the Plutus side, we completed conformance tests for the modular exponentiation primitive and added builtin arrays to the Plutus Core specification. We also enhanced error reporting in the CEK machine, making evaluation failures easier to diagnose.
On the Plinth side, we added support for integer equality using (==) from base, which allows for more idiomatic pattern matching on integer literals, such as f 5 = ....
We also made several documentation updates. The Haddock documentation for builtin functions was expanded in PlutusTx.Builtins.Internal. We contributed a new landing page for Plutus to the Cardano Blueprint site to help external teams get started. Lastly, we updated the Builtins Overview to reflect recent changes.
Low level summary
Key Pull Requests Merged
- Conformance Tests for Modular Exponentiation
- Add Haddock in PlutusTx.Builtins.Internal
- Add Builtin Arrays to the Plutus Core Spec
- Add BuiltinResult to BuiltinsOverview.md
- Improve CEK Machine Error Reporting
- Support Integer Equality using == from base
- Cardano Blueprint: Plutus landing page
Issues and Pull Requests In Progress
- Case analysis on booleans and integers
- Add support for evaluating CompiledCode using the CEK machine
- Write about script serialization for the Cardano blueprint (in plutus-private)
- Add MSM primitive to Plutus (in plutus-private)