Developed a circuit interpreter and loader for the PolyhedraZK/ExpanderCompilerCollection repository, focusing on secure computation workflows using Rust and compiler development techniques. The work centered on supporting M31-compatible circuits, enabling file-based loading of compiled circuit definitions, and managing gate operations such as XOR, AND, OR, and MUL alongside zero-knowledge operations like compose, add, and extract. The implementation included an extensible operation registry and a framework for number decomposition and composition, facilitating robust input, output, and intermediate state handling. This foundation accelerated integration with downstream zk-circuit pipelines and established a reusable, testable base for secure circuit execution.