MLabs

TREASURY FUNDED

VISIT OFFICIAL SITE ↗ GitHub → Social / X → LinkedIn →

DEVELOPER TOOL

MLabs is a high-assurance engineering firm that builds Cardano smart contracts in Aiken, Plutarch and Plinth, along with the developer tooling around them. It maintains Plutarch, LambdaBuffers and Cardano Transaction Lib (CTL), and writes the specifications and test suites that show a protocol permits what it should and forbids what it shouldn't.

developer-toolhaskellformal-methodsplutarchctlopen-sourcecardanoaikensmart-contractsaudits

PUBLIC FAMILYInfrastructure & Tools

DETAILED CATEGORYDEVELOPER TOOL

TEAM / ENTITYMLabs Ltd

FOUNDER / LEADBen Hart — CTO / current technical lead

ESTABLISHED2018

TREASURY FUNDING44 funded proposals on linked record · ≈$5,164,465 USD (historical estimate) · View Catalyst record ↗

EDITORIAL NOTE

Alongside its open-source tooling, MLabs works as the on-chain engineering team for Cardano projects, from contract design through audits and support after launch. Recent public work includes the on-chain contracts behind ProofTap, an NFC verification app.

EVIDENCE

/ SOURCES ▸

Web reference — https://projectcatalyst.io/proposers/lpmaho
Web reference — https://www.mlabs.city/blockchain
Web reference — https://www.mlabs.city/blog/prooftap-cardano-smart-contracts