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)
:
$6.57B
ETH restaked
info
Total restaked beacon ETH and LSTs, denominated in ETH
:
1,864,405.588
Total operators: 62
Total stakers: 121,780

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
P2P.org [all AVS] P2P.org
$1.29B 365K 8.22M
2
Renzo Renzo
info
Renzo by P2P.org (88K ETH)
Renzo by Luganodes (88K ETH)
Renzo by Pier Two (82K ETH)
Renzo by HashKey (66K ETH)
$1.14B 323K 0
3
Eigenpie by P2P.org Eigenpie by P2P.org
$913M 259K 5.92M
4
Kelp Kelp
info
Kelp by Luganodes (127K ETH)
Kelp by Kiln (114K ETH)
$850M 241K 56K
5
EigenYields EigenYields
$608M 172K 11.3M
6
InfStones Enterprise InfStones Enterprise
$408M 116K 5K
7
Puffer Puffer
info
Puffer - P2P (36K ETH)
Puffer (23K ETH)
Puffer - InfStones (22K ETH)
Puffer - Hashkey Cloud (10K ETH)
Puffer - Everstake (8K ETH)
Puffer - A41 (8K ETH)
Puffer - CoinSummer (6K ETH)
$395M 112K 4.59M
8
CoinSummer Labs CoinSummer Labs
$165M 47K 3.70M
9
AltLayer AltLayer
$161M 46K 5.98M
10
InfStones InfStones
$159M 45K 4.46M
11
Staked Staked
$144M 41K 1.76M
12
Kiln Kiln
$132M 37K 1.07M
13
stakefish
$122M 35K 43K
14
HashKey
$49.7M 14K 84K
15
Chorus One
$36.1M 10K 463K
16
Nethermind
$22.2M 6K 244K
17
0Y
$13.3M 4K 654K
18
Polkachu
$13.2M 4K 15K
19
Antalpha
$11.3M 3K 65K
20
Aestus
$11.0M 3K 516K
21
A41
$9.99M 3K 27K
22
Pier Two
$7.64M 2K 76K
23
Coinbase
$5.55M 2K 166K
24
StakeCat
$4.15M 1K 73K
25
DAIC
$3.70M 1K 136K
26
01node
$2.94M 833 5K
27
Everstake
$2.87M 814 103K
28
Staking4All
$2.86M 810 179K
29
Ebunker
$2.83M 801 597
30
Digital Asset Management Network
$2.57M 728 16K

Research