Lagrange ZK Prover Network
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
AVS
Business Model
"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
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.
Operator Profile
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.
Lagrange ZK Coprocessor Protocol
ZK Coprocessor & Verifiable Database
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
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.
Operators for Lagrange ZK Prover (top 20)
# | operator group | TVL |
---|---|---|
1 |
ether.fi
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 by Kiln
($966.5M)
Kelp by Luganodes
($699.0M)
|
$1.67B |
3 |
EigenYields
|
$1.62B |
4 |
P2P.org
|
$1.19B |
5 |
Renzo
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
|
$676.2M |
7 |
Puffer
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
|
$270.7M |
9 |
Swell
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
|
$230.7M |
11 |
Coinbase
|
$162.3M |
12 |
Staked
|
$148.3M |
13 |
CoinSummer
|
$115.5M |
14 |
AltLayer
|
$106.7M |
15 |
HashKey
|
$68.8M |
16 |
stakefish
|
$68.7M |
17 |
Black Sand
|
$53.7M |
18 |
InfStones
|
$48.9M |
19 |
Luganodes
|
$36.8M |
20 |
Nethermind
|
$34.9M |