# Initial Assessment of Lyra Protocol

**Overview** : Lyra Protocol is the collection of smart contracts that allow Liquidity Providers (LPs) to provide capital for traders to buy or sell options from/to the market,

**Scope** : [Commit 196edeb27c93f90314b54fcea66ebdbd938b8cda](https://github.com/lyra-finance/lyra-protocol)

## **code**

#### Size
NSloc: 6238
Version: 0.7.*
#### Complexity
Math: Moderate
#### Style/Best Practise
Code Readibility: Average
#### Upgradable
Yes/No : No
Model Used :
#### Assembly Usage
Operation:

assembly {
size := extcodesize(account)
}

assembly {
let returndata_size := mload(returndata)
revert(add(32, returndata), returndata_size)
}
------------------------------------------------

## Dependecies

#### Protocol
Synthetix
#### Libraries
Openzeppelin & Synthetix
----------------------------------------------------
## External Data
Use Synthetix to fetch price of given pair

## **Testing**

#### Coverage
Percentage: Not found
#### Formal Verification
###### Firm/Dev : [Certora](https://certora.atlassian.net/wiki/spaces/CVR/pages/60359364/Formal+Verification+Report+of+Lyra)

#### Fuzzing
Yes/No : Not found
----------

## **Security**

#### Audits
##### [IOSIR0 Audit Report](https://)
##### [Certik Audit Report](https://raw.githubusercontent.com/lyra-finance/lyra-protocol/master/audits/v1/iosiro_report-lyra.pdf)

#### Acess Control
Present : Yes

#### Monitoring Services
Yes/No : Not found
#### Emergency Shutdown
Pausable/Non-Pausable : Yes
Emergency Fund Avialable : Yes through Security Model
###### [Security Model](https://docs.lyra.finance/tokenomics/security-module-rewards)

-------------------------

## Platform & TVL

Optimism{ $85 Million}