Jian Weng developed a circuit interpreter and loader for the PolyhedraZK/ExpanderCompilerCollection repository, focusing on secure circuit execution for zero-knowledge workflows. Using Rust and compiler development techniques, Jian implemented support for M31-compatible gates and ZK operations, enabling file-based loading of compiled circuits and robust management of inputs, outputs, and intermediate results. The solution introduced an operation registry and a framework for number decomposition and composition, facilitating flexible ZK operation mapping. By integrating comprehensive testing and documentation, Jian established a reusable, testable foundation that accelerates integration with downstream zk-circuit pipelines and supports end-to-end secure computation workflows in Rust.