Succinct Labs and Polygon Labs have joined forces to create a new type of zero-knowledge proof called a pessimistic proof. This innovation, developed using SP1, a zero-knowledge virtual machine (zkVM) created by Succinct Labs, will ensure that no single chain can compromise the deposits of others in the AggLayer network. The pessimistic proof guarantees cross-chain security by ensuring every chain produces its new state truthfully. It also ensures no chain can withdraw more tokens than deposited. This development is expected to result in faster zero-knowledge development times.