don't think many know how incredibly complex the math behind ZK proofs is. When proofs are 1000x more expensive than native, every feature must be carefully optimized. This precision engineering is why building a production-ready zkVM took years.