Antonio Locascio developed a storage proof verification workflow for the matter-labs/zksync-os-server repository, focusing on cross-layer verifiability between L1 and L2. He extended the BatchStorageProof process by integrating L1 verification data, enabling proofs to be checked directly against L1 batch commitments. Antonio also built a dedicated CLI tool in Rust to automate end-to-end verification, including Merkle tree validation and hash checks against the L1 diamond proxy. His work included integration tests and thorough documentation, ensuring production readiness and auditability. Leveraging skills in Rust, CLI tooling, and backend blockchain development, Antonio delivered a robust, testable solution within one month.