Fedor Sakharov contributed to Lagrange-Labs/deep-prove and scroll-tech/ceno, focusing on backend reliability and cryptographic proof systems. He upgraded Python compatibility, introduced a Dockerized worker for ONNX model proofs with gRPC integration, and standardized JSON logging to improve deployment and observability. In Rust, he enhanced CI pipelines with Clippy linting and resolved build stability issues through dependency and codebase cleanup. For scroll-tech/ceno, Fedor improved the Sumcheck Prover’s parallelism using par_iter_mut, fixed serialization compatibility with serde, and expanded test coverage. His work demonstrated depth in system programming, concurrency, and cryptography, resulting in more robust, maintainable codebases.