Plutus Core Team Update

High level summary

The Plutus team has delivered a number of September milestones, and is putting the finishing touches on the remaining ones.

A new with-crypto cabal flag makes it possible to build Plinth and Plutus without the system crypto C libraries. We've also further improved the usability of the certifier in the uplc cli tool.

Work in progress includes the cost models for keepPolicies and dropPolicies (CIP-0168), and a CIP for removing the scope check during script deserialization.

Key Pull Requests Merged

• Encode single constructor ledger types using Data.List
• Add some V4 helper functions
• Improve efficiency and consistency of Data.AssocMap
• Deserialiser optimizations
• Add a with-crypto cabal flag to build Plinth/Plutus scripts without system crypto C libraries
• Improve uplc/plc certifier usability
• Emit checkpoints in UPLC inliner
• Add more test cases for Plutus Ledger Api V4 types

Pull Requests In Progress

• Cost models for keepPolicies and dropPolicies (CIP-0168)
• Make Data AssocMap FromData shape-safe
• Require exact product arity in generated FromData
• Evaluate Scott caseInteger scrutinee once
• Specify casing on built-in types
• Builtin Pattern Matching (CIP-0194)
• Compile BuiltinData transparently in the plugin