Discover the core principles behind YTxP architecture—a robust approach to modeling Cardano protocols that streamlines smart contract upgrades and optimizes transaction efficiency. Explore how yielding scripts delegate validations to authorized scripts using state thread tokens, paving the way for secure and maintainable protocol designs.

Its an exciting time to be building on Cardano - the Plomin hard fork recently went live. While this exciting for governance and the roadmap ahead, in this guide I want to give a short summary on the major changes and things that Cardano dApp developers should look out for.

Discover how to test dApps on Cardano using MLabs’ CLB emulator, a cutting-edge tool for property-based and mutation-based testing funded by Project Catalyst in Fund10. Learn about state machine modeling, unified testing with Atlas, and integration with CTL.

Covenant introduces a Turner-total, call-by-push-value, serializable DSL designed for reliable, secure programming in domains like smart contracts. It guarantees termination, safe execution, and predictability. By serving as a target for higher-level tools, Covenant supports composability and serialization, enabling developers to create robust applications with confidence in correctness and performance.

Introduction Currently, MLabs is undertaking the work of bringing bitwise primitive ...

Introduction QuickCheck is a well-known testing tool in the Haskell community. At MLabs, ...