Core Development & Optimization - Polyhedra i-D verification workflow now includes circuit optimization [1] - Cryptographic soundness is maintained with improved efficiency across all recursion levels [1] - Proving pipeline streamlined by incorporating hint-based MiMC optimization [2] - Multi-level recursion structure validated to ensure end-to-end soundness [2] - Codebase cleaned up by removing redundant proving steps and consolidating recursive verification layers [2]