# Linea

### Overview

Linea is a ZK rollup that posts transaction data to Ethereum using a verifier contract to validate ZK proofs. The current verifier can be found [here](https://etherscan.io/address/0xBfF4a03A355eEF7dA720bBC7878F9BdBBE81fe6F). The Linea Dune query can be found [here](https://dune.com/queries/3916566).

### Query Structure

The query filters traces sent to the Linea L1 Message Service [contract](https://etherscan.io/address/0xd19d4B5d358258f05D7B411E21A1460D11B0876F) that invoke finalizeBlocks, finalizeBlocksWithProof, or finalizeCompressedBlocksWithProof and interacts with one of the verifier contracts.

### Calculations

* The proof volume is the number of function calls that interact with the verifiers
* The cost is calculated using the following formula: 
  * $$\text{cost} = \sum\_{\text{traces}} \left( \text{gas\_used} \times \text{gas\_price} \times \text{eth\_price} \right)$$
  * Where:
    * $$\text{gas\_used}$$ is the amount of gas consumed by a trace in one of the verifiers
    * $$\text{gas\_price}$$ is the price of gas on the day of the transaction
    * $$\text{eth\_price}$$ is the average price of ETH in USD on the day of the transaction