HomeFunds overviewFund10F10: Development & InfrastructureMLabs - DeNS (Decentralized Name System): Phase I
ID: Idea #106044

MLabs - DeNS (Decentralized Name System): Phase I


DNS is critical infrastructure that has enabled the growth of the internet for nearly 40 years. Unfortunately, DNS has also enabled the growth of a surveillance economy and erosion of privacy.


A blockchain-based name resolution service that provides a migration path from DNS to an alternative with much stronger security, transparency, anti-censorship, and anti-centralization guarantees.

Total so far

This is the total amount allocated to MLabs - DeNS (Decentralized Name System): Phase I

Total Funds Requested


Total votes cast
Votes yes
Votes no

Project milestones

1/5 milestones complete

Explore all milestones in-depth

More detail

Monthly report



MLabs has quickly become one of the premier development firms in the Cardano Ecosystem. We are an IOG Plutus Partner and work regularly with IOG to develop the Cardano blockchain and ecosystem. Our team is composed of talented developers who have helped build community projects such as:

  • Liqwid
  • SundaeSwap
  • Minswap
  • Optim
  • Many others

Through our work with early-stage projects, we have one of the largest groups of Haskell/Plutus developers in the community.

Website: https://mlabs.city/

Core Team

Sean Hunter: 

Sean is an engineer with extensive Cardano smart-contract development experience. He has implemented and audited multiple complex projects written in both PlutusTx and Plutarch. Sean's functional programming journey began as an offshoot of his academic interest in formal logic, and to this day he maintains a strong interest in type theory (with a special interest in row types and their applications).

Drazen Popovic:

Full-stack Cardano distributed application (dApp) developer and auditor, working on several Cardano dApps that span Haskell, Purescript, Rust and Nix language environments. Worked on decentralized protocols based on the Cardano blockchain including decentralized exchange, synthetic assets, oracle protocols and programmable money. In particular, he was the technical lead on the Cardano Open Oracle Protocol and was responsible for design and implementation.

Technical lead on the LambdaBuffers project, which is a novel toolkit for sharing types between different languages. Led the design and implementation which included common compiler topics such as type checking, type class resolution and code generation into various languages.

Less notable, but mention worthy, a maintainer of a Purescript Bridge fork (now deprecated in favor of LambdaBuffers) and a contributor to Cardano Transaction Lib Purescript library which is one of the foundational tools in the Cardano ecosystem.