X @Polyhedra

2/Polyhedra i-D Integration Refinement- Completed the integration of the circuit optimization into the full Polyhedra i-D verification workflow. Key accomplishments include:- Streamlined the proving pipeline to incorporate the hint-based MiMC optimization- Validated the multi-level recursion structure to ensure end-to-end soundness- Cleaned up the codebase, removing redundant proving steps and consolidating the recursive verification layersThe system now maintains cryptographic soundness while operating mor ...