"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.

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

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.

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.