The official blog of Cardax DEX
The focus of this week was in working towards moving the pure model and the formal spec closer. The meeting point of the two essentially is Plutus code. For the spec team, it is important to verify the feasibility (practically) of the formal model. For the pure model team to introduce the complexity of the […]
Matthias
From today you can earn $CDX token by staking VYFI NFT on VyFinance. This is the first fruit of our partnership! What do you need? VYFI NFT (NFT policy) If you do not have one yet, you can get the NFTs from CNFT.io How to stake? Connect Nami wallet Stake NFT Harvest That’s it! Now […]
Xian
This week we concentrated more on organizational and coordinational tasks. Since the pure model and the spec are evolving, soon we need to use them for the implementation of the smart contracts. In preparation for this, we started to agree upon a Minimal-Viable Product (MVP), which will help to focus on the final product. We […]
Matthias
We are delighted to announce that Blockademia, the first proof-of-truth document verification system on the Cardano blockchain, will be listed on our DEX. Blockademia is on a mission to address the problem of fake documents. The project creates a reliable decentralized protocol for issuing and verifying various qualified documents [...]
Xian
This week, we continued the work on the more formal specification of the approach. Essentially, this was about defining the notation, a framework, we want to use to describe the minting policies, transactions, and overall flow in a clean way. All this progress, naturally, helped to refine the pure model of the abstract pattern underlying [...]
Matthias
We are delighted to announce that Empowa, the first RealFi (DeFi) property platform on Cardano that combines emerging technology, sustainable building and decentralized financial inclusion, will list on our DEX. By providing decentralized financing, Empowa unlocks the potential of the under-served African mortgage market, bringing [...]
Xian
For this week, we started the work on a more formal specification of our approach. This naturally has led to some questions which we needed to address and answer. Additionally, we improved our pure model to be more cleanly implemented as a state machine. A state machine is very desired since it allows a much […]
Matthias
We are beyond thrilled to announce our partnership with ADA Handle, the first creator of custom wallet address for the Cardano blockchain, to bring the best possible user experience to our DEX. ADA Handle introduces a simple and elegant solution for creating custom wallet address to the Cardano ecosystem, abstracts the annoyance of [...]
Xian
We are delighted to announce that CHARLI3, the first decentralized oracle solution for the Cardano network, will list on our platform after their migration to Cardano Native Token. CHARLI3 is a powerful intermediary using smart contracts to interface with off-chain data efficiently and decentralized. Being native to Cardano’s blockchain, [...]
Xian
This week was all about continuing the work on the pure model. This includes improving the pure model implementation and defining and implementing further properties (for testing). We also started to implement the DEX-specific instantiation of the abstract pattern we were working on so far. This will also be our focus for the next week. [...]
Matthias
Recent Comments