Use zeth to add an example on verifying zk rollup on aligned.
Use zeth to add an example on verifying zk rollup on aligned.