Aligned Restaked ZK‑verification layer that settles proofs efficiently across rollups and L1s. category ZK Proving date 23 September 2025