2024 Web3 Security ReportAccess control exploits account for nearly 80% of crypto hacks in 2024.
Discover report insights
  • Hacken
  • Audits
  • ledgity
  • [SCA] Ledgity / RWA / Feb2024
Ledgity logo

Ledgity

Audit name:

[SCA] Ledgity / RWA / Feb2024

Date:

Mar 19, 2024

Table of Content

Introduction
Audit Summary
Document Information
System Overview
Executive Summary
Risks
Findings
Appendix 1. Severity Definitions
Appendix 2. Scope
Disclaimer

Want a comprehensive audit report like this?

Introduction

We express our gratitude to the Ledgity team for the collaborative engagement that enabled the execution of this Smart Contract Security Assessment.

Ledgity Yield \-  is a stablecoin yield protocol backed by real-world assets (RWA). It aims to provide a stable and institutional-grade treasury management solution for stablecoins holders, and bridges the gap between DeFi and TradFi by offering real yield based on real assets.

titlecontent
PlatformEVM (Linea and Arbitrum)
LanguageSolidity
TagsToken Yield Farming
Timeline26/02/2024 - 04/03/2024
Methodologyhttps://hackenio.cc/sc_methodology

    Review Scope

    Repositoryhttps://github.com/LedgityLabs/LedgityYield
    Commit74ba73f9a81012e4a6040810b8f5413f7e2591e1

    Audit Summary

    Total9.6/10
    Security Score

    10/10

    Test Coverage

    94.39%

    Code Quality Score

    9/10

    Documentation Quality Score

    10/10

    6Total Findings
    3Resolved
    3Accepted
    0Mitigated

    The system users should acknowledge all the risks summed up in the risks section of the report

    Document Information

    This report may contain confidential information about IT systems and the intellectual property of the Customer, as well as information about potential vulnerabilities and methods of their exploitation.

    The report can be disclosed publicly after prior consent by another Party. Any subsequent publication of this report shall be without mandatory consent.

    Document

    NameSmart Contract Code Review and Security Analysis Report for Ledgity
    Audited ByMaksym Fedorenko, Roman Tiutiun
    Approved ByGrzegorz Trawinski
    Websitehttps://ledgity.finance/
    Changelog04/03/2024 - Preliminary Report
    • Document

      Name
      Smart Contract Code Review and Security Analysis Report for Ledgity
      Audited By
      Maksym Fedorenko, Roman Tiutiun
      Approved By
      Grzegorz Trawinski
      Changelog
      04/03/2024 - Preliminary Report

    System Overview

    Ledgity Yield is a protocol that aims to provide stablecoins holders with a stable and scalable on-chain treasury management solution, backed by Real World Assets (RWA) with the following contracts:

    • LToken.sol  — is the main contract of the Ledgity Yield protocol as it powers every. It acts as a bridge between DeFi and TradFi worlds by allowing wallets to deposit stablecoins and Ledgity team to manage those stablecoins straightforwardly and securely.

    • InvestUpgradeable.sol  — is the derived contracts that are provided with utilities to manage an invested token, users' investment periods, rewards calculations, virtual balances, and auto-compounding.

    • APRHistory.sol — is the managing the history of Annual Percentage Rates (APRs) on-chain. It uses a space-efficient storage pattern to minimize gas costs.

    • ERC20BaseUpgradeable.sol — is an extension of BaseUpgradeable intended to be used as a base for ERC20 token contracts.

    • BaseUpgradeable.sol — is an abstract contract that acts as a base for numerous contracts in this codebase, minimizing code repetition and enhancing readability and maintainability.

    • SUD.sol — serves as an intermediary number format for calculations within this codebase. It ensures consistency and reduces precision losses. This library facilitates conversions between various number formats and the SUD format.

    • GlobalPause.sol — is a contract that holds a global pause state for the entire Ledgity Yield ecosystem. This is very practical, because if a potentially dangerous situation for the protocol is detected, the whole protocol's ecosystem can be paused by a single on-chain transaction.

    • GlobalOwnableUpgradeable.sol — is designed for upgradeable contracts to inherit a centralized ownership model from a specified GlobalOwner contract.

    • GlobalBlacklist.sol — this contract maintains a global registry of blacklisted wallets. This is notably used for AML enforcement but also as a general way to recover funds originating from malicious operations (e.g., other protocol hacks).

    • GlobalRestrictableUpgradeable.sol — is designed for security and upgradeability, with a focus on centralized blacklist management for a suite of contracts.

    • GlobalPausableUpgradeable.sol —  provides a centralized way to pause functionality across multiple contracts by referencing a shared GlobalPause contract.

    • RecoverableUpgradeable.sol — is designed for asset recovery, specifically ERC20 tokens, in upgradeable contracts while ensuring ownership and proper initialization. It's part of a system that prioritizes security and future extensibility.

    • LTokenSignaler.sol — Used to inform subgraph from the existence of a new L-Token contract. Once signaled, an L-Token will start being indexed.

    • GlobalOwner — this contract holds the addresses of the Ledgity Yield protocol's owner (multisig), shared by all contracts of the ecosystem.

    • DummyLDYStaking.sol — the contract acts as a placeholder for the real LDYStaking contract until this one is deployed.

    Privileged roles

    • The admin of the LToken.sol contract has several key responsibilities and capabilities:

      • Update the logic of the system.

      • Pause the transfers and withdrawals.

      • Change the user staking delegates.

      • Blacklist users.

      • Can claim unclaimed fees generated from successful withdrawals.

      • Can recover ERC20 tokens mistakenly sent to the contract (recoverERC20), except for the underlying token.

      • Can add (listenToTransfers) or remove (unlistenToTransfers) contracts that listen to L-Token transfers.

      • Can set parameters like withdrawal fees rate (setFeesRate), retention rate (setRetentionRate), and addresses for the LDYStaking contract (setLDYStaking), withdrawer wallet (setWithdrawer), and fund wallet (setFund).

    • The Fund account processes big withdrawal requests and responsible for keeping LToken contract balance sufficient for the users withdrawals.

    • The Withdrawer processes the queue of user transactions.

    Executive Summary

    Documentation quality

    The total Documentation Quality score is 10 out of 10.

    • Functional requirements are provided.

    • Technical requirements are provided.

    Code quality

    The total Code Quality score is 9 out of 10.

    • The code contains minor best practices violations.

    Test coverage

    Code coverage of the project is 94.39% (branch coverage),

    • Deployment and user interactions are almost thoroughly tested, covering both negative and positive cases.

    Security score

    Upon auditing, the code was found to contain 0 critical, 0 high, 0 medium, and 1 low severity issues, leading to a security score of 10 out of 10.

    All identified issues are detailed in the “Findings” section of this report.

    Summary

    The comprehensive audit of the customer's smart contract yields an overall score of 9.6. This score reflects the combined evaluation of documentation, code quality, test coverage, and security aspects of the project.

    Risks

    Contracts might be upgraded after thr deployment, but these changes must be approached with caution as they can potentially introduce critical vulnerabilities.

    Owner might redirect rewards from and to any user.

    The system might be paused by the owner any time disallowing deposits and withdrawals.

    The LToken contract does not hold the significant part of the user deposited funds, most of the underlying tokens are controlled by the Admin multisig contract which is called Fund contract. Such behaviour matches requirements, so the admins (Fund account) is responsible for transfering the tokens to the main contract to cover withdrawal requests. The behaviour is explained by the client: the Fund multisig will repatriate on the contract only the stablecoins that are needed to fulfill withdrawal requests, pay yield, plus a small reserve to enable instant withdrawal. This is pretty convenient as it consequently reduces the on-chain attack surface of the protocol. The smart contract logic is not responsible for keeping smart contract solvent, it depends on the Admin behaviour.

    The fees which are applied during the instant withdrawals are not limited.

    Findings

    Code
    Title
    Status
    Severity
    F-2024-1188Unrestricted Fees
    fixed

    Low
    F-2024-1190Missing Events Emitting For Critical Functions
    fixed

    Observation
    F-2024-1187Redundant Array For Frozen Request
    accepted

    Observation
    F-2024-1183Missing Zero Address Validation
    accepted

    Observation
    F-2024-1182Floating Pragma
    fixed

    Observation
    F-2024-1160Initializer Is Not Disabled In Constructor
    accepted

    Observation
    1-6 of 6 findings

    Identify vulnerabilities in your smart contracts.

    Appendix 1. Severity Definitions

    When auditing smart contracts, Hacken is using a risk-based approach that considers Likelihood, Impact, Exploitability and Complexity metrics to evaluate findings and score severities.

    Reference on how risk scoring is done is available through the repository in our Github organization:

    Severity

    Description

    Critical
    Critical vulnerabilities are usually straightforward to exploit and can lead to the loss of user funds or contract state manipulation.

    High
    High vulnerabilities are usually harder to exploit, requiring specific conditions, or have a more limited scope, but can still lead to the loss of user funds or contract state manipulation.

    Medium
    Medium vulnerabilities are usually limited to state manipulations and, in most cases, cannot lead to asset loss. Contradictions and requirements violations. Major deviations from best practices are also in this category.

    Low
    Major deviations from best practices or major Gas inefficiency. These issues will not have a significant impact on code execution, do not affect security score but can affect code quality score.
    • Severity

      Critical

      Description

      Critical vulnerabilities are usually straightforward to exploit and can lead to the loss of user funds or contract state manipulation.

      Severity

      High

      Description

      High vulnerabilities are usually harder to exploit, requiring specific conditions, or have a more limited scope, but can still lead to the loss of user funds or contract state manipulation.

      Severity

      Medium

      Description

      Medium vulnerabilities are usually limited to state manipulations and, in most cases, cannot lead to asset loss. Contradictions and requirements violations. Major deviations from best practices are also in this category.

      Severity

      Low

      Description

      Major deviations from best practices or major Gas inefficiency. These issues will not have a significant impact on code execution, do not affect security score but can affect code quality score.

    Appendix 2. Scope

    The scope of the project includes the following smart contracts from the provided repository:

    Contracts in Scope

    contracts
    src
    interfaces
    ITransfersListener.sol - contracts/src/interfaces/ITransfersListener.sol
    libs
    APRHistory.sol - contracts/src/libs/APRHistory.sol
    SUD.sol - contracts/src/libs/SUD.sol
    abstracts
    InvestUpgradeable.sol - contracts/src/abstracts/InvestUpgradeable.sol
    base
    ERC20BaseUpgradeable.sol - contracts/src/abstracts/base/ERC20BaseUpgradeable.sol
    BaseUpgradeable.sol - contracts/src/abstracts/base/BaseUpgradeable.sol
    GlobalOwnableUpgradeable.sol - contracts/src/abstracts/GlobalOwnableUpgradeable.sol
    RecoverableUpgradeable.sol - contracts/src/abstracts/RecoverableUpgradeable.sol
    GlobalRestrictableUpgradeable.sol - contracts/src/abstracts/GlobalRestrictableUpgradeable.sol
    GlobalPausableUpgradeable.sol - contracts/src/abstracts/GlobalPausableUpgradeable.sol
    GlobalPause.sol - contracts/src/GlobalPause.sol
    LTokenSignaler.sol - contracts/src/LTokenSignaler.sol
    GlobalBlacklist.sol - contracts/src/GlobalBlacklist.sol
    GlobalOwner.sol - contracts/src/GlobalOwner.sol
    DummyLDYStaking.sol - contracts/src/DummyLDYStaking.sol
    LToken.sol - contracts/src/LToken.sol

    Disclaimer