# Polygon zkEVM

### Overview

Polygon zkEVM is a ZK rollup that posts transaction data to Ethereum using a verifier contract to validate PLONK proofs. The current verifier is a Fflonk implementation which can be found [here](https://etherscan.io/address/0x0775e11309d75aA6b0967917fB0213C5673eDf81). The Polygon zkEVM Dune query can be found [here](https://dune.com/queries/3916389).

### Query Structure

The query filters transactions sent to the PolygonRollupManager proxy [contract](https://etherscan.io/address/0x5132a183e9f3cb7c848b0aac5ae0c4f0491b7ab2) that were successful and invoke the verifyBatchesTrustedAggregator function.

### Calculations

* The proof volume is the number of invocations of PolygonRollupManager that invoke verifyBatchesTrustedAggregator
* 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