u--1: Lagrange ZK Prover

Lagrange ZK Prover Network AVS on EigenLayer

Lagrange ZK Prover Network

Total restaked ($)
info
Total value of restaked assets (excluding EIGEN)
:
$8.08B
ETH restaked
info
Total restaked beacon ETH and LSTs, denominated in ETH
:
3,303,350.12
Total operators: 79
Total stakers: 55,256
Weekly rewards
info
Total weekly rewards shared between restakers
:
none

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

Risk analysis (beta)
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 30)

# operator group TVL ETH EIGEN
1
ether.fi ether.fi
info
ether.fi-1 - Pier Two (264K ETH)
ether.fi-2 - P2P.org (260K ETH)
ether.fi-4 - Finoa (202K ETH)
ether.fi-3 - DSRV (189K ETH)
ether.fi-11 - Validation Cloud (144K ETH)
ether.fi-6 - A41 (116K ETH)
ether.fi-8 - DSRV (105K ETH)
ether.fi-5 - Cosmostation (83K ETH)
ether.fi-7 - Chainnodes (63K ETH)
ether.fi-9 - Nethermind (47K ETH)
ether.fi-10 - Node.Monster (32K ETH)
$3.68B 1.50M 1.42M
2
P2P.org [all AVS] P2P.org
$790M 323K 14.8M
3
Puffer Puffer
info
Puffer - P2P (116K ETH)
Puffer - InfStones (34K ETH)
Puffer (23K ETH)
Puffer - Hashkey Cloud (22K ETH)
Puffer - A41 (17K ETH)
Puffer - CoinSummer (16K ETH)
Puffer - Everstake (15K ETH)
$595M 243K 1.60M
4
Renzo Renzo
info
Renzo by P2P.org (69K ETH)
Renzo by Pier Two (63K ETH)
Renzo by HashKey (57K ETH)
Renzo by Luganodes (53K ETH)
$593M 242K 0
5
Eigenpie by P2P.org Eigenpie by P2P.org
$584M 238K 874K
6
Kelp Kelp
info
Kelp by Luganodes (119K ETH)
Kelp by Kiln (105K ETH)
$548M 224K 62K
7
EigenYields EigenYields
$372M 152K 7.85M
8
InfStones Enterprise InfStones
$256M 105K 4K
9
Swell Swell
info
Swell - Luganodes (9K ETH)
Swell - Chorus One (9K ETH)
Swell - Finoa (9K ETH)
Swell - Everstake (9K ETH)
Swell - Pier Two (9K ETH)
$104M 43K 2K
10
Kiln Kiln
$101M 41K 15.1M
11
Staked Staked
$99.8M 41K 1.76M
12
CoinSummer Labs CoinSummer Labs
$97.7M 40K 101K
13
InfStones InfStones
$90.8M 37K 1.51M
14
AltLayer AltLayer
$84.3M 34K 2.39M
15
HashKey
$42.1M 17K 112K
16
stakefish
$23.4M 10K 263K
17
Chorus One
$20.3M 8K 266K
18
Nethermind
$15.7M 6K 273K
19
A41
$10.2M 4K 144K
20
Polkachu
$8.46M 3K 41K
21
Antalpha
$7.83M 3K 142
22
Aestus
$7.36M 3K 37K
23
0Y
$6.89M 3K 443K
24
Pier Two
$3.86M 2K 93K
25
Coinbase
$3.43M 1K 86.9M
26
Staking4All
$2.14M 874 84K
27
01node
$2.12M 866 3K
28
DAIC
$1.96M 799 142K
29
Ankr
$1.89M 773 23K
30
Everstake
$1.75M 714 48K

Research