funded
Hlabs: a radically different approach for AMM swaps, trustless and deterministic (1 tx)
Current Project Status
In Progress
Amount
Received
₳0
Amount
Requested
₳300,000
Percentage
Received
0.00%
Solution

We propose to prototype a radically different approach to allow for AMM swaps in a single, deterministic Cardano transaction.

Problem

Current DEXes designs require 2 or more transactions and often intervene of third parties (batchers or offchain bots) to perform swaps.

Impact Alignment
Impact Alignment
Feasibility
Value for Money

Team

1 member

Hlabs: a radically different approach for AMM swaps, trustless and deterministic (1 tx)

Please describe your proposed solution

Since Cardano had introduced

smart contracts capabilities to the protocol,

many teams have tried to build a Decentralized Exchange (DEX)

that allows the exchange of different native assets.

Since then, two main designs have been established:

Order Books and Automated Market Makers (AMMs);

but each comes with different tradeoffs,

that in some cases can not guarantee the execution of an order,

or in other cases requires (ofthen trusted) third parties

to execute them for the user.

We propose a new design

for Decentralized Exchanges based on AMMs,

that can execute swaps in a single, deterministic, transaction

without involving third parties,

thus staying trustless and permissionless.

Please define the positive impact your project will have on the wider Cardano community

The new design will make extensive use of the eUTxO features to make this possible

relying minimally on offchain infrastructure to perform actions on behalf of the user.

a single transaction per swap also implies a better perception of the speed that the cardano blockchain can truly ofter; showcasing the true power of the eUTxO model.

What is your capability to deliver your project with high levels of trust and accountability? How do you intend to validate if your approach is feasible?

Michele Nuzzi has been part of the Cardano ecosystem at the beginning as a single stake pool operator and later as developer. In this time he wrote and still maintains numerous dependecy free typescript libraries that require a low level understanding of the Cardano protocol.

A non-exhaustive list list of some of the projects would be:

  • plu-ts: a typescript framework for the creation of Cardano Smart contracts
  • plutus-machine: typescript library for the evaluation of contracts off-chain
  • cardano-ledger-ts: collection of classes and functions for Cardano specific data types and respective serialization and deserialization in CBOR format.
  • ouroboros-miniprotocols-ts: library for low level interactions with the cardano-node based on the ouroboros mini protocols specification.

And more recently actively developing an alternative implementation of the cardano-node, thanks to previous catalyst funding.

What are the key milestones you need to achieve in order to complete your project successfully?

Milestone 1: Produce a withepaper (meant for the general public) and a yellow paper( meant for the technical reader)

Milestone 2: Write the onchain logic

Milestone 3: Prepare the offchain infrastructure

Milestone 4: Produce a frontend to interact with the contracts

Final Milestone: Close out report and video.

Who is in the project team and what are their roles?

1) Michele Nuzzi

Additionally, Hlabs is looking to expand the team to better handle the various ongoing projects.

New personnel working on this proposal in case of approval would meet the following requirements:

Senior Typescript developer, 5 years experience, deep understanding of computer science fundamentals and with solid understanding of the different Javascript runtimes and relative main APIs

Please provide a cost breakdown of the proposed work and resources

Assuming 2 engineers working for a period of 12 months, for a wage of 5750 $/month

at the current rate of exchange of about 0.46 USD per 1 ADA

we have

2 x 5750 x 12 / 0.46 = 300000 ADA.

No dependencies.

How does the cost of the project represent value for money for the Cardano ecosystem?

please see "IMPACT" section above

close

Playlist

  • EP2: epoch_length

    Authored by: Darlington Kofa

    3m 24s
    Darlington Kofa
  • EP1: 'd' parameter

    Authored by: Darlington Kofa

    4m 3s
    Darlington Kofa
  • EP3: key_deposit

    Authored by: Darlington Kofa

    3m 48s
    Darlington Kofa
  • EP4: epoch_no

    Authored by: Darlington Kofa

    2m 16s
    Darlington Kofa
  • EP5: max_block_size

    Authored by: Darlington Kofa

    3m 14s
    Darlington Kofa
  • EP6: pool_deposit

    Authored by: Darlington Kofa

    3m 19s
    Darlington Kofa
  • EP7: max_tx_size

    Authored by: Darlington Kofa

    4m 59s
    Darlington Kofa
0:00
/
~0:00