yesterday, we introduced the pessimistic proof, the novel ZKP that will ensure safety for chains connected to the AggLayer the pessimistic proof will be generated by @SuccinctLabs' SP1, a general purpose zkVM built with Polygon Plonky3 this means security + low-cost interop 🧵