LEEQUID
  • 👋 Welcome
  • Navigating LEEQUID
    • 🌱 Staking
      • The staking protocol
      • Matching stake to unstake requests
      • Potential wait times while staking
      • Deposited LYX lifecycle
      • Importing sLYX to your wallet
    • 🍇 Collecting rewards
      • Reward distribution in the LEEQUID protocol
      • Auto-compounding
      • Withdrawing rewards
      • Reward calculation in Proof of Stake
    • 🍂 Exiting the protocol
      • Option 1: swapping sLYX for LYX
      • Option 2: unstaking through the staking pool
      • Matching unstake to stake requests
      • Potential wait times while unstaking
    • 🍷 Claiming
      • Claim queued stake
      • Claim unstaked LYX
      • Claim rewards
    • 🔄 Swapping
      • LYX for sLYX: An instant alternative to staking
      • sLYX for LYX: an instant alternative to exiting
      • Providing liquidty
      • Providing Liquidity: a practical example
  • LEEQUID in depth
    • 🔐 Protocol security and risks
      • Security overview
      • Smart contract code correctness
      • Slashing and unexpected validator behaviour
      • sLYX token: economic balance
      • Validator key management
    • 📃 Smart contracts
      • Oracles
      • Merkle Distributor
      • Rewards
      • Pool
      • StakedLyxToken
      • FeesEscrow
    • 💧 The sLYX token
      • Acquiring sLYX
      • 1:1 ratio with LYX
      • Potential unpeg of sLYX from LYX
    • 💦 The liquidity pool (DEX)
      • Implementation
  • Incident Response
    • Contacts
    • Vulnerability Disclosure Policy
Powered by GitBook
On this page
  1. LEEQUID in depth
  2. 🔐 Protocol security and risks

Smart contract code correctness

Last updated 1 year ago

Even though a series of measures are taken to ensure code correctness, such as:

  • Careful development using battle-tested libraries like Open Zeppelin

  • Extensive and thorough testing

  • Audit by the best experts in solidity and blockchain technology

The intricacies of protocols such as LEEQUID are such that sometimes bugs can appear in the most unexpected interactions. For that reason, further prevention and handling mechanisms are put in place.

Prevention and mitigation mechanisms

  • LEEQUID's contracts are pausable. This means that, in the event of a flaw, the protocol can be stopped immediately, freezing all deposits and withdrawals. The pause action can be executed by an address with the role of owner. This address can either be controlled manually by a person (or team), or by a smart contract (for example a Multisig or a DAO).

  • LEEQUID's contracts are upgradeable. If a flaw is discovered, the protocol can be paused, the flaw corrected and the faulty contract upgraded. Upgrading a smart contract means switching it with a new one. This change doesn't affect the protocol or the user, all the data will be preserved and the user-facing surface of the protocol will remain unaltered. Think about it as replacing a malfunctioning battery in a car.

  • LEEQUID's contracts were audited. A professional team with high expertise in blockchain security and specialized in solidity and the Ethereum Virtual Machine (EVM) has performed a careful of the protocol's smart contracts, stating no security vulnerabilities.

  • LEEQUID's contracts are an evolution of Stakewise V2. The protocol has been live on Ethereum since November 2020, with a total value locked of more than 85000 ETH (more than 100 million dollars in 2023), and a proven history of robustness and reliability. The changes introduced by LEEQUID allowed the portability of Stakewise V2 to LUKSO's blockchain standards (like LSP7 tokens), and introduced a major upgrade to accommodate the withdrawal of validators, which were locked until the Shapella upgrade in April 2023.

audit