MLabs Publications
The many minds at MLabs present news, case studies, editorials, tutorials, whitepapers, Cardano Catalyst proposals, and more.
From Bugs to Breakthroughs: Auditing Cardano Smart Contracts
In this post, we unpack how Cardano smart contracts go wrong and why audits are key to preventing hard-to-fix or irreversible issues. Learn eUTxO-specific pitfalls like multiple satisfaction, plus what to prepare so an audit surfaces real issues fast.
An Introduction to the Concepts Behind YTxP Architecture
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.
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.
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.
Queenside Castling on Cardano : Bitwise Operations for Better Solutions and Improved Plutus Scripts
Introduction Currently, MLabs is undertaking the work of bringing bitwise primitive ...