ZK proofs for Espresso block derivation, built with
@SuccinctLabs' SP1.
Once live, it'll let any Espresso-integrated chain trustlessly verify its blocks derive correctly from Espresso. Real-time finality and cryptographic verifiability aren’t a tradeoff.