Worked on strengthening cryptographic validation pipelines by developing new features and improving test coverage in the GaloisInc/ckzg-eip-4844-verification and GaloisInc/cryptol-specs repositories. Built a blob validation utility to ensure BLS modulus compliance, converting blobs to field elements and reconstructing them after applying the modulus. Expanded KZG proof verification by adding diverse test vectors and aligning test data across repositories, which improved reliability and consistency. Used Python and Cryptol to automate testing and maintain cryptographic modules. Also removed outdated SphincsPlus code and updated documentation, streamlining onboarding and ensuring developers have accurate guidance for working with EIP-4844 cryptographic components.