Hi Stars! I’m currently diving deep into Polygon’s ZK technology, specifically focusing on how execution traces are generated and used as witnesses in Zero-Knowledge Proofs (ZKPs). Could anyone point me toward a comprehensive example or a detailed description of the execution trace generation process within Polygon zkEVM?
Resources, documentation, or tutorials that clearly explain this process would be greatly appreciated.
Thank you for your support!