Worked on enhancing the constraint system for the IrreducibleOSS/binius repository, focusing on enabling direct support for constant values within channel flush operations. The approach involved introducing the OracleOrConst enum and refactoring the Flush mechanism to handle both constants and oracle-based values, thereby removing the dependency on OracleId for constants. This change improved the expressiveness of the API, reduced boilerplate, and simplified constraint construction, which in turn minimized potential edge-case errors during evaluation. The work was implemented in Rust and leveraged expertise in system design and zero-knowledge proofs, contributing to a more maintainable and consistent constraint system architecture.