How does EternalSwap help Cardano?
Overall, EternalSwap is a decentralized perpetual contract protocol capable of supporting any asset. EternalSwap's vAMM model uses the same x∗y =k constant product formula as most AMMs. However, the vAMMs themselves do not contain an actual asset pool ( k ). Instead, a trader's collateral is kept in a smart contract vault that oversees and manages the solvency of the platform.
In other words, EternalSwap uses vAMMs as price discovery mechanisms, not for spot trading. Because of path independence, vaults will always have enough collateral to pay back all traders trading against vAMMs (assuming all the under-collateralized assets are successfully liquidated before going bankrupt). This allows EternalSwap to operate with infinite liquidity with zero impermanent loss for stakeholders as liquidity providers aren't required.
Traders using EternalSwap will be able to:
• easily trade against their stablecoin collateral
• forget about slippage and impermanent loss
• apply leverage for greater capital efficiency
• protect collateral via partial liquidations and an insurance fund
• participate in trading competitions and other incentives
Our Proposal
As Cardano builders are well aware, a fully-functional dApp requires considerable time and investment. Fund8 marks the beginning of this journey for our team. As such, we naturally start at the beginning and consider this proposal a request for seed funding.
If successful, we will deliver the initial building blocks of the EternalSwap platform. These include:
• Professional technical specification (a dApp "blueprint")
• Website, pitch deck, and finalized whitepaper (first-draft completed but under revision)
• Branding assets (logos, brand portfolio, marketing materials, etc.)
What is a technical specification and why does it require funding?
Smart contract applications are mission-critical software. This is especially true of DeFi dApps, where poorly written protocols can result in massive losses for investors. Detailed planning and careful implementation are crucial to avoiding such vulnerabilities.
Software engineers developing mission-critical software offset these risks by initially composing a technical specification – also called a technical design document – to guide implementation. The situation is analogous to drafting the blueprint of a building. Naturally, architects exercise extensive prudence and due diligence when designing blueprints because oversights can be disastrous. Smart contract engineers must do the same.
An integral engineering document, a technical specification acts as the “blueprint” of a software application. In more concrete terms, the document involves:
• careful analysis of a problem and its solution
• definition of technical requirements
• timeboxing and delineating the work involved
• security analysis
• identification of relevant third-party services
Specifically, technical specifications for Cardano projects clearly define:
• the modules of a protocol (governance, liquidation pools, reward systems, etc)
• the internal and exposed data structures and functions of a given module
• the parameters, state, and calculations managed by a module
• dependencies of a module and actions taken by components of a module
• diagrams of module interactions and information flow
• EUTXO structure and function with particular importance placed on validators
• tokens and their minting policies (this often includes security considerations)
• and more
Members of our team have developed several mission-critical fintech and Cardano applications and are skilled at creating technical specifications.
Funding:
Engineering hours: 875
Total: $70,000
Breakdown:
Feature……………………………………………………………………………………………………….Total Time
Initial Branding, Identity, Strategy, and Touchpoints……………………………………..30
Branded Website and Pitch Deck…………………………………………………………………50
Finalizing Whitepaper Including Team Review………………………………………………30
Technical Specification
Analysis of Problem Domain, Notation, Technical Requirements……………………80
Architecture and Module Design………………………………………………………………….120
Analysis of Data Structures and EUTXO……………………………………………………….80
Token Functionality and Minting Policy Security Analysis……………………………..100
EUTXO and Module Diagramming………………………………………………………………..75
General Smart Contract Security Analysis…..………………………………………………100
Timeboxing…………………………………………………………………………………………………60
Subtotal………………………………………………………………………………………………………725
Change Budget……………………………………………………………………………………………150
Total Time……………………………………………………………………………………………………875 hours
Total Cost……………………………………………………………………………………………………$70,000
Our Team
MLabs
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. We employ over 80 developers and have helped build community projects such as:
• Liqwid
• SundaeSwap
• Ardana
• Optim
• Many others
Through our work with early-stage projects, we have one of the largest groups of Haskell / Plutus developers in the community. Moreover, MLabs has the capacity to conceptualize and ship advanced financial applications in Plutus. These products provide the core building blocks of a decentralized financial system. Derivatives are an essential risk management tool as well as a suitable test case for an L2 implementation that MLabs is working on with development partners.
Website: <https://mlabs.city/>
Core Team
MLabs Founder and CEO
Mark Florisson
Mark founded MLabs in 2018 for consultancy in AI, Fintech, and Information Technology. He specialized in functional programming, particularly Haskell, as well as compilers and full-stack development. Currently, he heads business strategy at MLabs and manages several clients and internal projects.
GitHub: <https://github.com/markflorisson>
Head of Cardano Operations
Ben Hart
Ben heads the majority of MLabs’ Cardano-based projects. This includes open-source efforts such as the Cardano-Tx-Lib, currently under development, which aims to facilitate web3-like browser-based applications on Cardano. Although he previously developed in Solidity on Ethereum, he is a Haskell expert. He also has experience in implementing accounting software, web development, functional javascript, technical writing, and more.
GitHub: <https://github.com/Benjmhart>
Plutus Lead Developer
Maksymilian Brodowicz
Maksymilian does a lot of research, both technical and product-wise, financial and user-experience related. Specifying and creating innovations in protocols, his designs have been used in a variety of efforts. By education a mathematician and a computer scientist, HoTT enthusiast, and five-year Haskell practitioner.
GitHub: <https://github.com/zygomeb>
Delivery Manager
George Flerovsky:
George manages a portfolio of projects at MLabs including decentralized exchanges, governance, auctions, yield optimization, and on-chain analytics. He completed his Master of Arts degree in Economics in 2017 and has five years of professional experience in data science and engineering. Before joining MLabs, George was involved with designing the streaming merge algorithm for concurrency in the Cardax decentralized exchange.
George has developed in and loved Haskell since 2015, and has been involved with Cardano since 2018. He has carefully studied the Cardano research papers and specifications, developing a deep knowledge of the Cardano consensus protocol, smart contract framework, and network stack. He participated in the first cohort of the Plutus Pioneers Program in summer 2021, and actively contributed to the Alonzo Blue, White, and Purple testnets.
GitHub: <https://github.com/GeorgeFlerovsky>
DeFi and Business Development
Luke Mahoney
Luke helps manage the business needs of several MLabs and client projects, both in the DeFi and NFT space. He also works as the product owner of Seabug, an NFT marketplace and protocol, and has assisted in the early stage planning of DeFi projects such as DAO-Traded-Funds, Optim, and others. Before joining MLabs as an intern in summer 2020, he covered Cardano and blockchain developments for AdaPulse and other online outlets.
AdaPulse: <https://adapulse.io/author/luke-m/>