Minswap to be audited by Tweag

Today, Minswap DEX is excited to announce that in anticipation of our launch, Tweag will be conducting the external security audit of our DEX’s Smart Contract. Tweag is a software innovation lab specializing in Haskell development that worked hand-in-hand with IOHK on the architecture and design of Cardano’s Smart Contract platform Plutus.

Tweag will be manually analyzing the code in an attempt to locate potential problems. This will be executed through the application of lightweight formal methods that ensure key system components are built to specification and bugs are found and eliminated in a transparent way.

While the rollout of Smart Contract-powered dApps such as Minswap approaches, we cannot stress enough the importance of a strong, secure and validated code base. We are confident in choosing Tweag for this task, given their work on Plutus alongside IOHK has rendered them defacto domain experts of Plutus as a platform. Tweag’s personnel is composed of some of the brightest smart contract minds in this space such as Manuel Chakravarty (Technical Architect for Plutus at IOHK), and that have already worked on audits of Cardano-based DeFi protocols such as Indigo Protocol.

As we mentioned in our December Mid-Month Update, we have booked a date for the audit. Therefore, we will only announce the start date once it has commenced.

About Tweag

Tweag is a software innovation lab specialized in Haskell development for fintech applications/platforms. They are most notably known for their work in the architecture/design of Cardano’s Plutus platform.

To learn more about Tweag, please visit: https://www.tweag.io/

About Minswap

Minswap is a community-centric Decentralized Exchange (DEX) built on the Cardano blockchain that aims to enable the permissionless trading of token pairs. For each swap, a fee is taken, which goes to the Liquidity Providers. Anyone can provide liquidity as well, hence profits are decentralized. Minswap aims to capitalize on Cardano’s peer-reviewed and secure pillars to realize its potential of financially empowering everyone.

For more details on Minswap, please visit: https://minswap.org/

--

--

--

Minswap is the multi-pool decentralized exchange on the Cardano blockchain: https://minswap.org

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

GSoC’21: Scan8 user interface

Istio on GKE, the managed service mesh on Google Cloud

c++ program using oop to write a program to create a Banking application.

Laravel passport generate access_token without entering password

Class and Objects in Java with Real-time examples

DevOps Assembly lines Task 2.

Ruby : Regular Expressions

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Minswap Labs

Minswap Labs

Minswap is the multi-pool decentralized exchange on the Cardano blockchain: https://minswap.org

More from Medium

Minswap Announces Audit Completion by Tweag

Major New Achievement: The Success of Flickto’s Public Sale on ADAX

Charli3 to Provide Aada Finance with Oracle Services on Cardano

MILK Pools are coming to MuesliSwap!