Worked on the matter-labs/zksync-os-server repository to advance cross-layer verifiability by enhancing storage proof tooling for blockchain applications. Developed a new CLI tool in Rust that enables end-to-end verification of storage proofs against Layer 1 batch commitments, streamlining the L1-L2 verification workflow. Extended the BatchStorageProof flow to include Layer 1 verification data, allowing for more robust auditability and reduced operational risk. Integrated comprehensive test plans and automated integration tests to validate the storage proof process, while maintaining code quality through clippy and formatting checks. Documented design decisions and breaking changes to support downstream client integration and production readiness.