In progressHaskell

Cooked validators

cooked-validators is a Haskell library for writing reliable, concise, and expressive off-chain code for Cardano smart contracts, with a primary focus on testing, auditing, and behavioral exploration. It allows you to describe transactions at a high level (via what we call transaction skeletons) and automatically turn them into complete, valid transactions by handling all mechanical aspects such UTxO selection, balancing, minimum-Ada constraints, collaterals or fees. Importantly, cooked-validators is non-opinionated: everything it automates can also be done manually if needed, allowing users to retain full control over transaction construction when desired.

• ⚡Faster Bootstrap: Drastically reduce off-chain boilerplate
• 📦ImmutableDB Distribution: Make test scenarios more readable and maintainable
• ☁️Remote Chunk Fetching: Facilitate adversarial testing and vulnerability discovery.