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

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

Any given Committee is designed to securely and provably generate cross-chain state proofs for optimistic rollups. It requires and generates inductive ZK proofs where validations are performed toward previous blocks and aggregated BLS signatures are generated to attest to the validity of the present block’s state. All these combined attributes make the system extremely robust against faults.

BLS signatures can be expensive to compute at scale. A more efficient and specialized signature scheme would be worth considering.

At least 2/3 of the present Committee must correctly sign each block. The recursive nature of State Committees enables them to ensure continuous proof validity and cross-chain relaying.

Similarly to Lagrange’s ZK Coprocessor, even in the case of a 2/3 stake attack toward the Prover network, ZK-state proof generation is not affected; only slight liveness issues may occur.

Being structured as a pure ZK system, Lagrange State Committees are extremely airtight toward potential safety exploits.

Degree of decentralization in the sequencer and the overall Prover network are unknown.