Folding over quartic extensions in 2N-4 multiplications, and why row-based commitment layers can't keep up