
Layer2.Finance
Website | layer2.finance |
---|---|
Social media | discord.ggcelernetwork@CelerNetwork |
App | app.l2.finance |
Documentation | docs.l2.finance |
Source code | github.com/celer-network/layer2-finance-contracts |
Experimental Stats (7 days)
Inflows | $36.32 K |
---|---|
Outflows | $40.77 K |
News
Description[Edit][Issue]
Layer2.Finance aims to democratize access to DeFi protocols for everyone. Users can aggregate their DeFi usage and save on Ethereum fees.
Risk summary
Funds can be stolen if…
Funds can be frozen if…
Users can be censored if…
MEV can be extracted if…
Technology
Fraud proofs ensure state correctness[Edit][Issue]
After some period of time, the published state root is assumed to be correct. For a certain time period, usually one week anyone can submit a fraud proof that shows that the state was incorrect. Unfortunately in case of Layer2.Finance only some fraud proofs revert blocks and every successful fraud proof pauses the contract requiring the owner to unpause.[1][2][3]
- Funds can be stolen if there is no one that checks the published state. Fraud proofs assume at least one honest and able validator.
- Funds can be frozen if the problematic fraud proof mechanism is exploited (CRITICAL).
All data required for proofs is published on chain[Edit][Issue]
All the data that is used to construct the system state is published on chain in the form of cheap calldata. This ensures that it will always be available when needed.[4]
Operator
The system has a centralized operator[Edit][Issue]
The operator is the only entity that can propose blocks. A live and trustworthy operator is vital to the health of the system.[4][5]
- MEV can be extracted if the operator exploits their centralized position and frontruns user transactions.
- Funds can be frozen if the sequencer halts its operations (CRITICAL).
There is no force transaction mechanism[Edit][Issue]
If the users find themselves censored they can do nothing to force the inclusion of their transactions.[4]
- Users can be censored if the sequencer refuses to include their transactions (CRITICAL).
Withdrawals
Regular exit[Edit][Issue]
The user initiates the withdrawal by submitting a transaction on L2. When the block containing that transaction is finalized the funds become available for withdrawal on L1. The process of block finalization usually takes several days to complete. Finally the user submits an L1 transaction to claim the funds. This transaction does not require a merkle proof.[4]
- Funds can be stolen if the operator does not include user's L2 withdrawal transactions (CRITICAL).
Smart Contracts[Edit][Issue]
The system consists of the following smart contracts:
- RollupChain 0xf86F…1A05This contract stores the following tokens: BUSD, DAI, USDC, USDT, WETH.
- TransitionDisputer 0x5D3c…007f
- Registry 0xFe81…14a8
The current deployment carries some associated risks:
- Funds can be stolen if the owner calls owner-only functions that pause the contract and drain funds (CRITICAL).[6]
References
- Which L2 scaling paradigm is Layer2.Finance using - Layer2.Finance FAQ
- RollupChain.sol#L441 - Layer2.Finance source code
- RollupChain.sol#L605 - Layer2.Finance source code
- RollupChain.sol#L191 - Layer2.Finance source code
- Layer2.finance - Celer Network blog
- RollupChain.sol#L460-L496 - Layer2.Finance source code