Worked on Lagrange-Labs/deep-prove and scroll-tech/ceno, delivering features that improved deployment reliability, code quality, and cryptographic proof systems. Upgraded Python compatibility and introduced a Dockerized worker for ONNX model proofs, enabling secure, verifiable inference via gRPC and standardized JSON logging for operational observability. Enhanced CI/CD pipelines by integrating Clippy linting and resolving build stability issues in Rust, ensuring maintainable releases. In scroll-tech/ceno, refactored the Sumcheck Prover to use parallel iteration, resolving deadlocks and simplifying concurrency logic, while fixing serialization compatibility for SmartSlice with Rust and Serde. Expanded test coverage to strengthen reliability and future-proof critical code paths.