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
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 30)
# | operator group | TVL | ETH | EIGEN |
---|---|---|---|---|
1 |
ether.fi
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
|
$790M | 323K | 14.8M |
3 |
Puffer
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 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
|
$584M | 238K | 874K |
6 |
Kelp
Kelp by Luganodes
(119K ETH)
Kelp by Kiln
(105K ETH)
|
$548M | 224K | 62K |
7 |
EigenYields
|
$372M | 152K | 7.85M |
8 |
InfStones
|
$256M | 105K | 4K |
9 |
Swell
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
|
$101M | 41K | 15.1M |
11 |
Staked
|
$99.8M | 41K | 1.76M |
12 |
CoinSummer Labs
|
$97.7M | 40K | 101K |
13 |
InfStones
|
$90.8M | 37K | 1.51M |
14 |
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 |