TL;DR:

• A small number of positions were unable to be withdrawn due to an imprecision issue in a smart contract.
• Funds are safe.
• The Atlendis Labs team has investigated the issue and will push an upgrade on the smart contract’s imprecision tolerance logic on January 26 at 2pm (UTC +1).
• After the upgrade, the affected positions will be able to be withdrawn.
• Join the Atlendis’ Discord for further questions and support.

Event description

Over the past few weeks, the Atlendis Labs team became aware of an issue that prevented some lenders from withdrawing their position. To our knowledge, this issue has only affected a small number of positions out of several thousands that have been seamlessly deposited and withdrawn.

After investigation, the Atlendis Labs team has decided to update the smart contracts to overcome small imprecisions, which will have strictly no impact over the funds deposited on the protocol and unblock the positions concerned. 

Note that a single smart contract will be upgraded, the Position Manager contract, that manages the position NFTs. The smart contract that holds the funds, the Borrower Pools, will be left untouched. All other aspects of the protocol remain unchanged and it will continue to operate as intended, with the same level of security as before.

The logic of the upgrade has already been deployed and verified on Polygon.

The upgrade will be pushed on January 26 at 3pm (UTC +1).

Further explanation

Calculation imprecisions are fairly common in DeFi. These imprecisions typically form “dust” in most protocols, accumulating a small amount of tokens that cannot be withdrawn from the smart contracts and can, in rare occurrences, result in failed transactions.

Floating point arithmetics is not possible in Solidity. As a workaround, Solidity developers use fixed-point arithmetics and work with large numbers that come with a fixed amount of decimals, at the cost of small and usually negligible imprecisions. However, in very edge cases, this logic might lead to calculation errors, which in this case, resulted in a  small number of positions not being able to be withdrawn from the pool’s smart contract.

About Atlendis

Atlendis is a capital-efficient credit protocol connecting DeFi with real-world use cases. Atlendis fills the gap that traditional finance (TradFi) has not been successfully able to cover. Leveraging blockchain technology and open banking, Atlendis enables Fintech and institutional actors to open dedicated liquidity pools and access one-time loans and revolving lines of credit, thus facilitating alternative financing for the growth and development of SME and startup customers across the globe. Atlendis makes it possible for any lender to control their portfolio while earning sustainable yield and making a meaningful impact helping real-world businesses.