Why Building ZK Rollups Is More Complex Than It Looks

Why does proof generation take nearly 18 minutes for a single transaction batch on a machine running 128GB of RAM and a dedicated GPU?