u--1: Lagrange ZK Prover

Lagrange ZK Prover Network AVS on EigenLayer

Lagrange ZK Prover Network

Total restaked ($)
info
Total value of restaked assets
:
$14.45B
ETH restaked
info
Total value of restaked assets, denominated in ETH
:
4.04M
Total operators: 86

What is Lagrange ZK Prover Network?

Decentralized network for reliable generation of different ZK proofs with high liveness guarantees

Twitter, Website, Contract, EigenLayer

address: 0x22cac0e6a1465f043428e8aef737b3cb09d0eeda

Restakeable assets

Assets accepted for restaking by Lagrange ZK Prover along with their delegated balances.

Token Balance USD Value
ETH 2.71M $9.69B
stETH 972.9K $3.48B
ETHx 77.7K $290.7M
wBETH 26.6K $100.4M
mETH 25.7K $96.7M
swETH 23.8K $91.7M
rETH 17.2K $69.0M
cbETH 4.9K $18.9M
sfrxETH 3.8K $15.2M
ankrETH 725 $3.05M

Risk analysis
risk analysis by tokensight

AVS

Business Model

Pure Wallet
low risk

"Pure Wallet" is an EigenLayer AVS business model (the most secure one for newborn protocols) where no native AVS token is involved, and user fees are paid in a purely neutral denomination (like ETH). Currently, it appears that Pure Wallet is the model adopted by Lagrange, though further details are lacking.

Protocol Security

Code Audits & GitHub Code Coverage
low risk

Three successive audits performed by one entity. Although an overly qualitative metric, different entities performing audits would be advised.

The code coverage for this AVS is very high, although not publicly disclosed.

view audits

Operator Profile

Reputation & Entrenchment Status
high risk

Since we are at the very early stages of EigenLayer, operators' reputation was classified as unknown. Operator's entrenchment level indicates how entrenched Lagrange ZK Coprocessor's operators are on other AVSs. The small number of AVSs currently live helps exacerbate this risk, in a pooled security context.

All AVSs are assigned a high operator profile risk at this early stage.

view full operator list

Lagrange ZK Coprocessor Protocol

ZK Coprocessor & Verifiable Database

Database Replication & Query Processing Security
low risk

Lagrange’s ZK Coprocessor indexes and processes the storing of the original database at each block and, through zero-knowledge computations, provably “inserts” this data into a replicated Verifiable Database, which then supports efficient and provable queries. These queries run in parallel over this new database when external protocols/applications request it.

Provers are rewarded for timely and valid proof generation.

Prover Network Profile

Decentralization & Security Status
low risk

The Coprocessor uses the MapReduce framework along with ZK proofs (zkMapReduce) to ensure the correctness of distributed computations across nodes to handle large-scale databases efficiently and in parallel by dividing it into chunks. Each node generates proofs for their assigned chunk, which are then recursively combined into a single proof, validating the entire process.

Even in the case of a 2/3 stake attack toward the Prover network, ZK-proof generation is not affected; only slight liveness issues may occur.

Being structured as a pure ZK system, Lagrange ZK Coprocessor is extremely airtight toward potential safety exploits.

Degree of decentralization in the sequencer and the overall Prover network are unknown.

Have a question or feedback about AVS risks? Get in touch.

Operators for Lagrange ZK Prover (top 20)

# operator group TVL
1
ether.fi ether.fi
info
ether.fi-1 - Pier Two ($1.00B)
ether.fi-2 - P2P.org ($918.0M)
ether.fi-10 - Node.Monster ($824.2M)
ether.fi-4 - Finoa ($809.7M)
ether.fi-3 - DSRV ($705.6M)
ether.fi-11 - Validation Cloud ($580.7M)
ether.fi-6 - A41 ($424.4M)
ether.fi-5 - Cosmostation ($339.7M)
ether.fi-8 - DSRV ($248.3M)
ether.fi-7 - Chainnodes ($224.2M)
ether.fi-12 ($162.0M)
ether.fi-9 - Nethermind ($116.0M)
$6.36B
2
Kelp Kelp
info
Kelp by Kiln ($966.5M)
Kelp by Luganodes ($699.0M)
$1.67B
3
EigenYields EigenYields
$1.62B
4
P2P.org [all AVS] P2P.org
$1.19B
5
Renzo Renzo
info
Renzo by HashKey ($253.3M)
Renzo by Pier Two ($249.8M)
Renzo by P2P.org ($168.5M)
Renzo by Luganodes ($104.1M)
$775.7M
6
Eigenpie Eigenpie
$676.2M
7
Puffer Puffer
info
Puffer - P2P ($284.5M)
Puffer - InfStones ($64.9M)
Puffer ($27.0M)
Puffer - Everstake ($17.1M)
Puffer - A41 ($9.10M)
Puffer - Hashkey Cloud ($8.75M)
Puffer - CoinSummer ($8.38M)
$419.7M
8
InfStones Enterprise InfStones
$270.7M
9
Swell Swell
info
Swell - InfStones ($93.3M)
Swell - P2P ($27.1M)
Swell - Luganodes ($21.5M)
Swell - Pier Two ($21.5M)
Swell - Finoa ($21.5M)
Swell - Chorus One ($21.5M)
Swell - Everstake ($21.5M)
Swell - A41 ($21.5M)
$249.6M
10
Kiln Kiln
$230.7M
11
Coinbase Coinbase
$162.3M
12
Staked Staked
$148.3M
13
CoinSummer CoinSummer
$115.5M
14
AltLayer AltLayer
$106.7M
15
HashKey
$68.8M
16
stakefish
$68.7M
17
Black Sand
$53.7M
18
InfStones InfStones
$48.9M
19
Luganodes
$36.8M
20
Nethermind
$34.9M

Research