MLabs Publications

The many minds at MLabs present news, case studies, editorials, tutorials, whitepapers, Cardano Catalyst proposals, and more.

Cardano Gergely Szabo Cardano Gergely Szabo

Cardano Plomin Hard Fork - developer upgrade guide

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.

Read More
Cardano Ilia Rodionov Cardano Ilia Rodionov

Testing dApps on Cardano with CLB emulator

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.

Read More
Smart Contracts Koz Ross Smart Contracts Koz Ross

How Covenant Will Deliver You to the Promised Land (of Scripts)

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.

Read More