Home
mirdin logo
Home
mirdin logo

Coach | Review | Audit
Deploy Plutus dapps with total confidence

Codebase correctness is what we do.

The entire edifice of modern computing rests on a fundamental irony: The software that makes it all possible is, in a very real sense, handmade.
— Moshe Vardi
Our blockchain security work are featured in

Our services
For all development stages of your Dapp

  • Software Education

    Coaching

    We have over seven years of experience in software education. Providing the fastest way for engineers to go from intermediate to senior.
    • Software design yellow

      Design review

      Stop bugs early! Involve us early and we will provide steps towards a design with less opportunities for bugs to occur.
      • Code audit

        Audit

        High assurance audit with formal verification of key properties and property based testing suites.

        Tools list
        Complete suite for all your verification needs

        We use a multitude of different tools open source and proprietary
        Coq

        Formal verfication
        Coq

        Coq is a theorem proving tool able to provide absolute guarantees that dapps never lose funds and never permit unauthorized withdrawals.
          QuickCheck

          Generative testing
          QuickCheck

          QuickCheck allows for testing properties that must hold for a given contract.It generates 1000s or millions of random valid interactions with your contract to see if the properties hold.Having a QuickCheck suite is a requirement for getting the first level of certification in the Plutus dAppStore.
            YOGO

            Static Analyser
            YOGO

            Yogo is our proprietary static analysis tool, originating as an MIT research project. Using equvialence-program expression graphs (E-PEGs), Yogo is able to detect incorrect concepts in code, no matter the exact form they appear.